JS(九)作用域、作用域链精解

写在最前面

作用域精解

• [[scope]] : 每个JavaScript函数都是一个对象。对象中有些属性我们可以访问，但有些不可以，这些属性仅提供JavaScript引擎存取，[[scope]]就是其中一个。
• [[scope]]指的就是我们所说的作用域，其中存储了运行期上下文的集合
• 作用域链 ： [[scope]]中存储的执行期上下文对象的集合，这个集合呈链式链接，我们把这种链式链接叫做作用域链
• 运行期上下文 ： 当函数执行时，会创建一个称为执行期上下文的内部对象。一个执行期上下文定义了一个函数执行时的环境，函数每次执行时对应的执行上下文都是独一无二的，所以多次调用一个函数会导致创建多个执行期上下文，当函数执行完毕，它所产生的执行上下文被销毁
• 查找变量 ： 从作用域链的顶端依次向下查找

function a() {
    function b(){
        var b = 234;
    }
    
    var a = 123;
    
    b();
}

var glob = 100;
a();

首先我们来看上面的函数,这个是个整体的函数,a在这个全局的作用域里面,然后下面有glob这个变量,然后有这个a执行;

第一步 : 首先系统看到的肯定是这个a定义,a定义的话有这个[[scope]]。

a	/
[[scope]]

scope指向scope chain

scope chain	scope指向这里
0 这个位置的0指向GO

Global Object	0指向的是这个表
this	window
window	(object)
document	(object)
a	(function)
glob	100

[[scope]]里面有这个全局的执行期上下文,然后a被执行了,a被执行，a产生的这个AO，把自己的AO存到作用域链的最顶端，形成一个新的作用域链，现在的a的[[scope]]和刚才的那个[[scope]]不一样了

a	/
[[scope]]

scope指向scope chain

scope chain	scope指向这里
0 这个位置的0指向AO
1 这个位置的0指向GO

Activation Object	0指向的是这个表
this	window
arguents	[]
a	123
b	(function)

Global Object	1指向的是这个表
this	window
window	(object)
document	(object)
a	(function)
glob	100

它的不一样只是里面存的值不一样了[[scope]]还是那个[[scope]],这个时候我们不看下面，这个时候假如我们访问一个变量的话，我们访问的是a的[[scope]]，是从a的[[scope]]里面拿东西，a的scope是一个仓库,这个库里面存了个作用域链,里面挂了各种变量，我去里面拿东西的时候，就置顶向下去找。

然后a的执行，产生了b被定义，a执行了b才能被定义，b被定义的时候有个天生的[[scope]]，[[scope]]里面存了一个它所应该有的作用域链，但是它有的作用域链和a的不一样，a被定义的时候，是在全局里面，所能返访问的属性也只有它自己的AO还有全局的GO，但是b是在a函数里面定义的，所以b的[[scope]]不仅可以访问自己的AO，也可以访问到a的AO，还有全局的GO

b	/
[[scope]]

scope指向scope chain

scope chain	scope指向这里
0 这个位置的0指向自己的AO
1 这个位置的1指向的a的AO
2 这个位置的0指向GO

Activation Object	0指向的是这个表
this	window
arguents	[]
b	234;

Activation Object	1指向的是这个表
this	window
arguents	[]
a	123
b	(function)

Global Object	1指向的是这个表
this	window
window	(object)
document	(object)
a	(function)
glob	100

作用域销毁

当b执行完之后,销毁自己的ao,回到定义状态,等待下次被执行

因为b是函数a的最后一句,所以当b执行完之后,a也销毁掉这么连带着b的[[scope]]也被销毁,回到定义状态,等待下次被执行

//例子
function a() {
    function b() {
        function c(){
            
        }
        c();
    }
    b();
}
a();

a defined a.[[scope]] --> 0:GO

a doing   a.[[scope]] --> 0:a的AO
                          1:GO
                          
b defined b.[[scope]] --> 0:a的AO
                          1:GO

b doing   b.[[scope]] --> 0:自己的AO
                          1:a的AO 
                          2:GO
                          
c defined c.[[scope]] --> 0:a的AO
                          1:c的AO 
                          2:GO

c doing   c.[[scope]] --> 0:自己的AO
                          1:b的AO
                          2:a的AO
                          3:GO   

所以外部函数访问不到内部函数的属性和值