Arguments对象是什么 - -。

引用《JavaScript权威指南》回答你哈：调用函数时，会为其创建一个Arguments对象，并自动初始化局部变量arguments，指代该Arguments对象。所有作为参数传入的值都会成为Arguments对象的数组元素。

VO 和 AO 到底是什么关系。

未进入执行阶段之前，变量对象(VO)中的属性都不能访问！但是进入执行阶段之后，变量对象(VO)转变为了活动对象(AO)，里面的属性都能被访问了，然后开始进行执行阶段的操作。

它们其实都是同一个对象，只是处于执行上下文的不同生命周期。@jDragonV

@jawil 非常感谢回答，一语中的。

@mqyqingfeng 楼主，有幸拜读你的深入系列，收获颇多，但也存在一些疑问。比如变量对象留给我们的思考题的第二题，按照你的写法：

console.log(foo);

function foo(){
    console.log("foo");
}

var foo = 1; // 打印函数

但个人觉得这句“这是因为在进入执行上下文时，首先会处理函数声明，其次会处理变量声明，如果如果变量名称跟已经声明的形式参数或函数相同，则变量声明不会干扰已经存在的这类属性。”解释得有点欠完整，如果我把代码改写成下面这样：

var foo = 1;
console.log(foo);
function foo(){
    console.log("foo");
};

这次打印结果就是“1”；

所以我觉得这么解释比较好：

进入执行上下文时，首先会处理函数声明，首先会处理函数声明，其次会处理变量声明，如果如果变量名称跟已经声明的形式参数或函数相同，则变量声明不会干扰已经存在的这类属性。

进入代码执行阶段，先执行console.log(foo)，此时foo是函数的应用，再执行var foo = 1;将foo赋值为1，而在我改写的例子里中，先执行var foo = 1;再执行console.log(foo),所以打印1。我觉得加上代码执行阶段会更清晰，哈哈哈

一个执行上下文的生命周期可以分为两个阶段。

1. 创建阶段

在这个阶段中，执行上下文会分别创建变量对象，建立作用域链，以及确定this的指向。

2. 代码执行阶段

创建完成之后，就会开始执行代码，这个时候，会完成变量赋值，函数引用，以及执行其他代码。

都没有错，博主讲的主要是针对变量对象，而变量对象的创建是在EC(执行上下文)的创建阶段，所以侧重点主要是EC的生命周期的第一个阶段，我觉得再执行var foo = 1这句话有点不妥，应该是给foo赋值，应该是执行foo=1这个操作，因为在EC创建阶段var已经被扫描了一遍。

@alexzhao8326

是的，显然你的说法更严谨，也符合分析的过程！ 学习了@jawil

@jawil 哈哈，十分感谢回答~~~ @alexzhao8326 这道题应该是因为没有分成两个阶段来讲，所以让你觉得分析得不是很完整吧。我在写的时候，觉得毕竟是思考题，讲清楚问题的关键点即可，所以也没有给出完整的分析。如果你看完前面的内容，相信你一定能明白结果为什么会是这样，对于你修改后的例子，相信你也能解释的了。当然了，学习时严谨的态度还是要有的，感谢指出，o(￣▽￣)ｄ

@wedaren 进入执行上下文时，初始化的规则如下，从上到下就是一种顺序：

var foo = 1;
console.log(foo);
function foo(){
  console.log("foo");
};
这次打印结果就是“1”；

分解
var foo; // 如果如果变量名称跟已经声明的形式参数或函数相同，则变量声明不会干扰已经存在的这类属性
foo = 1;// 代码执行。PS: 如果没有这行，打印结果是 function foo(){console.log('foo')};
console.log(foo); // 1
function foo(){
  console.log("foo");
};

执行上下文的时候：

VO = {
    foo: reference to function foo(){}
}

然后再执行了 foo = 1 的操作，修改变量对象的 foo 属性值

AO = {
    foo:  1
}

执行代码 console.log(foo) 的结果： 1

@zuoyi615 感谢写下自己的分析过程，如果这段代码是在全局环境下执行的，变量对象应该用 VO 表示，此时也没有 arguments 属性

@zuoyi615 o(￣▽￣)ｄ

@jawil ，你说的有一点误差，AO 实际上是包含了 VO 的。因为除了 VO 之外，AO 还包含函数的 parameters，以及 arguments 这个特殊对象。也就是说 AO 的确是在进入到执行阶段的时候被激活，但是激活的除了 VO 之外，还包括函数执行时传入的参数和 arguments 这个特殊对象。
AO = VO + function parameters + arguments
@jDragonV

@oakland 非常感谢补充~~~ 这一点我也没有注意到~ o(￣▽￣)ｄ

是w3school 不是W3C school

@ckclark 哎呀呀，我犯了一个严重的错误，非常感谢指出~o(￣▽￣)ｄ

思考题第二题:

console.log(foo);

function foo(){
    console.log("foo");
}

var foo = 1;

解:
JavaScript发现了一段可执行代码(executable code),准备创建对应的执行上下文(execution context):

在此之前

因为JavaScript的函数提升特性,将代码等量变换为:(1)

function foo(){// 函数提升
    console.log("foo");
}
console.log(foo);
var foo = 1;

又因为JavaScript的变量提升特性,将代码等量变换为:(2)

function foo(){// 函数提升
    console.log("foo");
}
var foo;// 变量提升
console.log(foo);
foo = 1;

开始创建对应的执行上下文(execution context):(3)

• 变量对象(Variable object，VO)
• 作用域链(Scope chain)
• this

其中,此处探讨的VO只是被初始化(4)

当javaScript扫描到console.log(foo)时,执行代码之前,先进入执行上下文(execution context),(5)

因为在进入执行上下文时，首先会处理函数声明，其次会处理变量声明，如果变量名称跟已经声明的形式参数或函数相同，则变量声明不会干扰已经存在的这类属性。

VO = {
    foo: reference to function foo(){},
    ~foo:undefined// 此处疑问: 此处变量声明的foo是否保存在VO中;以何种形式保存
}

执行代码console.log(foo),查找到了VO中的foo,输出结果.(6)
接着执行foo = 1,执行之后,VO为:(7)

VO = {
    foo: 1
}

解答完毕.

第4处跟第5处都不很确定,其他地方也可能有理解不到位.请大家指出.

console.log(foo);

function foo(){
    console.log("foo");
}

var foo = 1;

console.log(foo);

var foo = 1;

function foo(){
    console.log("foo");
}

另外,以上两处代码得出的结论一样,说明:

同一作用域下,函数提升比变量提升得更靠前.

大家知道的微微一笑就好了:)

根据你们的讨论，关于这一段代码的实现，

console.log(foo);
var foo = 1;
console.log(foo);
function foo(){};

执行结果是函数和1，我可以这样理解么？

foo() 			  //函数提升
var foo			  //和函数重名了，被忽略
console.log(foo);	  //打印函数
foo = 1;		  //全局变量foo
console.log(foo);	  //打印1，事实上函数foo已经不存在了，变成了1

望不吝赐教！

变量对象跟词法环境可不可以理解为是同一种东西？

变量对象跟词法环境可不可以理解为是同一种东西？

这篇文章是es3标准的解释，现在es6标准来说，执行上下文包括：词法环境、变量环境、this。
而变量对象和词法环境不能简单对等，具体es6的解释可看这篇文章

非常感谢

变量对象跟词法环境可不可以理解为是同一种东西？

这篇文章是es3标准的解释，现在es6标准来说，执行上下文包括：词法环境、变量环境、this。 而变量对象和词法环境不能简单对等，具体es6的解释可看这篇文章

中文译文可看: 【译】理解 Javascript 执行上下文和执行栈

这是因为函数中的 "a" 并没有通过 var 关键字声明，所有不会被存放在 AO 中。

所以未通过 var 关键字声明的变量去了哪里？

引用权威指南里的：如果没有使用严格模式并给一个未声明的变量赋值的话，JS会自动创建一个全局变量。
所以a去了全局变量对象里了（在执行到赋值代码时）

内容很好, 评价里的内容也很好! 受益匪浅!

大佬们帮忙看看AO与VO关系，哪种理解应该是正确的？

感谢博主，我们是否可以理解AO是先进行变量以及函数的提升，然后再执行代码。

我认为讲到“全局上下文”部分，最后一句结论不完全正确：变量对象就是全局对象呐！

我们知道，全局下变量声明（var）和函数声明将会挂载到顶层对象（window 或 global）中。但是使用 let 或 const 所声明的变量并不会挂载到顶层对象下。但是当“查找”变量并最终到达全局上下文时，仍会正确找到对应变量。这里的查找应该是在 VO 对象上查找。但如果是这样，上面的结论就不对了。所以纠结是怎样的呢？

麻烦大佬解惑，谢谢！

是个好问题，我也觉得这里有点不妥，目前也没找到合理的解释。
有答案了艾特我一下，我也很想知道。

@Vsnoy let不挂载到global，但是会挂载跟global同样层级的Script。仍然可以通过AO找到。

let A1 = 'Script'
let A2 = 'Global'
debugger

思考题2：
关于函数提升和变量提升的优先级，其实完整的表述应该是：函数提升优先级高于变量提升，且不会被同名变量声明时覆盖，但是会被同名变量赋值后覆盖。
可以参考这篇文章 https://blog.csdn.net/ksjdbdh/article/details/120815118 楼主说的也没错，只是一部分。

AO = {
arguments: {
0: 1,
length: 1
},
a: 1,
b: undefined,
c: reference to function c(){},
d: undefined
}
在进入到执行阶段前，这个地方应该是VO吧

这里补充《你不知道的JS上卷》中的一段话，感觉可以作为更好地理解执行上下文的补充。

关于JS引擎和编译器如何理解下面这行变量赋值。

 var a = 2 

下面我们将var a = 2；分解

编译器首先会将这段程序分解成词法单元，然后将词法单元解析成一个树结构。但是当编译器开始进行代码生成时，它对这段程序的处理方式会和预期的有所不同。可以合理地假设编译器所产生的代码能够用下面的伪代码进行概括：“为一个变量分配内存，将其命名为a，然后将值2保存进这个变量。”然而，这并不完全正确。事实上编译器会进行如下处理。

1．遇到var a，编译器会询问作用域是否已经有一个该名称的变量存在于同一个作用域的集合中。如果是，编译器会忽略该声明，继续进行编译；否则它会要求作用域在当前作用域的集合中声明一个新的变量，并命名为a。

2．接下来编译器会为引擎生成运行时所需的代码，这些代码被用来处理a = 2这个赋值操作。引擎运行时会首先询问作用域，在当前的作用域集合中是否存在一个叫作a的变量。如果是，引擎就会使用这个变量；如果否，引擎会继续查找该变量（查看1.3节）。如果引擎最终找到了a变量，就会将2赋值给它。否则引擎就会举手示意并抛出一个异常！

总结：变量的赋值操作会执行两个动作，首先编译器会在当前作用域中声明一个变量（如果之前没有声明过），然后在运行时引擎会在作用域中查找该变量，如果能够找到就会对它赋值。

从上面这段话来看，个人认为可以把执行过程这样解释：

1. 进入执行上下文 （编译器做词法、语法分析、代码生成）
2. 代码执行 （引擎做编译、执行（变量的赋值就是这个执行的过程））

在进入执行上下文时会给变量对象添加形参、函数声明、变量声明等初始的属性值

关于这段说法和前文的代码有个疑问请教

文中片段「在进入执行上下文的时候」
AO = { arguments: { 0: 1, length: 1 }, a: 1, b: undefined, c: reference to `function` c(){}, d: undefined }
a:1 ,应该算是对实参的赋值？这个为什么是在进入执行上下文时就赋值了？

在进入执行上下文时会给变量对象添加形参、函数声明、变量声明等初始的属性值

关于这段说法和前文的代码有个疑问请教

文中片段「在进入执行上下文的时候」 AO = { arguments: { 0: 1, length: 1 }, a: 1, b: undefined, c: reference to `function` c(){}, d: undefined } a:1 ,应该算是对实参的赋值？这个为什么是在进入执行上下文时就赋值了？

参照

1. 函数的所有形参(如果是函数执行上下文)

• 由名称和实际值组成的一个属性被创建
• 没有实参，赋值为 undefined

函数传入实参时，变量对象的a就已经被赋予实际值了

简而言之
同名的函数和变量之间只能有一个
函数在创建阶段就已经赋好值了，所有这阶段函数优先，而执行阶段变量才会赋好值，在执行阶段变量优先。

“当第二段执行 console 的时候，全局对象已经被赋予了 a 属性，这时候就可以从全局找到 a 的值，所以会打印 1。”
这句话有问题吧？我在外层打印a是会报错的，它是在方法内定义的

function foo(a) {
console.log(a);
function a() {

}
}

foo("name");

有个疑问，在执行阶段，形参被赋值时应该会覆盖解析阶段的值啊，此时打印出来的应该是name，而不应该是Function a啊