JavaScript_04变量对象

变量对象。

上篇文章《Javascript_03执行上下文栈》中讲过&＃xff0c;当 Javascript 代码执行一段可执行代码&＃xff08;executable code&＃xff09;时&＃xff0c;会创建对应的执行上下文&＃xff08;execution context&＃xff09;。

对于每个执行上下文&＃xff0c;都有三个重要的属性&＃xff1a;

• 变量对象&＃xff08;Variable object, VO&＃xff09;。
• 作用域链&＃xff08;Scope chain&＃xff09;。
• this。

一、变量对象

变量对象是与执行上下文相关的数据作用域&＃xff0c;存储了在上下文中定义的变量和函数声明。

因为不同执行上下文下的变量对象稍有不同&＃xff0c;所以我们来聊聊全局上下文中的变量对象和函数上下文下中的变量对象。

1. 全局上下文中的变量对象

在 W3School 中对全局对象的描述&＃xff1a;

全局对象是预定义的对象&＃xff0c;作为 Javascript 的全局函数和全局属性的占位符。通过使用全局对象&＃xff0c;可以访问所有其他所有预定义的对象、函数和属性。全局对象不是任何对象的属性&＃xff0c;所以它没有名称。

在顶层 Javascript 代码中&＃xff0c;可以用关键字 this 引用全局对象。但通常不必用这种方式引用全局对象&＃xff0c;因为全局对象是作用域链的头&＃xff0c;这意味着所有非限定性的变量和函数名都会作为该对象的属性来查询。例如&＃xff0c;当 Javascript 代码引用 parseInt() 函数时&＃xff0c;它引用的是全局对象的 parseInt 属性。全局对象是作用域链的头&＃xff0c;还意味着在顶层 Javascript 代码中声明的所有变量都将成为全局对象的属性。

全局对象只是一个对象&＃xff0c;而不是类。既没有构造函数&＃xff0c;也无法实例化一个新的全局对象。

在 Javascript 代码嵌入一个特殊环境中时&＃xff0c;全局对象通常具有环境特定的属性。实际上&＃xff0c;ECMAScript 标准没有规定全局对象的类型&＃xff0c;Javascript 的实现或嵌入的 Javascript 都可以把任意类型的对象作为全局对象&＃xff0c;只要该对象定义了这里列出的基本属性和函数。例如&＃xff0c;在允许通过 LiveConnect 或相关的技术来脚本化 Java 的 Javascript 实现中&＃xff0c;全局对象被赋予了这里列出的 java 和 Package 属性以及 getClass() 方法。而在客户端 Javascript 中&＃xff0c;全局对象就是 Window 对象&＃xff0c;表示允许 Javascript 代码的 Web 浏览器窗口。

下面再用代码来解释一下&＃xff1a;

可以通过 this 引用&＃xff0c;在客户端 Javascript 中&＃xff0c;全局对象就是 Window 对象。 在打印结果中展开 Window&＃xff0c;可以看到所有的预定义对象的函数和属性。

console.log(this); // Window


全局对象是由 Object 构造函数实例化的一个对象。

console.log(this instanceof Object); // true


预定义了一大堆函数和属性 在预定义对象中拿出几个属性做示例&＃xff1a;

console.log(Array); // function Array()
console.log(this.Array); // function Array()
console.log(JSON); // JSON { … }
console.log(this.JSON); // JSON { … }console.log(Math.random()); // (随机数)
console.log(this.Math.random()); // (随机数)


作为全局变量的宿主。

var a &＃61; 1;
console.log(this.a); // 1


客户端 Javascript 中&＃xff0c;全局对象有 window 属性指向自身。

var b &＃61; 2;
console.log(window.b); // 2this.window.c &＃61; 3;
console.log(this.c); // 3


总结&＃xff1a;全局上下文中的变量对象就是全局对象&＃xff08;Window 中的所有函数和属性&＃xff09;。

2. 函数上下文下中的变量对象

在函数上下文中&＃xff0c;我们用活动对象(activation object, AO)来表示变量对象。

活动对象和变量对象其实是一个东西&＃xff0c;只是变量对象是规范上的或者说是引擎实现上的&＃xff0c;不可在 Javascript 环境中访问&＃xff0c;只有到当进入一个执行上下文中&＃xff0c;这个执行上下文的变量对象才会被激活&＃xff0c;所以才叫 activation object 呐&＃xff0c;而只有被激活的变量对象&＃xff0c;也就是活动对象上的各种属性才能被访问。

活动对象是在进入函数上下文时刻被创建的&＃xff0c;它通过函数的 arguments&＃xff08;参数&＃xff09;属性初始化。arguments 属性值是 Arguments 对象。

二、执行过程

执行上下文的代码会分成两个阶段进行处理&＃xff0c;分析和执行&＃xff1a;

1. 进入执行上下文。
2. 代码执行。

1. 进入执行上下文

当进入执行上下文时&＃xff0c;这时还没有执行代码。

变量对象会包括&＃xff1a;

• 函数的所有形式&＃xff08;如果是函数上下文&＃xff09;。

由名称和对应值组成的一个变量对象的属性被创建。

没有实参&＃xff0c;属性值为 undefined。

• 函数声明。

由名称和对应值&＃xff08;函数对象&＃xff08;function-object&＃xff09;&＃xff09;组成一个变量对象的属性被创建。

如果变量对象已经存在相同名称的属性&＃xff0c;则完全替换这个属性。

• 变量声明。

由名称和对应值&＃xff08;undefined&＃xff09;组成一个变量对象的属性被创建。

如果变量名称跟已经声明的形式参数或函数相同&＃xff0c;则变量声明不会干扰已经存在的这类属性。

看下面例子&＃xff1a;

function foo(a) {var b &＃61; 2;function c() {};var d &＃61; function() {};b &＃61; 3;console.log(b);
};
foo(1);


在进入执行上下文后&＃xff0c;这时候的 AO&＃xff08;活动对象&＃xff09;是&＃xff1a;

AO &＃61; {arguments: {0: 1,length: 1},a: 1,b: undefined,c: reference to function c() {},d: undefined
}


2. 代码执行

在代码执行阶段&＃xff0c;会顺序执行代码&＃xff0c;根据代码&＃xff0c;修改变量对象的值。

还是上面的例子&＃xff0c;当代码指向完后&＃xff0c;这时候的 AO(活动对象)是&＃xff1a;

AO &＃61; {arguments: {0: 1,length: 1},a: 1,b: 3,c: reference to function c() {},d: reference to FunctionExpression "d"
}


到这里变量对象的创建过程就介绍完了&＃xff0c;总结一下&＃xff1a;

• 全局上下文的变量对象初始化是全局对象。
• 函数上下文的变量对象初始化只包括 Arguments 对象。
• 在进入执行上下文时会给变量对象添加形参、函数声明、变量声明等初始的属性值。
• 在代码执行阶段&＃xff0c;会再次修改变量对象的属性值。

三、思考题

第一题&＃xff1a;

function fun1() {console.log(q);q &＃61; 1;
};
fun1(); // ReferenceError: q is not defined


function fun2() {q &＃61; 1;console.log(q);
};
fun2(); // 1


第一段会有报错&＃xff0c;因为函数中的 “q”并没有通过 var 关键字声明&＃xff0c;所以不会被存放在 AO&＃xff08;活动对象&＃xff09; 中。

第一段执行 console 的时候&＃xff0c;AO 的值是&＃xff1a;

AO &＃61; {arguments: {length: 0}
}


没有 q 的值&＃xff0c;然后就会到全局去找&＃xff0c;全局也没有&＃xff0c;所以会报错。

第二段执行 console 的时候&＃xff0c;全局对象已经被赋予了 q 属性&＃xff0c;这时就可以从全局找到 q 的值&＃xff0c;所以会打印 1。

第二题&＃xff1a;

console.log(fun3); // function fun3()function fun3() {console.log("fun3");
};
var fun3 &＃61; 1;


会打印函数&＃xff0c;而不是 undefined。

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

期待您的关注&＃xff01;