JavaScript 中的活跃对象（AO）浅谈及导读

目前市面上很多文章一大抄，在如今 ES202+ 的年代，还在摘抄着 ES3 的原文。

然后将其与“面试官”绑在一起。其实在书面理解上沿用活跃对象的概念没什么问题，但是照抄原文又不指明出处，就会让人误以为如今的规范中也还定义了活跃对象这一概念。其实上引文中包含了活跃对象（Activation Object, AO，有时也称活动对象、激活对象）与可变对象（Variable Object, VO，有时也称变量对象）的内容，摘抄自 ECMAScript 3 Spec 的两处并组装起来。

今天，这里与大家一起浅尝一下 JavaScript 中的活跃对象。

ECMAScript 1 / 3

在 ECMAScript 1 和 ECMAScript 3 中，的确是有着关于活跃对象的定义。

但也仅限于 ECMAScript 1 和 3 了。我们现在在网上（尤其是中文搜索环境中）获取到的关于活跃对象和可变对象（Variable Object）的文章，大多都是为我们描述的 ECMAScript 1 和 3，早已过时。

如果大家对这块内容仍然感兴趣（实际上我也建议大家感兴趣），可以参阅：

• ECMA-262-3 in detail. Chapter 2. Variable object.：dmitrysoshnikov.com/ecmascript/…
• ECMA-262-3 深入解析·第二章·变量对象（上一条的翻译）：www.cnblogs.com/justinw/arc…

ECMAScript 5+

在 ES5 及之后的 ES 版本，已经不存在活跃对象（AO）及一系列周边内容的概念了。取而代之，是一个叫词法环境（Lexical Environments）的定义。

也就是说，严谨来讲，现代的 ECMAScript 早已没有了活跃对象这一概念，所以当网络上文章中“面试官跟你聊起 AO”这些内容出现的时候，其实就是“市面文章一大抄”的体现。他们还会有理有据地把 ECMAScript Spec 原文给你列出来（参照文首的摘抄）。

关于词法环境，大家可以参阅：

• ECMA-262-5 in detail. Chapter 3.2. Lexical environments: ECMAScript implementation.：dmitrysoshnikov.com/ecmascript/…
• ECMA-262-5 词法环境：ECMA实现（上一条的翻译）：blog.csdn.net/szengtal/ar…

这里就不赘述了。

广义的活跃对象

经过上面两节内容，我们可以知道，活跃对象是 ECMAScript 1 / 3 中的内容。后续的版本中，其就不复存在了。但是活跃对象这个概念就不能再被提起了吗？

其实也不是，它对应的概念还是可以延续下来的。只不过不能让人误以为现代 ECMAScript 中还有其定义，我们现在再聊起活跃对象时，应该知道它只是广义的抽象，而不再是狭义的定义了。广义的活跃对象在不同的场景下也可以有不同的名字，如活跃记录（Activation Record）、栈帧（Stack Frame）等。

每当函数被调用的时候，其都会创建一个活跃对象。该对象对开发者不可见，是一个隐藏的数据结构，其中包含了一些函数在执行时必要的信息和绑定，以及返回值的地址等等。

在 C 语言中，这个对象会在一个栈中被分配生成。当函数返回的时候，该对象会被销毁（或者出栈）。

JavaScript 与 C 语言不同，它是从堆中分配该对象。且这个活跃对象并不会在函数返回时被自动销毁，它的生命周期与普通对象的垃圾回收机制类似，是根据引用数量决定的。

一个活跃对象包含：

• 对应函数对象的引用；
• 调用者对应的活跃对象，用于 return 之后的控制权转移；
• 调用完毕之后用于继续执行后续逻辑的恢复信息，它通常是一个将在函数调用完毕之后立即要执行的指令的地址；
• 函数对应的形参，从实参初始化而来；
• 函数中的变量，以 undefined 进行初始化；
• 函数用于计算复杂表达式的临时变量；
• this，如果函数作为一个方法被调用，那么 this 通常就是它的宿主对象。

其实 ES5+ 之后的广义“活跃对象”就是对于 ES 1 / 3 定义的活跃对象的一个扩展，并将其应用到了词法环境中。

至此为止，关于“活跃对象”的浅析就足矣。当下环境中，我们不是不能再谈论“活跃对象”，而是不能乱谈，还谈得有鼻子有眼的。现如今的“活跃对象”是一个类似于活跃记录和栈帧的广义抽象概念。

不然，仍旧用老旧的文章去回答所谓“面试官”的问题，很有可能被刷掉哦。

闭包

闭包也是老生常谈的一个概念。为什么在这篇文章中要提起这么个看起来八竿子打不着的概念呢？

闭包一直没有一个非常严谨的定义。如：

等等等等。

再例如：

上述的解释也都是我从网上的各文章中摘抄出来的。其实理解起来很容易，但是语言描述出来并不那么严谨。大家知道那么回事就好了。

不过，在我们有了广义活跃对象之后，我们可以从另一个角度来定义闭包了。怎么说呢？函数是可嵌套的。当一个嵌套的函数对象被创建时，它会包含一个外层函数对象所对应的活跃对象引用

有了这层关系，闭包就好定义了：

言简意赅。虽然不至于像“能读取外层函数中的变量”那样亲民朴实，但也非常言简了。同时，有了“活跃对象”作为大前提，已经帮忙做了很多前提条件定义，所以这个定义也能达到意赅的效果。

以后再面试起什么是闭包，大家可以尝试从这个角度解释哦。前提是你真的懂了，不要到时候又被面试官给绕进去了。