JavaScript-作用域是什么

xfee 發(fā)布于2019-08-26 13:34 / 2617人閱讀

摘要：直到抵達最外層的全局作用域，無論找到還是沒找到，查找過程都會停止。小結(jié)作用域是一套規(guī)則，用于確定在何處以及如何查找變量標志符。作用域查找會在找到第一個匹配的標識符時停止。函數(shù)作用域匿名和具名例如如下函數(shù)這叫做匿名函數(shù)表達式。

理解作用域

引擎

從頭到尾負責整個JavaScript程序的編譯和執(zhí)行過程

編譯器

負責語法分析及代碼生成

作用域

負責收集并維護由所有聲明的標識符（變量）組成的一系列查詢，并實施一套非常嚴格的規(guī)則，確定當前執(zhí)行的代碼對這些標識符有訪問權(quán)限。

作用域嵌套

當一個塊或者函數(shù)嵌套在另一個函數(shù)或函數(shù)中時，就發(fā)生了作用域嵌套。

遍歷嵌套作用域規(guī)則：引擎從當前的執(zhí)行作用域開始查找變量，如果找不到，就向上一級繼續(xù)查找。直到抵達最外層的全局作用域，無論找到還是沒找到，查找過程都會停止。

小結(jié)

作用域是一套規(guī)則，用于確定在何處以及如何查找變量（標志符）。
如果查找目的是對變量進行賦值，就是執(zhí)行LHS查詢
如果查找目的是獲取變量的值，就是執(zhí)行RHS查詢

詞法作用域

作用域主要兩種工作模式：詞法作用域和動態(tài)作用域

詞法階段

大部分標準語言編譯器的第一個工作階段叫做詞法化（也叫單詞化）。

簡單的說，詞法作用域就是定義在詞法階段的作用域。換句話說，詞法作用域是由你在寫代碼的時候?qū)⒆兞亢蛪K作用域?qū)懺谀睦飦頉Q定的，因此當詞法分析器處理代碼時會保持作用域不變。

作用域查找會在找到第一個匹配的標識符時停止。在多層的嵌套作用域中可以定義同名的標識符，叫做“遮蔽效應”

作用域查找始終是從運行時所處的最內(nèi)部作用域開始，逐級向外或者向上查找，知道遇見第一個匹配的標識符為止。

全局變量會自動成為全局對象（例如瀏覽器中的window對象）的屬性，因此可以不直接通過全局對象的詞法名稱，而是間接的通過對全局對象屬性的引用來對其進行訪問。

例如window.a。通過這種技術(shù)可以訪問那些被同名變量鎖遮蔽的全局變量。但非全局變量如果被遮蔽了，無論如何都無法被訪問到。

無論函數(shù)在哪里被調(diào)用，也無論它如何被調(diào)用，它的詞法作用域都只由函數(shù)被聲明時所處的位置決定。

小結(jié)

詞法作用域意味著作用域是由代碼書寫時候函數(shù)聲明的位置來決定的。

函數(shù)作用域和塊作用域 函數(shù)中的作用域

函數(shù)作用域是指，屬于這個函數(shù)的全部變量都可以在整個函數(shù)的范圍內(nèi)使用以及復用（事實上在嵌套的作用域中也可以使用）。

隱藏內(nèi)部實現(xiàn)

不應該這樣：

function doSomething(a) {
 b = a + doSomethingElse(a * 2);

 console.log(b * 3);
}

function doSomethingElse(a) {
 return a - 1;
}

var b;

doSomething(2);

而是應該這樣，隱藏變量：

function doSomething(a) {
 function doSomethingElse(a) {
   return a - 1;
 }
 var b;

 b = a + doSomethingElse(a * 2);

 console.log(b * 3);
}

doSomething(2);

#### 規(guī)避沖突
“隱藏”作用域中的變量和函數(shù)所帶來的另一個好處，是可以避免同名標識符之間的沖突，兩個標識符可能具有相同的名字但是用途卻不一樣，無意間可能造成命名沖突。沖突會導致變量的值被意外覆蓋。

### 函數(shù)作用域

#### 匿名和具名
例如如下函數(shù)：

setTimeout(function() {
 console.log("I waited 1 second");
 
}, 1000);

這叫做匿名函數(shù)表達式。
匿名函數(shù)表達式書寫起來簡單快捷，但是有幾個缺點：

匿名函數(shù)在棧追蹤中不會顯示出有意義的函數(shù)名，使得調(diào)試很困難

如果沒有函數(shù)名，當函數(shù)需要引用自身時只能使用已經(jīng)過期的arguments.callee引用。

匿名函數(shù)省略了對于代碼可讀性/可理解性很重要的函數(shù)名。

行內(nèi)函數(shù)表達式非常強大且有用----匿名和具名之間的區(qū)別并不會對這一點有任何影響。給函數(shù)表達式指定一個函數(shù)名可以有效解決以上問題。所以，最好始終給函數(shù)表達式命名。

setTimeout(function timeoutHandler() { // 有名字了
  console.log("I waited 1 second");
  
}, 1000);

立即執(zhí)行函數(shù)表達式

(function(){})() 和 (function(){}())

提升

函數(shù)會首先別提升，然后才是變量。

出現(xiàn)在后面的函數(shù)聲明還是可以覆蓋前面的。

一個普通塊內(nèi)部的函數(shù)聲明通常會被提升到所在作用域的頂部。

總結(jié)

所有的聲明（變量和函數(shù)）都會被“移動”到各自作用域的最頂端，這個過程被稱為提升。

聲明本身會被提升，而包含函數(shù)表達式的賦值在內(nèi)的賦值操作并不會被提升。

要注意避免重復聲明，特別是當普通的var聲明和函數(shù)聲明混合在一起的時候，否則會引起很多危險的問題。

作用域閉包 定義

當函數(shù)可以記住并訪問所在的詞法作用域時，就產(chǎn)生了閉包，即使函數(shù)是在所在詞法作用域以外被執(zhí)行，這個引用，就叫做閉包。

無論通過何種手段將內(nèi)部函數(shù)傳遞到所在詞法作用域以外，它都會持有對原始定義作用域的引用，無論在何處執(zhí)行這個函數(shù)都會使用閉包

本質(zhì)上講，無論何時何地，如果將函數(shù)當作第一級的值類型并到處傳遞，你就會看到閉包在這些函數(shù)中的應用。

例如在一些定時器、事件監(jiān)聽器、Ajax請求等，只要使用了回調(diào)函數(shù)，實際上就是在使用閉包

循環(huán)和閉包

let聲明可以用來劫持塊作用域，并且在這個作用域中聲明一個變量。

for循環(huán)頭部的let聲明還會有一個特殊的行為。這個行為指出變量在循環(huán)過程中不止被聲明一次，每次迭代都會聲明。隨后每個迭代都會使用上一個迭代結(jié)束時的值來初始化這個變量。

模塊

模塊模式需要具備兩個必要條件：

必須有外部的封閉函數(shù)，該函數(shù)必須至少別調(diào)用一次（每次調(diào)用都會創(chuàng)建一個新的模塊實例）

封閉函數(shù)必須返回至少一個內(nèi)部函數(shù)，這樣內(nèi)部函數(shù)才能在私有作用域中形成閉包，并且可以訪問或者修改私有得狀態(tài)。

一個具有函數(shù)屬性的對系那個本身并不是真正的模塊。從方便觀察的角度看，一個從函數(shù)調(diào)用鎖返回的，只有數(shù)據(jù)屬性而沒有閉包函數(shù)得對象并不是真正的模塊。

現(xiàn)代的模塊機制

大多數(shù)模塊依賴加載器/管理器本質(zhì)上都是將這種模塊定義封裝進一個友好的API。

var MyModules = (function Manager() {
  var modules = {};

  function define(name, deps, impl) {
    for (var i = 0; i < deps.length; i++) {
      deps[i] = modules[deps[i]];
    }
    modules[name] = impl.apply(impl, deps);
  }

  function get(name) {
    return modules[name];
  }

  return {
    define: define,
    get: get
  };
})();

MyModules.define("bar", [], function() {
  function hello(who) {
    return "let me introduce: " + who;
  }

  return {
    hello: hello
  };
});

MyModules.define("foo", ["bar"], function(bar) {
  var hungry = "xiaofan";

  function awesome() {
    console.log(bar.hello(hungry).toUpperCase());
  }

  return {
    awesome: awesome
  };
});

var bar = MyModules.get("bar");
var foo = MyModules.get("foo");

console.log(bar.hello("xiaofan"));

foo.awesome();

foo和bar模塊都是通過一個返回公共API的函數(shù)來定義的。foo甚至接受bar的實例作為依賴參數(shù)，并能響相應的使用它。

總結(jié)

當函數(shù)可以記住并訪問所在的詞法作用域，即使函數(shù)是在當前詞法作用域以外執(zhí)行，這時就產(chǎn)生了閉包。

模塊有兩個主要特征：

為創(chuàng)建內(nèi)部作用域而調(diào)用了一個包裝函數(shù)

包裝函數(shù)的返回值必須包含至少一個對內(nèi)部函數(shù)的引用，這樣就會創(chuàng)建涵蓋整個包裝函數(shù)內(nèi)部作用域的閉包