VO是函数上下文创建阶段的抽象变量容器，含形参、函数声明和var变量（值为undefined）；AO是VO在执行阶段的具体实例，承载实际值并支持读写操作。
在 JavaScript 中，函数执行上下文（Execution Context）里的“变量对象”（Variable Object，VO）和“活动对象”（Activation Object，AO）是理解变量提升（hoisting）、作用域与执行过程的关键概念。它们本质上是同一个东西在不同阶段的称呼：函数上下文创建时，VO 是一个抽象概念；进入执行阶段后，VO 被实例化为具体的 AO。
变量对象（VO）：函数上下文创建阶段的抽象容器
VO 是规范中用于描述“当前执行上下文中所有变量、函数声明和形参归属”的逻辑结构。它不直接暴露给开发者，也不可访问，仅存在于引擎内部定义中。在函数上下文被创建（但尚未执行）时，VO 已被初始化，内容包括：
- 函数形参（arguments 对象及其属性，如 arg1、arg2）
- 函数声明（function declarations）——会被添加为 VO 的可枚举属性，且优先级高于同名变量声明
- 变量声明（var 声明）——初始值为 undefined，即使后续有赋值语句，此时也未执行
注意：let/const 声明虽然也存在于 VO 的逻辑范畴中，但因其存在“暂时性死区”（TDZ），在初始化完成前不可访问，所以严格来说它们被记录在词法环境（LexicalEnvironment）中，而非传统 VO。
活动对象（AO）：VO 在执行阶段的具体表现
当函数开始执行，VO 就“活”了过来，成为 AO。此时它是一个真实存在的、可被内部操作的对象（尽管仍无法在代码中直接引用）。AO 与 VO 内容一致，但关键区别在于：
立即学习“Java免费学习笔记（深入）”；
- AO 是 VO 的运行时实例，承载着实际的变量值
- 执行过程中对变量的读写，本质上是对 AO 属性的操作
- arguments 对象在 AO 中是一个真实对象，其属性（如 arguments[0]）与形参变量可能相互映射（非严格模式下）
例如，在非严格模式下：function foo(a) { a = 2; console.log(arguments[0]); } foo(1); 会输出 2，因为 a 和 arguments[0] 指向 AO 中同一存储位置。
全局上下文与函数上下文的区别
全局上下文也有 VO，但它就是全局对象本身（浏览器中是 window 或 globalThis）。而函数上下文的 VO/AO 是独立的，不可被外部访问，只供内部作用域链查找使用。每次函数调用都会创建新的 AO，保证闭包和多实例的隔离性。
现代引擎中的实际实现
ES5 之后的规范已逐步用 词法环境（LexicalEnvironment） 和 变量环境（VariableEnvironment） 替代 VO/AO 的提法，更精确地区分声明类型（如 let/const 属于词法环境，var 属于变量环境）。但 VO/AO 仍是理解早期行为和面试考点的重要模型。掌握它，就能明白为什么 console.log(a); var a = 1; 不报错却输出 undefined，也能理清闭包中自由变量究竟从哪个 AO 中获取。
