JavaScript 中的声明提升

声明提升（hosting）是 JavaScript 解析器的一个特性，它会把代码中的函数、变量声明语句作用提取到它所在作用域的最前面。

函数的提升

JavaScript 是支持在函数声明之前调用函数的。

say();

function say() {
  console.log("Hello");
}

解析器会扫描作用域内的代码，把函数声明提取到执行代码的前面。所以，解析器是这样看这段代码的：

function say() {
  console.log("Hello");
}

say();

除了普通函数，async function, function *, async function * 也有相同的提升效果。

var 变量声明提升

var 关键字的变量声明会被提升，但变量的赋值不会被提升。

console.log(foo); // undefined
var foo = "bar";
console.log(foo); // 'bar'

以上代码的解析结果为：

var foo;
console.log(foo);
foo = "bar";
console.log(foo);

这可能会导致一些奇怪的问题：

var x = "x in global";

(function () {
  // 这里期望读取全局变量
  console.log(x); // 结果为undefined. 🙀
  /* ... */
  // 在函数内某处
  var x = "x in function";
})();

在过去，为了规避这种奇怪的提升，大家普遍把var 声明写在作用域的最前面。

var x='x';
var y='y';

function (){
    var x;
    var foo;
    // ...
}

当然，现在我们选择不用 var，改用更合理的 let 和 const。

let 和 const 变量声明和死区

那么，let 和 const 就不存在变量提升了吗？—— 未必。

看这个例子：

const x = "x in global";

(function () {
  // 这里期望读取全局变量
  console.log(x); // ReferenceError: Cannot access 'x' before initialization
  /* ... */
  // 在函数内某处
  const x = "x in function";
})();

执行报错，说明 const x = "x in function"; 一行影响了作用域内的上方区域代码。

解析器会扫描当前作用域下的 const 和 let 声明，在声明语句之前使用变量名都会触发 ReferenceError。这样可以避免上面提过的 var 提升问题和模糊不清的代码范式。

class 关键字也有同样的效果，new 一个未声明的类也会发生 ReferenceError。

new MyClass(); // ReferenceError: Cannot access 'MyClass' before initialization

class MyClass {}

有人认为这种情况不属于提升，毕竟声明和赋值都没有提前；也有人认为这些语句在执行之前就产生了影响，其作用提升了。个人偏向后者，这是对（变量和类名）标识符的提升。

总结

一些 JavaScript 声明语句的效果会影响到所在的整个作用域，这种现象称为提升。

有 3 种类型的提升：

• function 关键字的声明和赋值都提升。
• var 关键字声明提升，赋值不提升。
• let, const, class 标识符提升，形成死区，声明和赋值都不提升。