摘要：空格一般沒(méi)意義會(huì)被忽略解析語(yǔ)法分析這個(gè)過(guò)程會(huì)將詞法單元轉(zhuǎn)換成抽象語(yǔ)法樹(shù)。小結(jié)本章節(jié)我們深入理解了的作用域，提升，閉包等概念，希望你能有所收獲，下一部分整理下解析對(duì)象原型等一些概念。

JavaScript 被列為 ‘動(dòng)態(tài)’ 或 ‘解釋執(zhí)行’ 語(yǔ)言，于其他傳統(tǒng)語(yǔ)言（如 java）不同的是，JavaScript是邊編譯邊執(zhí)行的。
一段源碼在執(zhí)行前會(huì)經(jīng)歷三個(gè)步驟： 分詞/詞法分析 -> 解析/語(yǔ)法分析 -> 代碼生成

分詞/詞法分析

這個(gè)過(guò)程將字符串分解成詞法單元，如 var a = 2; 會(huì)被分解成詞法單元 var、 a、 = 、2、;。空格一般沒(méi)意義會(huì)被忽略

解析/語(yǔ)法分析

這個(gè)過(guò)程會(huì)將詞法單元轉(zhuǎn)換成 抽象語(yǔ)法樹(shù)（Abstract Syntax Tree,AST）。
如 var a = 2; 對(duì)應(yīng)的 抽象語(yǔ)法樹(shù) 如下, 可通過(guò) 在線(xiàn)可視化AST 網(wǎng)址在線(xiàn)分析

{
  "type": "Program",
  "start": 0,
  "end": 10,
  "body": [
    {
      "type": "VariableDeclaration",
      "start": 0,
      "end": 10,
      "declarations": [
        {
          "type": "VariableDeclarator",
          "start": 4,
          "end": 9,
          "id": {
            "type": "Identifier",
            "start": 4,
            "end": 5,
            "name": "a"
          },
          "init": {
            "type": "Literal",
            "start": 8,
            "end": 9,
            "value": 2,
            "raw": "2"
          }
        }
      ],
      "kind": "var"
    }
  ],
  "sourceType": "module"
}

代碼生成

將 AST 轉(zhuǎn)換成可執(zhí)行的代碼，存放于內(nèi)存中，并分配內(nèi)存和轉(zhuǎn)化為一些機(jī)器指令

其實(shí)結(jié)合上面提到的編譯原理，作用域就好理解了。作用域就是當(dāng)前執(zhí)行代碼對(duì)這些標(biāo)識(shí)符的訪(fǎng)問(wèn)權(quán)限。
編譯器會(huì)在當(dāng)前作用域中聲明一些變量，運(yùn)行時(shí)引擎會(huì)去作用域中查找這些變量（其實(shí)就是一個(gè)尋址的過(guò)程），如果找到這些變量就可以操作變量，找不到就往上一層作用域找（作用域鏈的概念），或者返回 null

每聲明一個(gè)函數(shù)都會(huì)形成一個(gè)作用域，那作用域有什么用呢，它能讓該作用域內(nèi)的變量和函數(shù)不被外界訪(fǎng)問(wèn)到，也可以反過(guò)來(lái)說(shuō)是不讓該作用域內(nèi)的變量或函數(shù)污染全局。

對(duì)比：

var a = 123
function bar() {
  //...
}

和

function foo() {
  var a = 123
  function bar() {
    //...
  }
}

變量 a 和函數(shù) bar 用一個(gè)函數(shù) foo 包裹起來(lái)，函數(shù) foo 會(huì)形成一個(gè)作用域，變量 a 和函數(shù) bar 外界將無(wú)法訪(fǎng)問(wèn)，同時(shí)變量或函數(shù)也不會(huì)污染全局。

進(jìn)一步思考，上面例子的變量 a 和函數(shù) bar 有了作用域，但函數(shù) foo 不也是暴露在全局，也對(duì)全局造成污染了啊。是的，JavaScript對(duì)這種情況提出了解決方案： 立即執(zhí)行函數(shù) (IIFE)

(function foo() {
  var a = 123
  function bar() {
    //...
  }
})()

第一個(gè)（）將函數(shù)變成表達(dá)式，第二個(gè)（）執(zhí)行了這個(gè)函數(shù)，最終函數(shù) foo 也形成了自己的作用域，不會(huì)污染到全局，同時(shí)也不被全局訪(fǎng)問(wèn)的到。

es6之前JavaScript是沒(méi)有塊作用域這個(gè)概念的，這與一般的語(yǔ)言（如Java ，C）很大不同，看下面這個(gè)例子：

for (var i = 0; i < 10; i++) {
  console.log("i=", i);
}
console.log("輸出", i); // 輸出 10

for 循環(huán)定義了變量 i，通常我們只想這個(gè)變量 i 在循環(huán)內(nèi)使用，但忽略了 i 其實(shí)是作用在外部作用域(函數(shù)或全局)的。所以循環(huán)過(guò)后也能正常打印出 i ,因?yàn)闆](méi)有塊的概念。

甚至連 try/catch 也沒(méi)形成塊作用域:

try {
  for (var i = 0; i < 10; i++) {
    console.log("i=", i);
  }
} catch (error) {}
console.log("輸出", i); // 輸出 10

解決方法1

形成塊作用域的方法當(dāng)然是使用 es6 的 let 和 const 了， let 為其聲明的變量隱式的劫持了所在的塊作用域。

for (let i = 0; i < 10; i++) {
  console.log("i=", i);
}
console.log("輸出", i); // ReferenceError: i is not defined

將上面例子的 var 換成 let 最后輸出就報(bào)錯(cuò)了 ReferenceError: i is not defined ，說(shuō)明被 let 聲明的 i 只作用在了 for 這個(gè)塊中。

除了 let 會(huì)讓 for、if、try/catch 等形成塊，JavaScript 的 {} 也能形成塊

{
  let name = "曾田生"
}

console.log(name); //ReferenceError: name is not defined

解決方法2

早在沒(méi) es6 的 let 聲明之前，常用的做法是利用 函數(shù)也能形成作用域 這么個(gè)概念來(lái)解決一些問(wèn)題的。

看個(gè)例子

function foo() {
  var result = []
  for (var i = 0; i < 10; i++) {
    result[i] = function () {
      return i
    }
  }
  console.log(i）// i 作用在整個(gè)函數(shù)，for 執(zhí)行完此時(shí) i 已經(jīng)等于 10 了
  return result
}
var result = foo()
console.log(result[0]()); // 輸出 10 期望 0
console.log(result[1]()); // 輸出 10 期望 1
console.log(result[2]()); // 輸出 10 期望 2

這個(gè)例子出現(xiàn)的問(wèn)題是執(zhí)行數(shù)組函數(shù)最終都輸出了 10， 因?yàn)?i 作用在整個(gè)函數(shù)，for 執(zhí)行完此時(shí) i 已經(jīng)等于 10 了, 所以當(dāng)后續(xù)執(zhí)行函數(shù) result[x]() 內(nèi)部返回的 i 已經(jīng)是 10 了。

利用函數(shù)的作用域來(lái)解決

function foo() {
  var result = []
  for (var i = 0; i < 10; i++) {
    result[i] = function (num) {
      return function () { // 函數(shù)形成一個(gè)作用域，內(nèi)部變量被私有化了
        return num
      }
    }(i)
  }
  return result
}
var result = foo()
console.log(result[0]()); // 0
console.log(result[1]()); // 1
console.log(result[2]()); // 2

上面的例子也是挺典型的，一般面試題比較考基礎(chǔ)的話(huà)就會(huì)被問(wèn)道，上面例子不僅考察到了塊作用域的概念，函數(shù)作用域的概念，還考察到了閉包的概念（閉包后續(xù)講但不影響這個(gè)例子的理解），多琢磨一下就理解了。

提升指的是變量提升和函數(shù)提升，為什么JavaScript會(huì)有提升這個(gè)概念呢，其實(shí)也很好理解，因?yàn)镴avaScript代碼是先 編譯 后 執(zhí)行 的，所以在編譯階段就會(huì)先對(duì)變量和函數(shù)做聲明，在執(zhí)行階段就出現(xiàn)了所謂的變量提升和函數(shù)提升了。

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

上面代碼 console.log(a); // undefined 就是因?yàn)榫幾g階段先對(duì)變量做了聲明,先聲明了個(gè)變量 a, 并默認(rèn)賦值 undefined

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

函數(shù)同樣也存在提升，這就是為什么函數(shù)能先調(diào)用后聲明了

foo();
function foo() {
  console.log("---foo----");
}

注意:函數(shù)表達(dá)式不會(huì)被提升

foo();
var foo = function() {
  console.log("---foo----");
}
// TypeError: foo is not a function

注意：函數(shù)會(huì)首先被提升，然后才是變量

var foo = 1;
foo();
function foo() {
  console.log("---foo----");
}
// TypeError: foo is not a function

分析一下，因?yàn)樯厦胬泳幾g后是這樣的

var foo = undefined; // 變量名賦值 undefined
function foo() {     // 函數(shù)先提升
  console.log("---foo----");
}
foo = 1;             // 但接下去是變量被重新賦值了 1，是個(gè)Number類(lèi)型
foo();               // Number類(lèi)型當(dāng)然不能用函數(shù)方式調(diào)用，就報(bào)錯(cuò)了
// TypeError: foo is not a function

閉包問(wèn)題一直會(huì)在JavaScript被提起，是JavaScript一個(gè)比較奇葩的概念

閉包的概念： 當(dāng)函數(shù)可以記住并訪(fǎng)問(wèn)所在的詞法作用域時(shí)，就產(chǎn)生了閉包

概念貌似挺簡(jiǎn)單的，簡(jiǎn)單分析下，首先閉包是 產(chǎn)生的，是在代碼執(zhí)行中產(chǎn)生的，有的一些網(wǎng)絡(luò)博文直接將閉包定義為 某一個(gè)特殊函數(shù) 是錯(cuò)的。

閉包是怎么產(chǎn)生的呢，一個(gè)函數(shù)能訪(fǎng)問(wèn)到所在函數(shù)作用域就產(chǎn)生了閉包，注意到作用域的概念，咱們最上面的章節(jié)有提到，看下面例子：

function foo() {
  var a = 0;
  function bar() {
    a++;
    console.log(a);
  }
  return bar;
}

var bat = foo()
bat() // 1
bat() // 2
bat() // 3

結(jié)合例子分析一下： 函數(shù) foo 內(nèi)部返回了函數(shù) bar ,外部聲明個(gè)變量 bat 拿到 foo 返回的函數(shù) bar ，執(zhí)行 bat() 發(fā)現(xiàn)能正常輸出 1 ，注意前面章節(jié)提到的作用域，變量 a 是在函數(shù) foo 內(nèi)部的一個(gè)私有變量，不能被外界訪(fǎng)問(wèn)的，但外部函數(shù) bat 卻能訪(fǎng)問(wèn)的到私有變量 a，這說(shuō)明了 外部函數(shù) bat 持有函數(shù) foo 的作用域 ，也就產(chǎn)生了閉包。

閉包的形成有什么用呢，JavaScript 讓閉包的存在明顯有它的作用，其中一個(gè)作用是為了模塊化，當(dāng)然你也可以利用外部函數(shù)持有另一個(gè)函數(shù)作用域的閉包特性去做更多的事情，但這邊就暫且討論模塊化這個(gè)作用。

函數(shù)有什么作用呢，私有化變量或方法呀，那函數(shù)內(nèi)的變量和方法被私有化了函數(shù)怎么和外部做 交流 呢, 暴露出一些變量或方法呀

function foo() {
  var _a = 0;
  var b = 0;
  function _add() {
    b = _a + 10    
  }
  function bar() {
    _add()
  }
  function getB() {
    return b
  }
  return {
    bar: bar,
    getB: getB
  }
}

var bat = foo()
bat.bar()
bat.getB() // 10

上面例子函數(shù) foo 可以理解為一個(gè)模塊，內(nèi)部聲明了一些私有變量和方法，也對(duì)外界暴露了一些方法，只是在執(zhí)行的過(guò)程中順帶產(chǎn)生了一個(gè)閉包

上面提到了閉包的產(chǎn)生和作用，貌似在使用 es6語(yǔ)法 開(kāi)發(fā)的過(guò)程中很少用到了閉包，但實(shí)際上我們一直在用閉包的概念的。

foo.js

var _a = 0;
var b = 0;
function _add() {
  b = _a + 10
}
function bar() {
  _add()
}
function getB() {
  return b
}
export default {
  bar: bar,
  getB: getB
}

bat.js

import bat from "foo"

bat.bar()
bat.getB() // 10

上面例子是 es6 模塊的寫(xiě)法，是不是驚奇的發(fā)現(xiàn)變量 bat 可以記住并訪(fǎng)問(wèn)模塊 foo 的作用域，這符合了閉包的概念。

本章節(jié)我們深入理解了JavaScript的 作用域，提升，閉包等概念，希望你能有所收獲，下一部分整理下 this解析、對(duì)象、原型 等一些概念。

如果有興趣也可以去我的 github-blog 提 issues ，github也整理了幾篇文章會(huì)定期更新，歡迎 star