22-预编译

我们在上一篇文章《作用域》中简单讲过“变量提升”，今天来讲一下预编译，这对我们深入理解变量提升会有帮助。

JavaScript 运行三部曲

  • 语法分析

  • 预编译

  • 解释执行

预编译前奏

在讲预编译前，我们先来普及下面两个规律。

两个规律

规律1：任何变量，如果未经声明就赋值，此变量是属于 window 的属性，而且不会做变量提升。（注意，无论在哪个作用域内赋值）

比如说，如果我们直接在代码里写 console.log(a)，这肯定会报错的，提示找不到 a。但如果我直接写 a = 100，这就不会报错，此时，这个 a 就是 window.a。

规律2：一切声明的全局变量，全是window的属性。（注意，我说的是在全局作用域内声明的全局变量，不是说局部变量）

比如说，当我定义 var a = 200 时，这此时这个 a 就是 window.a。

由此，我们可以看出：window 代表了全局作用域（是说「代表」，没说「等于」）。

举例

掌握了上面两句话之后，我们再来看看下面的例子。

  1. function foo() {
  2.     var a = b = 100; // 连续赋值
  3. }
  5. foo();
  7. console.log(window.b); // 在全局范围内访问 b
  8. console.log(b); // 在全局范围内访问 b，但是前面没有加 window 这个关键字
  10. console.log(window.a); // 在全局范围内访问 a
  11. console.log(a); // 在全局范围内访问 a，但是前面没有加 window 这个关键字

上方代码的打印结果：

  1. 100
  3. 100
  5. undefined
  7. （会报错，提示 Uncaught ReferenceError: a is not defined）

解释：

当执行了foo()函数之后， var a = b = 100 这行连续赋值的代码等价于 var a = (b = 100)，其执行顺序是：

（1）先把 100 赋值给 b；

（2）再声明变量 a；

（3）再把 b 的值赋值给 a。

我们可以看到，b 是未经声明的变量就被赋值了，此时，根据规律1，这个 b 是属于 window.b；而 a 的作用域仅限于 foo() 函数内部，不属于 window。所以也就有了这样的打印结果。

预编译

函数预编译的步骤

函数预编译，发生在函数执行的前一刻。

（1）创建AO对象。AO即 Activation Object 活跃对象，其实就是「执行期上下文」。

（2）找形参和变量声明，将形参名和变量作为 AO 的属性名，值为undefined。

（3）将实参值和形参统一，实参的值赋给形参。

（4）查找函数声明，函数名作为 AO 对象的属性名，值为整个函数体。

这个地方比较难理解。但只有了解了函数的预编译，才能理解明白函数的执行顺序。

代码举例：

  1. function fn(a) {
  2.     console.log(a);
  4.     var a = 666;
  6.     console.log(a);
  8.     function a() {}
  10.     console.log(a);
  12.     var b = function() {};
  14.     console.log(b);
  16.     function c() {}
  17. }
  19. fn(1);

打印结果：

  1. ƒ a() {}
  2. 666
  3. 666
  4. ƒ () {}

参考链接