再学js--作用域链

2020-04-15  本文已影响0人  Territory_Cheng

什么是作用域链?

当查找变量的时候,会先从当前上下文的变量对象中查找,如果没有找到,就会从父级(词法层面的父级)执行上下文的变量对象查找,一直找到全局上下文的变量对象,也就是全局对象。这样由多个执行上下文的变量对象构成的链表叫做作用域链。

函数创建

由于JavaScript是词法作用域(静态作用域),函数的作用域在函数定义的时候就已经决定了。

函数的内部有一个[[scpope]]属性,当函数创建的时候,就会保存所以父变量对象到其中,可以理解[[scope]]就是鄋父变量对象的层级链,但是[[scope]]并不代表完整的作用域链。

function foo() {
    function bar() {
        ...
    }
}

函数创建的时候,各自的[[scope]]为:

foo.[[scope]] = [
    globalContext.VO
]
bar.[[scope]] = [
    fooContext.VO,
    globalContext.VO
]

函数激活

当函数激活的时候,进入函数上下文,创建VO/AO后,就会将活动对象添加到作用链的前端。

这时候执行上下文的作用域链,我们命名为Scope:

Scope = [AO].concat([[scope]])

至此,作用域链创建完毕。

综合例子

以下面的例子,结合之前讲的变量对象和执行上下文栈,来总结下函数执行上下文中作用域链和变量对象的创建过程

var scope = 'global scope'
function checkScope() {
    var scope2 = 'local scope'
    return scope2
}
checkScope()

执行过程如下:

1、checkScope函数被创建,保存作用域链到内部属性[[scope]]

checkScope[[scope]] = [
    globalContext.VO
]

2、执行checkScope函数,创建checkScope函数执行上下文,checkScope函数执行上下文被压入执行上下文栈

ECStack = [
    checkScopeContext,
    globalContext
]

3、checkScope函数并不立即执行,开始准备工作

​ (1)复制函数[[scope]]属性创建作用域链

checkscopeContext = {
    Scope: checkScope.[[scope]]
}

​ (2)用arguments创建活动对象,随后初始化活动对象,加入形参、函数声明、变量声明

checkScopeContext = {
    AO: {
        arguments: {
            length: 0
        },
        scope2: undefined
    }
}

​ (3)将活动对象压入checkScope作用域顶端

checkScopeContext = {
    AO: {
        arguments: {
            length: 0
        },
        scope2: undefined
    },
    Scope: [AO, [[scope]]]
}

4、准备工作做完,开始执行函数,随着函数的执行,修改AO的属性值

checkScopeContext = {
    AO: {
        arguments: {
            length: 0
        },
        scope2: 'local scope'
    },
    Scope: [AO, [[scope]]]
}

5、查找到scope2的值,返回后函数执行完毕,函数上下文从执行上下文栈弹出

ECStack = [
    globalContext
]
上一篇下一篇

猜你喜欢

热点阅读