1.var 声明与变量提升
使用 var
关键字声明的变量,无论其实际声明位置在何处,都会被视为声明于所在函数的顶部(如果声明不在任意函数内,则视为在全局作用域顶部)。这就是所谓的变量提升(hoisting)。
以下面定义的函数为例:
1 | function getValue(condition) { |
如果对 JS 不熟悉,或许会认为仅当 condition
的值为 true
时,变量 value
才会被创建。但实际上,value
无论如何都会被创建。JS 引擎在后台对 getValue
函数进行了调整,就像这样:
1 | function getValue(condition) { |
value
变量的声明被提升到了顶部,而初始化工作则保留在原处。
这意味着在 else
分支内 value
变量也是可访问的,此处它的值会是 undefined
,因为它并没有被初始化。
2.块级声明
块级声明也就是让声明的变量在指定块的作用域外无法被访问。
块级作用域(又称词法作用域)在如下情况被创建:
- 在一个函数内部
- 在一个代码块(由一对花括号包裹)内部
块级作用域是很多类 C 语言的工作机制,ES6 引入块级声明,是为了给 JS 添加灵活性以及与其他语言的一致性。
2.1 let 声明
let
声明的语法与 var
的语法一致。基本上可以使用 let
来代替 var
进行变量声明,但会将变量的作用域限制在当前代码中。
由于 let
声明并不会被提升到当前代码块的顶部,因此需要手动将 let
声明放置到顶部,以便让变量在整个代码块内部可用。
1 | function getValue(condition) { |
上例这种写法的 getValue
函数的行为更接近其他类 C 语言。
由于变量 value
声明使用的是 let
而非 var
,该声明就没有被提升到函数定义的顶部,因此变量 value
在 if
代码块外部是无法访问的;并且在 condition
的值为 false
时,该变量是永远不会被声明并初始化的。
2.2 禁止重复声明
如果一个标识符已经在代码块内部被定义,那么在此代码块内使用同一个标识符进行 let
声明就会导致抛出错误。例如:
1 | var count = 30; |
在本例中,count
变量被声明了两次。因为 let
不能在同一作用域内重复声明一个已有标识符,此处的 let
声明就会抛出错误。
另一方面,在嵌套的作用域内使用 let
声明一个同名的新变量,则不会抛出错误。例如:
1 | var count = 30; |
此处的 let
声明不会抛出错误,因为它是在 if
语句内创建了一个新的 count
变量,而不是在同一级别再次创建此变量。
2.3 常量声明
在 ES6 中也可以使用 const
语法进行声明。
使用 const
声明的变量会被认为是常量(constant),意味着它们的值在被设置完成后就不能再被改变。
因此,所有的 const
变量都需要在声明时进行初始化,例如:
1 | // 有效的常量 |
maxItems
变量被初始化了,因此它的 const
声明能正常起效。而 name
变量没有初始化,导致在试图运行这段代码时抛出了错误。
对比常量声明与 let 声明
常量声明与 let
声明一样,都是块级声明。这意味着常量在声明它们的语句块外部是无法访问的,并且声明也不会被提升。
1 | if (condition) { |
此代码中,常量 maxItems
在 if
语句内被声明。maxItems
在代码块外部无法被访问,因为该语句已结束执行。
与 let
的另一个相似之处,是 const
声明会在同一作用域(全局或是函数作用域)内定义一个已有变量时抛出错误,无论该变量此前是用 var
声明的还是 let
声明的。例如:
1 | var message = "Hello"; |
除了以上相似之处,let
与 const
之间还有个重大区别:试图对之前使用 const
声明的常量进行赋值操作会抛出错误,无论是在严格模式还是非严格模式下。
1 | const maxItems = 5; |
当然,JS 的常量如果是一个对象,那么它所包含的值是可以被修改的。
使用 const
声明对象
const
声明会阻止对于变量绑定与变量自身值的修改,这意味着 const
声明并不会阻止对变量成员的修改。例如:
1 | const person = { |
此处 person
在初始化时被绑定了带有一个属性的对象。
修改 person.name
是可以的,并不会抛出错误,因为该操作只修改了 person
对象的成员,而没有修改 person
的绑定值。
当代码试图为 person
对象自身赋值时(这会改变变量绑定),就会导致错误。
const
阻止的是对于变量绑定的修改,而不阻止对成员值的修改。
2.4 暂时性死区
使用 let
或 const
声明的变量,在达到声明处之前都是无法访问的,试图访问会导致一个引用错误,即使在通常是安全的操作时(例如使用 typeof
运算符),也是如此。例如:
1 | if (condition) { |
此处的 value
变量使用了 let
进行定义与初始化,但该语句永远不会被执行。因为声明之前的那行代码抛出了一个错误。
出现该问题是因为:value
位于被 JS 社区称为暂时性死区(temporal dead zone, TDZ)的区域内。
该名称并未在 ES 规范中被明确命名,但经常被用于描述 let
或 const
声明的变量为何在声明处之前无法被访问。
当 JS 引擎检视接下来的代码块并发现变量声明时,它会在面对 var
的情况下将声明提升到函数或全局作用域的顶部,而面对 let
或 const
时会将声明放在暂时性死区内。
任何在暂时性死区内访问变量的企图都会导致“运行时”错误(runtime error)。只有执行到变量的声明语句时,该变量才会从暂时性死区内被移除并可以安全访问。
使用 let
或 const
声明的变量,若试图在定义位置之前使用它,无论如何都不能避免暂时性死区。而且正如上例所演示的,这甚至影响了通常安全的 typeof
运算符。
然而,可以在变量被定义的代码块之外对该变量使用 typeof
,尽管其结果可能并非预期。例如:
1 | console.log(typeof value); // "undefined" |
当 typeof
运算符被使用时,value
并没有在暂时性死区内,因为这发生在定义 value
变量的代码块外部。这意味着此时并没有绑定 value
变量,而 typeof
仅单纯返回了 undefined
。
ES6规定,如果块级作用域中存在 let
或 const
命令,而无论这个命令出现在块级作用域中的什么位置,这个块级作用域对这些命令声明的变量从一开始就形成封闭的作用域。只要在声明前使用这些变量,就会报错,即便外部作用域中存在同名的变量。