javaScript中执行环境与作用域链机制详解

待我称王封你为后i 2022-07-15 08:13 176阅读 0赞

一、执行环境  
书上概念，执行环境定义了变量或者函数有权访问的其他数据，决定了他们各自的行为。每个执行环境都有一个与之关联的变量对象。环境中定义的所有变量和函数都保存在这个对象中。虽然我们在编写代码的时候无法访问这个对象，但解析器在处理数据时会在后台用到它。全局执行环境是最外围的一个执行环境，在Web浏览器中，全局执行环境被认为是window对象，因此所有全局变量和函数都是作为window对象的属性和方法来创建的。某个执行环境中的所有代码执行完毕后，该环境就会被销毁，保存在其中的所有变量和函数定义也随之销毁。  
每个函数都有自己的执行环境，当执行流进入一个函数时，函数的环境就会被推入一个环境栈中，在函数执行后，栈将其环境弹出，将控制权返回给之前的执行环境。ECMAScript程序中的执行流正是由这个方便的机制控制着。  
　　执行环境是一个概念，一种机制，它定义了变量或函数是否有权访问其他数据  
在javascript中，可执行的JavaScript代码分三种类型：  
1. Global Code，即全局的、不在任何函数里面的代码，例如：一个js文件、嵌入在HTML页面中的js代码等。  
2. Eval Code，即使用eval()函数动态执行的JS代码。  
3. Function Code，即用户自定义函数中的函数体JS代码。  
跳过Eval Code。  
当代码在一个环境中执行时，会创建变量对象的一个作用域链。作用域链的用途，是保证对执行环境有权访问的所有变量和函数进行的有序访问。作用域链的前端，始终都是当前执行的代码所在环境的变量对象，如果这个环境是函数，则将其活动对象作为变量对象。活动变量最开始时只包含一个变量，即arguments对象（这个对象在全局环境中是不存在的）。作用域链中的下一个变量对象来自包含（外部）环境，再下一个变量对象则来自于再下下个包含（外部）环境，这样一直延续到全局执行环境，全局执行环境的变量对象始终都是作用域链中的最后一个对象。  
标识符解析是沿着作用域链一级一级向上(外)搜索标识符的过程。搜索过程始终从作用域链的前端开始，然后逐级向后回溯，直至找到标识符为止。（比如：在全局执行环境中定义了一个name属性，当在一个函数中使用了未声明的变量name，这时，js在预编译时，会向上回溯直到找到name属性位置。）  
下图中矩形表示特定的环境。其中内部环境可以通过作用域链访问所有的外部环境，但外部环境不能访问内部变量环境中的任何变量和函数。这些环境之间的练习是线性的，有次序的。每个环境变量都可以向上搜索作用域链，以查询变量和函数名；反之则是不行。 ![这里写图片描述][231453250208409.png]

1、没有块级作用域  
if(true)  
\{  
var color = “blue”;  
\}  
alert(color);  
注意：如果是在C\#、java中，color会在if语句执行完毕后被销毁，但在JavaScript中，if语句中的变量声明会将变量添加到当前的执行环境中（在这里是全局执行环境）。在使用for语句时尤其要牢记这一差异，例如  
for (var i=0;i<10;i++)\{  
doSonmething(i);  
\}  
alert(i); //10  
对于C\#，java语言来说，for语句初始化变量的表达式所定义的变量，最会存在于循环的环境中。而对JavaScript来说，for语句创建的变量i即使for循环结束后，也依旧会存在与循环外部的执行环境中。  
在使用var关键字声明变量时，这个变量将被自动添加到最接近的环境中。在函数内部，最接近的环境就是函数的局部环境。在with语句中，最接近的环境是函数环境。所入初始化变量时没用用var声明，该变量会被自动添加到全局环境。  
查询标识符(变量等)，当在某个环境中为了读取或写入为引入一个标识符时，就必须通过搜索来确定该标志符实际代表什么。搜索过程从作用域链的前端开始，向上逐级查询与给定名字匹配的标识符。如果局部变量中有，搜索停止，如果没有在逐级向上搜，直到全局环境。如果全局环境中也没有找到这个标识符，则意味着该变量没有声明过。  
通过下面这个实例，可以理解查询标识符的过程：  
var color=”blue”;  
function getColor()\{  
return color;  
\}  
alert(getColor()); //blue  
调用本例中的函数getColor()时会引用变量color。为了确保变量color的值，将开始一个两步走的搜索过程。首先，搜索getColor()的变量对象，查找其中是否包含一个名为color的标识符。在没有找到的情况下，搜索到下一个变量对象（全局环境的变量对象），然后在那里找到了名为color的标识符。因为搜索到了定义这个变量对象，搜索过程也宣告结束。  
在这个搜索过程中，如果存在一个局部的变量的定义，则搜索会自动停止，不会再进入外部环境进行搜索。  
　变量查询也不是没有代价。很明显，访问局部变量要比访问全局变量快的多，因为不用向上搜索作用域链，但这个差别在将来的优化下会变得可以忽略不计。  
　  
　延长作用域链：  
　　虽然执行环境只有两种——全局作用域和函数作用域，但是还是可以通过某种方式来延长作用域链。因为有些语句可以在作用域链的顶部增加一个临时的变量对象。  
有两种情况会发生这种现象：  
1、try-catch语句的catch块；  
2、with语句；

[231453250208409.png]: /images/20220715/a073e3dfbe344c39b4d0293d5ea0df5a.png