JS變量生命週期:爲何 let 沒有被提高

時間 2019-11-10

原文原文鏈接

爲了保證的可讀性，本文采用意譯而非直譯。前端

提高是將變量或函數定義移動到做用域頭部的過程，一般是 var 聲明的變量和函數聲明function fun() {...}。git

當 ES6 引入let(以及與let相似聲明的const和class)聲明時，許多開發人員都使用提高定義來描述如何訪問變量。可是在對這個問題進行了更多的探討以後，令我驚訝的是提高並非描述let變量的初始化和可用性的正確術語。github

ES6 爲let提供了一個不一樣的和改進的機制。它要求更嚴格的變量聲明,在定義以前不能使用，從而提升代碼質量。算法

想閱讀更多優質文章請猛戳GitHub博客,一年百來篇優質文章等着你！模塊化

1. 容易出錯的 var 提高

有時候咱們會在zuo內做用域內看到一個奇怪的變量var varname和函數函數function funName() {...} 聲明：函數

// var hoisting
num;     // => undefined
var num;
num = 10;
num;     // => 10
// function hoisting
getPi;   // => function getPi() {...}
getPi(); // => 3.14
function getPi() {
  return 3.14;
}

變量num在聲明var num以前被訪問，所以它被賦值爲undefined。fucntion getPi(){…}在文件末尾定義。可是，能夠在聲明getPi()以前調用該函數，由於它被提高到做用域的頂部。學習

事實證實，先使用而後聲明變量或函數的可能性會形成混淆。假設您滾動一個大文件，忽然看到一個未聲明的變量，它究竟是如何出如今這裏的，以及它在哪裏定義的？spa

固然，一個熟練的JavaScript開發人員不會這樣編寫代碼。可是在成千上萬的JavaScript中，GitHub repos是頗有可能處理這樣的代碼的。code

即便查看上面給出的代碼示例，也很難理解代碼中的聲明流。blog

固然，首先要聲明再使用。let 鼓勵我們使用這種方法處理變量。

2. 理解背後原理：變量生命週期

當引擎處理變量時，它們的生命週期由如下階段組成：

聲明階段(Declaration phase)是在做用域中註冊一個變量。
初始化階段(Initialization phase)是分配內存併爲做用域中的變量建立綁定。在此步驟中，變量將使用undefined自動初始化。
賦值階段(Assignment phase)是爲初始化的變量賦值。

變量在經過聲明階段時還沒有初始化狀態，但未達到初始化狀態。

請注意，就變量生命週期而言，聲明階段與變量聲明是不一樣的概念。簡而言之，JS引擎在3個階段處理變量聲明：聲明階段，初始化階段和賦值階段。

3.var 變量的生命週期

熟悉生命週期階段以後，讓咱們使用它們來描述JS引擎如何處理var變量。

假設JS遇到一個函數做用域，其中包含var變量語句。變量在執行任何語句以前經過聲明階段，並當即經過做用域開始處的初始化階段(步驟1)。函數做用域中var變量語句的位置不影響聲明和初始化階段。

在聲明和初始化以後，但在賦值階段以前，變量具備undefined 的值，而且已經可使用。

在賦值階段variable = 'value' 時，變量接收它的初值(步驟2)。

嚴格意義的提高是指在函數做用域的開始處聲明並初始化一個變量。聲明階段和初始化階段之間沒有差異。

讓咱們來研究一個例子。下面的代碼建立了一個包含var語句的函數做用域

function multiplyByTen(number) {
  console.log(ten); // => undefined
  var ten;
  ten = 10;
  console.log(ten); // => 10
  return number * ten;
}
multiplyByTen(4); // => 40

開始執行multipleByTen(4)並進入函數做用域時，變量ten在第一個語句以前經過聲明和初始化步驟。所以，當調用console.log(ten)時，打印undefined。語句ten = 10指定一個初值。賦值以後，console.log(ten) 將正確地打印10。

4. 函數聲明生命週期

在函數聲明語句function funName() {...}的狀況下，它比變量聲明生命週期更簡單。

聲明、初始化和賦值階段同時發生在封閉函數做用域的開頭(只有一步)。能夠在做用域的任何位置調用funName()，而不依賴於聲明語句的位置(甚至能夠在末尾調用)。

下面的代碼示例演示了函數提高：

function sumArray(array) {
  return array.reduce(sum);
  function sum(a, b) {
    return a + b;
  }
}
sumArray([5, 10, 8]); // => 23

當執行sumArray([5,10,8])時，它進入sumArray函數做用域。在這個做用域內，在任何語句執行以前，sum都會經過全部三個階段:聲明、初始化和賦值。這樣，array.reduce(sum)甚至能夠在它的聲明語句sum(a, b){…}以前使用sum。

5. let 變量的生命週期

let 變量的處理方式與var不一樣，主要區別在於聲明和初始化階段是分開的。

如今來看看一個場景，當解釋器進入一個包含let變量語句的塊做用域時。變量當即經過聲明階段，在做用域中註冊其名稱(步驟1)。

而後解釋器繼續逐行解析塊語句。

若是在此階段嘗試訪問變量，JS 將拋出 ReferenceError: variable is not defined。這是由於變量狀態未初始化，變量位於暫時死區 temporal dead zone。

當解釋器執行到語句let variable時，傳遞初始化階段(步驟2)。變量退出暫時死區。

接着，當賦值語句variable = 'value'出現時，將傳遞賦值階段(步驟3)。

若是JS 遇到let variable = 'value'，那麼初始化和賦值將在一條語句中發生。

讓咱們看一個例子，在塊做用域中用 let 聲明變量 number

let condition = true;
if (condition) {
  // console.log(number); // => Throws ReferenceError
  let number;
  console.log(number); // => undefined
  number = 5;
  console.log(number); // => 5
}

當 JS 進入if (condition) {...} 塊做用域，number當即經過聲明階段。

因爲number已經處於單一化狀態，而且處於的暫時死區，所以訪問該變量將引起ReferenceError: number is not defined。接着，語句let number進行初始化。如今能夠訪問變量，可是它的值是undefined。

const和class 類型與let具備相同的生命週期，只是分配只能發生一次。