建议先观看成哥作用域视频,再看书
执行环境
执行环境(execution context,有时也称为“环境”):
定义了变量或函数有权访问的其他数据,决定了它们各自的行为
每个执行环境都有一个与之关联的变量对象(variable object),环境中定义的所有变量和函数都保存在这个对象中
在 Web 浏览器中,全局执行环境(最外围执行环境)被认为是 window 对象,因此所有全局变量和函数都是作为 window 对象的属性和方法创建的
某个执行环境中的所有代码执行完毕后,该环境被销毁,保存在其中的所有变量和函数定义也随之销毁(全局执行环境直到应用程序退出——例如关闭网页或浏览器——时才会被销毁)。
每个函数都有自己的执行环境。当执行流进入一个函数时,函数的环境就会被推入一个环境栈中。
而在函数执行之后,栈将其环境弹出,把控制权返回给之前的执行环境。
ECMAScript 程序中的执行流正是由这个方便的机制控制着
当代码在一个环境中执行时,会创建变量对象的一个作用域(scope chain)
保证对执行环境有权访问的所有变量和函数的有序访问。
作用域链的前端,始终都是当前执行的代码所在环境的变量对象。如果这个环境是函数,则将其活动对象(activation object)作为变量对象。
- 活动对象在最开始时只包含一个变量,即 arguments 对象(这个对象在全局环境中是不存在的)。
- 作用域链中的下一个变量对象来自包含(外部)环境,而再下一个变量对象则来自下一个包含环境。
- 这样,一直延续到全局执行环境;全局执行环境的变量对象始终都是作用域链中的最后一个对象
搜索标识符的过程始终从作用域链的前端开始,然后逐级地向后回溯,直至找到标识符为止(如果找不到标识符,通常会导致错误发生)
内部环境可以通过作用域链访问所有的外部环境,
但外部环境不能访问内部环境中的任何变量和函数。
这些环境之间的联系是线性、有次序的。
函数参数也被当作变量来对待,因此其访问规则与执行环境中的其他变量相同。
延长作用域链
try-catch 语句的 catch 块;
with 语句。
这两个语句可以在作用域链的前端临时增加一个变量对象,该变量对象会在代码执行后被移除
with 语句,将指定的对象添加到作用域链中。
catch 语句, 创建一个新的变量对象,其中包含的是被抛出的错误对象的声明。
没有块级作用域
- 声明变量
- 使用 var 声明的变量会自动被添加到最接近的环境中。
在函数内部,最接近的环境就是函数的局部环境;在 with 语句中,最接近的环境是函数环境。 - 如果初始化变量时没有使用 var 声明,该变量会自动被添加到全局环境。
在严格模式下,初始化未经声明的变量会导致错误。
- 查询标识符
按作用域链一级一级查找
变量查询也不是没有代价的。访问局部变量要比访问全局变量更快,因为不用向上搜索作用域链。
JavaScript 引擎在优化标识符查询方面做得不错