14日 三月 2020

旧时的 "var"

本文用于帮助理解旧脚本

本文所讲的内容对于帮助理解旧脚本很有用。

但这不是我们编写新代码的方式。

在本教程最开始那部分的 变量 这章中,我们提到了变量声明的三种方式:

  1. let
  2. const
  3. var

letconst 在词法环境中的行为完全一样。

var 却是一头完全不同的,源自非常古老的时代的怪兽。在现代脚本中一般不再使用它,但它仍然潜伏在旧脚本中。

如果你不打算接触这样的脚本,你甚至可以跳过本章或推迟阅读本章,但是之后你很可能会踩到它的坑。

乍一看,varlet 的行为相似,不就是声明变量嘛:

function sayHi() {
  var phrase = "Hello"; // 局部变量,使用 "var",而不是 "let"

  alert(phrase); // Hello
}

sayHi();

alert(phrase); // Error, phrase is not defined

……但两者存在区别。

“var” 没有块级作用域

var 声明的变量,不是函数作用域就是全局作用域。它们在代码块外也是可见的(译注:也就是说,var 声明的变量只有函数作用域和全局作用域,没有块级作用域)。

举个例子:

if (true) {
  var test = true; // 使用 "var" 而不是 "let"
}

alert(test); // true,变量在 if 结束后仍存在

由于 var 会忽略代码块,因此我们有了一个全局变量 test

如果我们在第二行使用 let test 而不是 var test,那么该变量将仅在 if 内部可见:

if (true) {
  let test = true; // 使用 "let"
}

alert(test); // Error: test is not defined

对于循环也是这样的,var 声明的变量没有块级作用域也没有循环局部作用域:

for (var i = 0; i < 10; i++) {
  // ...
}

alert(i); // 10,"i" 在循环结束后仍可见,它是一个全局变量

如果一个代码块位于函数内部,那么 var 声明的变量的作用域将为函数作用域:

function sayHi() {
  if (true) {
    var phrase = "Hello";
  }

  alert(phrase); // works
}

sayHi();
alert(phrase); // Error: phrase is not defined (Check the Developer Console)

可以看到,var 穿透了 iffor 和其它代码块。这是因为在早期的 JavaScript 中,块没有词法环境。而 var 就是这个时期的代表之一。

“var” 声明在函数开头就会被处理

当函数开始的时候,就会处理 var 声明(脚本启动对应全局变量)。

换言之,var 声明的变量会在函数开头被定义,与它在代码中定义的位置无关(这里不考虑定义在嵌套函数中的情况)。

那么看一下这段代码:

function sayHi() {
  phrase = "Hello";

  alert(phrase);

  var phrase;
}
sayHi();

……从技术上将,它与下面这种情况是一样的(var phrase 被上移至函数开头):

function sayHi() {
  var phrase;

  phrase = "Hello";

  alert(phrase);
}
sayHi();

……甚至与这种情况也一样(记住,代码块是会被忽略的):

function sayHi() {
  phrase = "Hello"; // (*)

  if (false) {
    var phrase;
  }

  alert(phrase);
}
sayHi();

人们将这种行为称为“提升”(英文为 “hoisting” 或 “raising”),因为所有的 var 都被“提升”到了函数的顶部。

所以,在上面的例子中,if (false) 分支永远都不会执行,但没关系,它里面的 var 在函数刚开始时就被处理了,所以在执行 (*) 那行代码时,变量是存在的。

声明会被提升,但是赋值不会。

我们最好用例子来说明:

function sayHi() {
  alert(phrase);

  var phrase = "Hello";
}

sayHi();

var phrase = "Hello" 这行代码包含两个行为:

  1. 使用 var 声明变量
  2. 使用 = 给变量赋值。

声明在函数刚开始执行的时候(“提升”)就被处理了,但是赋值操作始终是在它出现的地方才起作用。所以这段代码实际上是这样工作的:

function sayHi() {
  var phrase; // 在函数刚开始时进行变量声明

  alert(phrase); // undefined

  phrase = "Hello"; // ……赋值 — 当程序执行到这一行时。
}

sayHi();

因为所有的 var 声明都是在函数开头处理的,我们可以在任何地方引用它们。但是在它们被赋值之前都是 undefined。

上面两个例子中 alert 运行都不会报错,因为变量 phrase 是存在的。但是它还没有被赋值,所以显示 undefiend

IIFE

在之前,JavaScript 中只有 var 这一种声明变量的方式,并且这种方式声明的变量没有块级作用域,程序员们就发明了一种模仿块级作用域的方法。这种方法被称为“立即调用函数表达式”(immediately-invoked function expressions,IIFE)。

如今,我们不应该再使用 IIFE 了,但是你可以在旧脚本中找到它们。

IIFE 看起来像这样:

(function() {

  let message = "Hello";

  alert(message); // Hello

})();

这里创建了一个函数表达式并立即调用。因此,代码立即执行并拥有了自己的私有变量。

函数表达式被括号 (function {...}) 包裹起来,因为在 JavaScript 中,当主代码流遇到 "function" 时,它会把它当成一个函数声明的开始。但函数声明必须有一个函数名,所以这样的代码会导致错误:

// 尝试声明并立即调用一个函数
function() { // <-- Error: Function statements require a function name

  let message = "Hello";

  alert(message); // Hello

}();

即使我们说:“好吧,那我们加一个名称吧”,但它仍然不工作,因为 JavaScript 不允许立即调用函数声明:

// 下面的括号会导致语法错误
function go() {

}(); // <-- 不能立即调用函数声明

因此,需要使用圆括号把告函数表达式包起来,以告诉 JavaScript,这个函数是在另一个表达式的上下文中创建的,因此它是一个函数表达式:它不需要函数名,可以立即调用。

除了使用括号,还有其他方式可以告诉 JavaScript 在这我们指的是函数表达式:

// 创建 IIFE 的方法

(function() {
  alert("Parentheses around the function");
})();

(function() {
  alert("Parentheses around the whole thing");
}());

!function() {
  alert("Bitwise NOT operator starts the expression");
}();

+function() {
  alert("Unary plus starts the expression");
}();

在上面的所有情况中,我们都声明了一个函数表达式并立即运行它。请再注意一下:如今我们没有理由来编写这样的代码。

总结

varlet/const 有两个主要的区别:

  1. var 声明的变量没有块级作用域,它们的最小作用域就是函数级作用域。
  2. var 变量声明在函数开头就会被处理(脚本启动对应全局变量)。

涉及全局对象时,还有一个非常小的差异,我们将在下一章中介绍。

这些差异使 var 在大多数情况下都比 let 更糟糕。块级作用域是这么好的一个东西。这就是 let 在几年前就被写入到标准中的原因,并且现在(与 const 一起)已经成为了声明变量的主要方式。

教程路线图

评论

在评论之前先阅读本内容…
  • 如果你发现教程有错误,或者有其他需要修改和提升的地方 — 请 提交一个 GitHub issue 或 pull request,而不是在这评论。
  • 如果你对教程的内容有不理解的地方 — 请详细说明。
  • 使用 <code> 标签插入只有几个词的代码,插入多行代码可以使用 <pre> 标签,对于超过 10 行的代码,建议你使用沙箱(plnkrJSBincodepen…)