Penjelasan terperinci tentang persekitaran pelaksanaan javascript dan kemahiran scope_javascript

Saya telah membaca semula "JavaScript Advanced Programming 3" baru-baru ini, dan saya rasa saya perlu menulis beberapa blog untuk merekodkan beberapa pengetahuan yang telah saya pelajari, jika tidak, saya akan melupakan semuanya. Apa yang saya ingin rumuskan hari ini ialah persekitaran dan skop pelaksanaan js.

Mula-mula mari kita bincangkan tentang persekitaran pelaksanaan

1. Persekitaran pelaksanaan
Konsep dalam buku, persekitaran pelaksanaan mentakrifkan pembolehubah atau data lain yang berfungsi mempunyai akses, dan menentukan tingkah laku masing-masing. Setiap persekitaran pelaksanaan mempunyai objek berubah-ubah yang dikaitkan dengannya. Semua pembolehubah dan fungsi yang ditakrifkan dalam persekitaran disimpan dalam objek ini. Walaupun kami tidak mempunyai akses kepada objek ini semasa menulis kod, penghurai menggunakannya di belakang tabir semasa memproses data.

　Persekitaran pelaksanaan ialah konsep, mekanisme yang menentukan sama ada pembolehubah atau fungsi mempunyai kebenaran untuk mengakses data lain

Dalam javascript, terdapat tiga jenis kod JavaScript boleh laku:
​ 1. Kod Global, iaitu, kod global yang tiada dalam sebarang fungsi, seperti: fail js, kod js dibenamkan dalam halaman HTML, dsb.
​​ 2. Kod Eval, iaitu kod JS yang dilaksanakan secara dinamik menggunakan fungsi eval().
​ 3. Kod Fungsi, iaitu badan fungsi kod JS dalam fungsi yang ditentukan pengguna.

Langkau Kod Eval dan hanya bercakap tentang persekitaran pelaksanaan global dan persekitaran pelaksanaan fungsi.

1. Persekitaran global:

Persekitaran global ialah persekitaran pelaksanaan yang paling persisian. Persekitaran pelaksanaan global dianggap sebagai objek tetingkap. Oleh itu semua pembolehubah dan fungsi global dicipta sebagai sifat dan kaedah objek tetingkap. Apabila kod dimuatkan ke dalam penyemak imbas, persekitaran pelaksanaan global dicipta (persekitaran pelaksanaan global dimusnahkan apabila kami menutup halaman web atau penyemak imbas). Contohnya, dalam halaman, persekitaran pelaksanaan global dibuat apabila kod JS dimuatkan buat kali pertama.

Inilah sebabnya penutupan mempunyai kelemahan kebocoran memori. Kerana fungsi luaran dalam penutupan dianggap sebagai persekitaran global. Jadi ia tidak akan musnah dan akan sentiasa tersimpan dalam ingatan.

2. Persekitaran pelaksanaan fungsi

Setiap fungsi mempunyai persekitaran pelaksanaan sendiri Apabila pelaksanaan memasuki fungsi, persekitaran pelaksanaan fungsi akan ditolak ke atas timbunan persekitaran pelaksanaan dan hak pelaksanaan akan diperolehi. Apabila fungsi menyelesaikan pelaksanaan, persekitaran pelaksanaannya dialih keluar dari bahagian atas tindanan dan hak pelaksanaan dikembalikan kepada persekitaran pelaksanaan sebelumnya. Ini ialah aliran pelaksanaan dalam program ECMAScript.

Ia juga boleh ditafsirkan dengan cara ini: apabila fungsi JavaScript dipanggil, fungsi itu akan memasuki persekitaran pelaksanaan yang sepadan dengan fungsi tersebut. Jika fungsi lain dipanggil, persekitaran pelaksanaan baharu akan dibuat dan proses pelaksanaan akan berada dalam persekitaran ini semasa panggilan fungsi. Apabila fungsi yang dipanggil kembali, proses pelaksanaan kembali ke persekitaran pelaksanaan asal. Oleh itu, kod JavaScript yang dijalankan membentuk timbunan persekitaran pelaksanaan.

　Persekitaran setempat fungsi dicipta apabila fungsi dipanggil (selepas kod dalam fungsi dilaksanakan, persekitaran dimusnahkan dan semua pembolehubah dan definisi fungsi yang disimpan di dalamnya juga dimusnahkan).

2-1 Tempoh Takrif

Apabila fungsi ditakrifkan, atribut [[skop]] akan dibuat Objek ini sepadan dengan senarai objek Objek dalam senarai hanya boleh diakses dalam JavaScript dan tidak boleh diakses melalui sintaks.

　(Skop juga bermaksud skop.)

Kami mentakrifkan fungsi global A, kemudian fungsi A mencipta atribut [[skop]] A. Pada masa ini, [[skop]] hanya mengandungi objek global [Global Object].

Dan jika kita mentakrifkan fungsi B di dalam A, maka fungsi B juga akan mencipta atribut [[skop]] Atribut [[skop]] B mengandungi dua objek, satu ialah objek aktif Objek Pengaktifan , satu ialah objek global, objek aktiviti A berada di hadapan, dan objek global berada di belakang.

Ringkasnya, susunan senarai objek dalam atribut [Skop] fungsi ialah objek Objek Pengaktifan fungsi lapisan atas, kemudian lapisan atas, sehingga ke objek global paling luar.

Berikut ialah kod sampel: A hanya mempunyai satu skop dan B mempunyai dua skop

// 外部函数
function A(){
  var somevar;
  
  // 内部函数
 function B(){
   var somevar;
  }
}

2-2 tempoh pelaksanaan

Apabila fungsi dilaksanakan, ia memasuki persekitaran pelaksanaan fungsi ini Pertama, ia mencipta objek aktivitinya sendiri [Objek Pengaktifan] (objek ini mengandungi ini, parameter (argumen), pembolehubah setempat (termasuk parameter bernama) dan. rantai skop [[rantai skop]] objek boleh ubah, kemudian salin [skop] persekitaran pelaksanaan ini ke [[rantai skop]] mengikut tertib, dan akhirnya tolak objek aktif ke dalam [[rantaian skop]] Bahagian atas [ rantai skop]] ialah timbunan tersusun, dengan itu memastikan akses tersusun kepada semua pembolehubah dan objek yang mempunyai akses

// 第一步页面载入创全局执行环境global executing context和全局活动象
// 定义全局[[scope]],只含有Window对象
// 扫描全局的定义变量及函数对象:color【undefined】、changecolor【FD创建changecolor的[[scope]]，此时里面只含有全局活动对象】,加入到window中，所以全局变量和全局函数对象都是做为window的属性定义的。
// 程序已经定义好所以在此执行环境内任何位置都可以执行changecolor(),color也已经被定义，但是它的值是undefined

// 第二步color赋值"blue"
var color = "blue";

// 它是不需要赋值的，它就是引用本身
function changecolor() {
 // 第四步进入changecolor的执行环境
 // 复制changecolor的[[scope]]到scope chain
 // 创建活动对象，扫描定义变量和定义函数，anothercolor【undefined】和swapcolors【FD创建swapcolors的[[scope]]加入changecolor的活动对象和全局活动对象】加入到活动对象,活动对象中同时还要加入arguments和this
 // 活动对象推入scope chain 顶端
 // 程序已经定义好所以在此执行环境内任何位置都可以执行swapcolors(),anothercolor也已经被定义好，但它的值是undefined
 
 // 第五anothercolor赋值"red"
 var anothercolor = "red";
 
 // 它是不需要赋值的，它就是引用本身
 function swapcolors() {
  // 第七步进入swapcolors的执行环境，创建它的活动对象
  // 复制swapcolors的[[scope]]到scope chain
  // 扫描定义变量和定义函数对象，活动对象中加入变量tempcolor【undefined】以及arguments和this
  // 活动对象推入scope chain 顶端
  
  // 第八步tempcolor赋值anothercolor,anothercolor和color会沿着scope chain被查到，并继续往下执行
  var tempcolor = anothercolor;
   anothercolor = color;
   color = tempcolor; 
 }

 // 第六步执行swapcolors,进入其执行环境
 swapcolors();
}

// 第三步执行changecolor,进入其执行环境
changecolor();

2-3访问标识符：

　　当执行js代码的过程中，遇到一个标识符，就会根据标识符的名称，在执行上下文(Execution Context)的作用域链中进行搜索。从作用域链的第一个对象（该函数的Activation Object对象）开始，如果没有找到，就搜索作用域链中的下一个对象，如此往复，直到找到了标识符的定义。如果在搜索完作用域中的最后一个对象，也就是全局对象(Global Object)以后也没有找到，则会抛出一个错误，提示undefined。

二、Scope/Scope Chain(作用域/作用域链)

　　当代码在一个环境中执行时，都会创建一个作用域链。 作用域链的用途是保证对执行环境有权访问的所有变量和函数的有序访问。整个作用域链是由不同执行位置上的变量对象按照规则所构建一个链表。作用域链的最前端，始终是当前正在执行的代码所在环境的变量对象。

　　如果这个环境是函数，则将其活动对象（activation object)作为变量对象。活动对象在最开始时只包含一个变量，就是函数内部的arguments对象。作用域链中的下一个变量对象来自该函数的包含环境，而再下一个变量对象来自再下一个包含环境。这样，一直延续到全局执行环境，全局执行环境的Variable Object始终是作用域链中的最后一个对象。

如图所示：

书中例子：

 var color="blue";
 function changecolor(){
 var anothercolor="red";
 function swapcolors(){
 var tempcolor=anothercolor;
 anothercolor=color;
 color=tempcolor;
  // Todo something  
  }
 swapcolors();
}
changecolor();
 //这里不能访问tempcolor和anocolor;但是可以访问color;
alert("Color is now "+color);

　 通过上面的分析，我们可以得知内部环境可以通过作用域链访问所有的外部环境，但外部环境不能访问内部环境中的任何变量和函数。

　　这些环境之间是线性、有次序的。每个环境都可以向上搜索作用域链，以便查询变量和函数名；但任何环境不能通过向下搜索作用域链条而进入另一个执行环境。

　　对于上述例子的swapcolor()函数而言，其作用域链包括：swapcolor()的变量对象、changecolor（）变量对象和全局对象。swapcolor（）的局部环境开始先在自己的Variable Object中搜索变量和函数名，找不到，则向上搜索changecolor作用域链。。。。。以此类推。但是，changecolor()函数是无法访问swapcolor中的变量

启示：尽量使用局部变量，能够减少搜索的时间

1、没有块级作用域

与C、C++以及JAVA不同，Javscript没有块级作用域。看下面代码：

if(true){
  var myvar = "张三"; 
 }
 alert(myvar);// 张三

如果有块级作用域，外部是访问不到myvar的。再看下面

for (var i=0;i<10;i++){
   console.log(i) 
  }
  
  alert(i); // 10

对于有块级作用域的语言来说，比如java或是c#代码，i做为for初始化的变量，在for之外是访问不到的。因为i只存在于for循环体重，在运行完for循环后，for中的所有变量就被销毁了。而在javascript中则不是这样的，在for中的变量声明将会添加到当前的执行环境中（这里是全局执行环境），因此在for循环完后，变量i依旧存在于循环外部的执行环境。因此，会输出10。

2、声明变量

使用var声明变量时，这个变量将被自动添加到距离最近的可用环境中。对于函数内部，最接近的环境就是函数的局部变量。如果初始化变量时没有使用var，该变量会自动添加到全局函数中。

代码如下：

var name = "小明";
function getName(){
 alert( name ); //'undefined'
 var name = '小黄';
 alert(name ); //小黄
}
getName()

为什么第一个name是undefined呢。这是因为，javascript解析器，进入一个函数执行环境，先对var 和 function进行扫描。

相当于会把var或者function【函数声明】声明提升到执行环境顶部。

也就是说，进入我们的getName函数的时候，标识符查找机制查找到了var，查找的name是局部变量name，而不是全局的name,因为函数里面的name被提升到了顶部。

上面的代码会被解析成下面这样：

var name = "小明";
function getName(){
 var name;
 alert( name ); //'undefined'
 var name = '小黄';
 alert(name ); //小黄
}
getName()

延长作用域链：

　　虽然执行环境只有两种——全局作用域和函数作用域，但是还是可以通过某种方式来延长作用域链。因为有些语句可以在作用域链的顶部增加一个临时的变量对象。
有两种情况会发生这种现象：
1、try-catch语句的catch块；
2、with语句；

以上就是本文的全部内容，希望对大家学习理解javascript执行环境及作用域有所帮助。