理解Javascript的变量提高

前言

本文2922字，阅读大约须要8分钟。

总括: 什么是变量提高，使用var,let,const,function,class声明的变量函数类在变量提高的时候都有什么区别。

• 参考文章：Hoisting in Modern JavaScript — let, const, and var
• 公众号：「前端进阶学习」，回复「666」，获取一揽子前端技术书籍

要么庸俗，要么孤独。

正文

Javascript中的变量提高说的是在程序中能够在变量声明以前就进行使用：

console.log(a); // undefined
var a = 1;

能够看到，在变量a声明以前咱们能够正常调用a，代码的实际的表现更像是这样的：

var a;
console.log(a); // undefined
a = 1;

但实际上，代码并无被改变，上面的代码只是咱们猜想的，其实Javascript引擎在执行这几行代码的时候并无移动或是改变代码的结果。到底发生了什么呢？

变量提高

在代码的编译期间，即代码真正执行的瞬息之间，引擎会将代码块中全部的变量声明和函数声明都记录下来。这些函数声明和变量声明都会被记录在一个名为词法环境的数据结构中。词法环境是Javascript引擎中一种记录变量和函数声明的数据结构，它会被直接保存在内存中。因此，上面的console.log(a)能够正常执行。

什么是词法环境

所谓词法环境就是一种标识符—变量映射的结构(这里的标识符指的是变量/函数的名字，变量是对实际对象[包含函数和数组类型的对象]或基础数据类型的引用)。

简单地说，词法环境是Javascript引擎用来存储变量和对象引用的地方。

词法环境的结构用伪代码表示以下：

LexicalEnvironment = {
  Identifier:  <value>,
  Identifier:  <function object>
}

关于词法环境更多的了解能够看博主以前的译文：理解Javascript中的执行上下文和执行栈。

了解了词法环境接下来让我依次看下使用var,const,let,function,class声明的变量或函数的状况。

function声明提高

helloWorld();  // 打印 'Hello World!'
function helloWorld(){
  console.log('Hello World!');
}

咱们已经知道了，函数声明会在编译阶段就会被记录在词法环境中而且保存在内存中，所以咱们能够在函数进行实际声明以前对该函数进行访问。

上面函数声明保存在词法环境中像下面这样：

lexicalEnvironment = {
  helloWorld: < func >
}

因此在代码执行阶段，当Javascript引擎碰到helloWorld()这行代码，会在词法环境中寻找，而后找到这个函数并执行它。

函数表达式

注意，只有函数声明才会被直接提高，使用函数表达式声明的函数不会被提高，看下面代码：

helloWorld();  // TypeError: helloWorld is not a function
var helloWorld = function(){
  console.log('Hello World!');
}

如上，代码报错了。使用var声明的helloWorld是个变量，并非函数，Javascript引擎只会把它当成普通的变量来处理，而不会在词法环境中给它赋值。

保存在词法环境中像下面这样：

lexicalEnvironment = {
  helloWorld: undefined
}

上面的代码要想能够正常运行改写以下便可：

var helloWorld = function(){
  console.log('Hello World!');
}
helloWorld();  // 打印 'Hello World!'

var变量提高

看一个使用var声明变量的例子：

console.log(a); // 打印 'undefined'
var a = 3;

若是按上面function函数声明的方式去理解，这里应该打印3，但实际上打印了undefined。

请记住：所谓的声明提高只是在编译阶段Javascript引擎将函数声明和变量声明存储在词法环境中，但不会给它们赋值。等到了执行阶段，真正执行到赋值那一行的时候，词法环境才会更新。

但上面的代码为何打印了undefined呢？

Javascript引擎会在编译阶段将使用var声明的变量保存在词法环境中，并将它初始化为undefined。到了执行阶段，等执行到赋值那一行代码的时候，词法环境中变量的值才会被更新。

因此上面代码的词法环境初始化像下面这样：

lexicalEnvironment = {
  a: undefined
}

这也解释了为何前面使用函数表达式声明的函数执行会报错，为何上面的代码会打印undefined。当代码执行到var a = 3;这行代码的时候，词法环境中a的值就会被更新，此时词法环境会被更新以下：

lexicalEnvironment = {
  a: 3
}

let和const变量提高

看一个使用let声明变量的例子:

console.log(a);
let a = 3;

输出：

Uncaught ReferenceError: Cannot access 'a' before initialization

再看一个使用const声明变量的例子：

console.log(b);
const b = 1;

输出：

Uncaught ReferenceError: Cannot access 'b' before initialization

和var不一样，相同结构的代码换成let或是const都直接报错了。

难道使用let和const声明的变量不存在变量提高的状况么？

实际上，在Javascript中全部声明的变量(var,const,let,function,class)都存在变量提高的状况。使用var声明的变量，在词法环境中会被初始化为undefined，但用let和const声明的变量并不会被初始化。

使用let和const声明的变量只有在执行到赋值那行代码的时候才会真正给他赋值，这也意味着在执行到变量声明的那行代码以前访问那个变量都会报错，这就是咱们常说的暂时性死区(TDZ)。即在变量声明以前都不能对变量进行访问。

当执行到变量声明的那一行的时候，可是仍然没有赋值，那么使用let声明的变量就会被初始化为undefined;使用const声明的变量就会报错; 看实际的例子：

let a;
console.log(a); // 输出 undefined
a = 5;

在代码编译阶段，Javascript引擎会把变量a存储在词法环境中，并把a保持在未初始化的状态。此时词法环境像下面这样：

lexicalEnvironment = {
  a: <uninitialized>
}

此时若是尝试访问变量a或是b，Javascript引擎会在词法环境中找到该变量，但此时变量处于未初始化的状态，所以会抛出一个引用错误。

而后在执行阶段，Javascript引擎执行到赋值(专业点叫词法绑定)那一行的时候，会评估被赋值的值，若是没有被赋值，只是简单的声明，此时就会给let声明的变量赋值为undefined；此时词法环境像下面这样：

lexicalEnvironment = {
  a: undefined
}

当执行到a = 5这一行的时候，词法环境再次更新：

lexicalEnvironment = {
  a: 5
}

再看下使用const声明代码的状况:

let a;
console.log(a);
a = 5;
const b;
console.log(b);

输出：

Uncaught SyntaxError: Missing initializer in const declaration

上面代码直接报错，a的值也没有打印，直接报错，实际上是代码在编译阶段就已经报错了，压根没执行到console.log(a);这一行代码。

注意：在函数中，只要是能在变量声明以后引用该变量就不会报错。

什么意思呢？看以下代码：

function foo () {
  console.log(a);
}
let a = 20;
foo(); // 打印 20

但下面代码就会报错：

function foo () {
  console.log(a);
}
foo();
let a = 20; // 报错： Uncaught ReferenceError: Cannot access 'a' before initialization

这里报错的缘由须要结合Javascript中的执行上下文和执行栈才能理解，由于此时全局执行上下文中词法环境中保存的变量a处于未初始化的状态，调用foo函数，建立了一个函数执行上下文，而后函数foo执行过程对全局执行上下文的变量a进行访问，但a还处于未初始化的状态(此时let a = 20尚未执行)。所以报错。

这里须要纠正一个误区，就是let和const声明的变量只有暂时性死区，不存在变量提高，实际上是不对的，举个例子证实理解一下：

let a = 1;
{
  console.log(a);
  let a = 2;
}

上面的代码会被报错：

Uncaught ReferenceError: Cannot access 'a' before initialization

若是不存在变量提高，理论上不会报错才对。

class声明提高

与let、const相似，使用class声明的类也会被提高，而后这个类声明会被保存在词法环境中但处于未初始化的状态，直到执行到变量赋值那一行代码，才会被初始化。另外，class声明的类同样存在暂时性死区(TDZ)。看例子：

let peter = new Person('Peter', 25); 
console.log(peter);
class Person {
  constructor(name, age) {
    this.name = name;
    this.age = age;
  }
}

打印：

Uncaught ReferenceError: Cannot access 'Person' before initialization

改写以下就能够正常运行了：

class Person {
  constructor(name, age) {
    this.name = name;
    this.age = age;
  }
}
let peter = new Person('Peter', 25); 
console.log(peter);
// Person { name: 'Peter', age: 25 }

上面代码在编译阶段，词法环境像这样：

lexicalEnvironment = {
  Person: <uninitialized>
}

而后执行到class声明的那一行代码，此时词法环境像下面这样：

lexicalEnvironment = {
  Person: <Person object>
}

注意：使用构造函数实例化对象并不会报错：

let peter = new Person('Peter', 25);
console.log(peter);
function Person(name, age) {

    this.name = name;
    this.age = age;
}
// Person { name: 'Peter', age: 25 }

上面代码正常运行。

类表达式

和函数表达式同样，类表达式也同样会被提高，好比：

let peter = new Person('Peter', 25);
console.log(peter);
let Person = class {
  constructor(name, age) {
    this.name = name;
    this.age = age;
  }
}

报错：

Uncaught ReferenceError: Cannot access 'Person' before initialization

要想正常运行，改写以下便可：

let Person = class {
  constructor(name, age) {
    this.name = name;
    this.age = age;
  }
}
let peter = new Person('Peter', 25); 
console.log(peter);
// Person { name: 'Peter', age: 25 }

也就是说无论是函数表达式仍是类表达式遵循的规则和变量声明是同样的。

结论

无论是var,const,let,function,class声明的变量仍是函数都存在变量提高的状况。正确理解变量提高有助于咱们写更好的代码。整个变量提高的状况总结以下：

• var：存在变量提高，在编译阶段会被初始化为undefined；
• let: 存在变量提高，存在暂时性死区（TDZ），执行阶段，若是没赋值，则初始化为undefined；
• const: 存在变量提高，存在暂时性死区（TDZ），若是没有赋值，编译阶段就会报错；
• function：存在变量提高，在变量声明以前能够访问并执行；
• class： 存在变量提高，存在暂时性死区（TDZ）；

---

能力有限，水平通常，欢迎勘误，不胜感激。

订阅更多文章可关注公众号「前端进阶学习」，回复「666」，获取一揽子前端技术书籍