javascript执行环境及作用域
执行环境(execution context,为简单起见,有时也成为“环境”)是javascript中最为重要的一个概念。执行环境定义了变量或函数有权访问的其他数据,决定了它们各自的行为。每个执行环境都有一个与之关联的变量对象(variable object),环境中定义的所有变量和函数都保存在这个对象中。虽然我们编写的代码无法访问这个对象,但解析器在处理数据是会在后台使用他。
这段话中着重介绍了执行环境的这个概念,这个执行环境的作用是定义了一种行为。这种行为定义了变量或者函数访问其他数据的权限,这点和java中的设置private、protected、public等关键词的作用类似。其实这也是函数或者变量作用域的体现。然后这个概念是抽象的,机器是无法表达出抽象概念的。为了表达出这个概念,通过引入了变量对象来实现,具体实现方式是,每个执行环境都有一个和他关联的变量对象,环境中的变量和函数都存储在这个变量对象中。变量对象在机器中是某种的数据结构。所以完美的实现了抽象概念到机器代码的实现。最后本段结尾说:虽然我们编写的带代码无法访问这个对象,但在解析器(应该是js解析引擎)解析数据时,会在后台会使用到。本人觉得有点不妥,像全局执行环境我们是可以反问这个对象的。为什么说不能访问呢。这个地方值得商榷?
全局执行环境是最外围的一个执行环境。根据ECMAScript实现所在的宿主环境不同,表示执行环境的对象也不一样。在Web浏览器中,全局执行环境被认为是window对象,因此所有全局变量和函数都是作为window对象的属性和方法创建的。某个执行环境中的所有代码执行完毕后,该环境被销毁,保存在其中的所有变量和函数定义也随之销毁(全局执行环境直到应用程序退出——例如关闭网页或浏览器——时才会被销毁)。
这段介绍了全局执行环境和其关联的变量对象的实现。解析器通过Window对象来关联这个全局执行环境。全局执行环境在用户代理(一般指的是浏览器)被打开时创建,关闭时销毁。当变量对象被销毁时,存储在其内的变量或者函数也会被销毁。
每个函数在被调用时都会创建自己的执行环境。当执行流进入一个函数时,函数的环境就会被推入一个环境栈中。而在函数执行之后,栈将其环境弹出,把控制权返回给之前的执行环境。ECSMScript程序中的执行流正是由这个方便的机制控制着。
这段介绍了每个函数在被调用时都会创建一个和他对应的执行环境,和这个环境关联的变量对象我们是访问不了到,但是我们可以访问其包含的一个属性(或者是变量),即arguments对象。这也解释了为什么每个函数内部,我们都可以通过arguments来访问传入的参数。最后介绍了js的执行流是通过环境栈的方式进行的。
当代码在一个环境中执行时,会创建由变量对象构成的一个作用域链(scope chain)。作用域链的用途,是保证对执行环境有权访问的所有变量和函数的有序访问。作用域链的前端,始终都是当前执行的代码所在的的环境的变量对象。如果这个环境是函数,则将其活动对象(activation object)作为变量对象。活动对象在最开始时只包含一个变量,即arguments对象(这个对象在全局环境中是不存在的)。作用域中的下一个变量对象来自包含(外部)环境,而再下一个变量对象则来自下一个包含环境。这样,一直延续到全局执行环境;全局执行环境的变量对象始终都是作用域链中的最后一个对象。
这段着重介绍了作用域链,其实可以看作是环境栈(环境栈中存储的是相对应的变量对象)的另外一种表达方式。作用域链保证对执行环境有权访问的所有变量和函数的有序访问,这交代了环境栈的访问方式是从上到下访问。环境栈的顶部是当前执行的函数对应的活动对象,环境栈的底部是全局执行环境,即Window对象。
标识符解析是沿着作用域链一级一级地搜索标识符的过程。搜索过程始终从作用域链的前端开始,然后逐级地往后回溯,直至找到标识符为止(如果找不到标识符,通常会导致错误发生)。
作用域链的解析方式,结合环境栈的话,那么是从栈顶往下追溯,直到遇到全局执行对象。