前文所述,JavaScript是基于词法作用域(lexically scoped)的,所以标识符被固定在它们被定义的作用域而不是语法上或是其被调用时的作用域。即全局变量的作用域是整个程序,局部变量的作用域是其所在的函数(包括函数的内嵌函数)。
根据JavaScript相关文档我们知道,当你定义一个全局变量时,其实你是为JavaScript的全局对象定义了一个属性(property);而当我们在函数体内定义一个局部变量时,其实也是为某个对象(这个对象与JavaScript的内部实现相关)定义了一个属性。
因此,从JavaScript的实现角度讲,每一个JavaScript函数(也包括全局代码)都有一个scope chain(作用域链)与之相关联。这个作用域链上是一系列的对象(object),每个对象的属性是相关作用域范围内的变量。JavaScript顺着这个作用域链去搜寻相关的变量定义。比如JavaScript需要知道变量x,那么它首先会寻找scope chain上的第一个对象,如果第一个对象中没有名字为x的属性,那么它继续向上搜索,知道找到为止。
于是,我们可以得出:全局代码的scope chain上只有一个对象 - 全局对象;非内嵌函数的scope chain上则有两个对象,第一个定义了函数的参数和本地局部变量,第二个则是全局对象;而内嵌函数的scope chain上则有三个以上的对象。
当函数被定义时,它的scope chain也会被定义,每当函数执行时,新的对象会添加到scope chain上,这个对象包含了本地变量的定义。但对于内嵌函数,则会比较奇特 - 因为每次外部函数被调用时,内嵌函数会被重新定义一次,因此它的scope chain也会被重新定义一次。