深入理解JavaScript系列（20）：《你真懂JavaScript嗎？》答案詳解

本文轉載自查看原文 2012-02-10 08:54 44194 [07]Web開發/ [06]JS/jQuery/ 原型/ JavaScript/ this/ 上下文/ 閉包/ 作用域

介紹

昨天發的《大叔手記（19）：你真懂JavaScript嗎？》里面的5個題目，有很多回答，發現強人還是很多的，很多人都全部答對了。

今天我們來對這5個題目詳細分析一下，希望對大家有所幫助。

注：

問題來自大名鼎鼎的前端架構師Baranovskiy的帖子《So, you think you know JavaScript?》。
答案也是來自大名鼎鼎的JS牛人Nicholas C. Zakas的帖子《Answering Baranovskiy’s JavaScript quiz》——《JavaScript高級程序設計》一書的原作者
(但題目2的解釋貌似有點問題）

OK，我們先看第一題

題目1

if (!("a" in window)) {
    var a = 1;
}
alert(a);

代碼看起來是想說：如果window不包含屬性a，就聲明一個變量a，然后賦值為1。

你可能認為alert出來的結果是1，然后實際結果是“undefined”。要了解為什么，我們需要知道JavaScript里的3個概念。

首先，所有的全局變量都是window的屬性，語句 var a = 1;等價於window.a = 1; 你可以用如下方式來檢測全局變量是否聲明：

"變量名稱" in window

第二，所有的變量聲明都在范圍作用域的頂部，看一下相似的例子：

alert("a" in window);
var a;

此時，盡管聲明是在alert之后，alert彈出的依然是true，這是因為JavaScript引擎首先會掃墓所有的變量聲明，然后將這些變量聲明移動到頂部，最終的代碼效果是這樣的：

var a;
alert("a" in window);

這樣看起來就很容易解釋為什么alert結果是true了。

第三，你需要理解該題目的意思是，變量聲明被提前了，但變量賦值沒有，因為這行代碼包括了變量聲明和變量賦值。

你可以將語句拆分為如下代碼：

var a;    //聲明
a = 1;    //初始化賦值

當變量聲明和賦值在一起用的時候，JavaScript引擎會自動將它分為兩部以便將變量聲明提前，不將賦值的步驟提前是因為他有可能影響代碼執行出不可預期的結果。

所以，知道了這些概念以后，重新回頭看一下題目的代碼，其實就等價於：

var a;
if (!("a" in window)) {
    a = 1;
}
alert(a);

這樣，題目的意思就非常清楚了：首先聲明a，然后判斷a是否在存在，如果不存在就賦值為1，很明顯a永遠在window里存在，這個賦值語句永遠不會執行，所以結果是undefined。

大叔注：提前這個詞語顯得有點迷惑了，其實就是執行上下文的關系，因為執行上下文分2個階段：進入執行上下文和執行代碼，在進入執行上下文的時候，創建變量對象VO里已經有了：函數的所有形參、所有的函數聲明、所有的變量聲明

VO(global) = {
    a: undefined
}

這個時候a已經有了；

然后執行代碼的時候才開始走if語句，詳細信息請查看《深入理解JavaScript系列（12）：變量對象（Variable Object）》中的處理上下文代碼的2個階段小節。

大叔注：相信很多人都是認為a在里面不可訪問，結果才是undefined的吧，其實是已經有了，只不過初始值是undefined，而不是不可訪問。

題目2

var a = 1,
    b = function a(x) {
        x && a(--x);
    };
alert(a);

這個題目看起來比實際復雜，alert的結果是1；這里依然有3個重要的概念需要我們知道。

首先，在題目1里我們知道了變量聲明在進入執行上下文就完成了；第二個概念就是函數聲明也是提前的，所有的函數聲明都在執行代碼之前都已經完成了聲明，和變

量聲明一樣。澄清一下，函數聲明是如下這樣的代碼：

function functionName(arg1, arg2){
    //函數體
}

如下不是函數，而是函數表達式，相當於變量賦值：

var functionName = function(arg1, arg2){
    //函數體
};

澄清一下，函數表達式沒有提前，就相當於平時的變量賦值。

第三需要知道的是，函數聲明會覆蓋變量聲明，但不會覆蓋變量賦值，為了解釋這個，我們來看一個例子：

function value(){
    return 1;
}
var value;
alert(typeof value);    //"function"

盡快變量聲明在下面定義，但是變量value依然是function，也就是說這種情況下，函數聲明的優先級高於變量聲明的優先級，但如果該變量value賦值了，那結果就完全不一樣了：

function value(){
    return 1;
}
var value = 1;
alert(typeof value);    //"number"

該value賦值以后，變量賦值初始化就覆蓋了函數聲明。

重新回到題目，這個函數其實是一個有名函數表達式，函數表達式不像函數聲明一樣可以覆蓋變量聲明，但你可以注意到，變量b是包含了該函數表達式，而該函數表達式的名字是a；不同的瀏覽器對a這個名詞處理有點不一樣，在IE里，會將a認為函數聲明，所以它被變量初始化覆蓋了，就是說如果調用a(--x)的話就會出錯，而其它瀏覽器在允許在函數內部調用a(--x)，因為這時候a在函數外面依然是數字。基本上，IE里調用b(2)的時候會出錯，但其它瀏覽器則返回undefined。

理解上述內容之后，該題目換成一個更准確和更容易理解的代碼應該像這樣：

var a = 1,
    b = function(x) {
        x && b(--x);
    };
alert(a);

這樣的話，就很清晰地知道為什么alert的總是1了，詳細內容請參考《深入理解JavaScript系列（2）：揭秘命名函數表達式》中的內容。

大叔注：安裝ECMAScript規范，作者對函數聲明覆蓋變量聲明的解釋其實不准確的，正確的理解應該是如下：

進入執行上下文：這里出現了名字一樣的情況，一個是函數申明，一個是變量申明。那么，根據深入理解JavaScript系列（12）：變量對象（Variable Object）介紹的，填充VO的順序是: 函數的形參 -> 函數申明 -> 變量申明。
上述例子中，變量a在函數a后面，那么，變量a遇到函數a怎么辦呢？還是根據變量對象中介紹的，當變量申明遇到VO中已經有同名的時候，不會影響已經存在的屬性。而函數表達式不會影響VO的內容，所以b只有在執行的時候才會觸發里面的內容。

題目3

function a(x) {
    return x * 2;
}
var a;
alert(a);

這個題目就是題目2里的大叔加的注釋了，也就是函數聲明和變量聲明的關系和影響，遇到同名的函數聲明，VO不會重新定義，所以這時候全局的VO應該是如下這樣的：

VO(global) = {
    a: 引用了函數聲明“a”
}

而執行a的時候，相應地就彈出了函數a的內容了。

題目4

function b(x, y, a) {
    arguments[2] = 10;
    alert(a);
}
b(1, 2, 3);

關於這個題目，NC搬出了262-3的規范出來解釋，其實從《深入理解JavaScript系列（12）：變量對象（Variable Object）》中的函數上下文中的變量對象一節就可以清楚地知道，活動對象是在進入函數上下文時刻被創建的，它通過函數的arguments屬性初始化。arguments屬性的值是Arguments對象：

AO = {
  arguments: <ArgO>
};

Arguments對象是活動對象的一個屬性，它包括如下屬性：

callee — 指向當前函數的引用
length — 真正傳遞的參數個數
properties-indexes (字符串類型的整數) 屬性的值就是函數的參數值(按參數列表從左到右排列)。 properties-indexes內部元素的個數等於arguments.length. properties-indexes 的值和實際傳遞進來的參數之間是共享的。

這個共享其實不是真正的共享一個內存地址，而是2個不同的內存地址，使用JavaScript引擎來保證2個值是隨時一樣的，當然這也有一個前提，那就是這個索引值要小於你傳入的參數個數，也就是說如果你只傳入2個參數，而還繼續使用arguments[2]賦值的話，就會不一致，例如：

function b(x, y, a) {
    arguments[2] = 10;
    alert(a);
}
b(1, 2);

這時候因為沒傳遞第三個參數a，所以賦值10以后，alert(a)的結果依然是undefined，而不是10，但如下代碼彈出的結果依然是10，因為和a沒有關系。

function b(x, y, a) {
    arguments[2] = 10;
    alert(arguments[2]);
}
b(1, 2);

題目5

function a() {
    alert(this);
}
a.call(null);

這個題目可以說是最簡單的，也是最詭異的，因為如果沒學到它的定義的話，打死也不會知道結果的，關於這個題目，我們先來了解2個概念。

首先，就是this值是如何定義的，當一個方法在對象上調用的時候，this就指向到了該對象上，例如：

var object = {
    method: function() {
        alert(this === object);    //true
    }
}
object.method();

上面的代碼，調用method()的時候this被指向到調用它的object對象上，但在全局作用域里，this是等價於window（瀏覽器中，非瀏覽器里等價於global），在如果一個function的定義不是屬於一個對象屬性的時候（也就是單獨定義的函數），函數內部的this也是等價於window的，例如：

function method() {
    alert(this === window);    //true
}
method();

了解了上述概念之后，我們再來了解一下call()是做什么的，call方法作為一個function執行代表該方法可以讓另外一個對象作為調用者來調用，call方法的第一個參數是對象調用者，隨后的其它參數是要傳給調用method的參數（如果聲明了的話），例如：

function method() {
    alert(this === window);
}
method();    //true
method.call(document);   //false

第一個依然是true沒什么好說的，第二個傳入的調用對象是document，自然不會等於window，所以彈出了false。

另外，根據ECMAScript262規范規定：如果第一個參數傳入的對象調用者是null或者undefined的話，call方法將把全局對象（也就是window）作為this的值。所以，不管你什么時候傳入null，其this都是全局對象window，所以該題目可以理解成如下代碼：

function a() {
    alert(this);
}
a.call(window);

所以彈出的結果是[object Window]就很容易理解了。

總結

這5個題目雖然貌似有點偏，但實際上考察的依然是基本概念，只有熟知了這些基本概念才能寫出高質量代碼。

關於JavaScript的基本核心內容和理解基本上在該系列就到此為止了，接下來的章節除了把五大原則剩余的2篇補全依然，會再加兩篇關於DOM的文章，然后就開始轉向整理關於JavaScript模式與設計模式相關的文章了（大概10篇左右），隨后再會花幾個章節來一個實戰系列。

同步與推薦

本文已同步至目錄索引：深入理解JavaScript系列

深入理解JavaScript系列文章，包括了原創，翻譯，轉載等各類型的文章，如果對你有用，請推薦支持一把，給大叔寫作的動力。

免責聲明！

本站轉載的文章為個人學習借鑒使用，本站對版權不負任何法律責任。如果侵犯了您的隱私權益，請聯系本站郵箱yoyou2525@163.com刪除。

猜您在找 深入理解 JavaScript 異步系列（1）——基礎 JavaScript深入理解系列：bind方法詳解以及手寫深入理解JavaScript系列（24）：JavaScript與DOM（下）深入理解 JavaScript 異步系列（3）—— ES6 中的 Promise 深入理解JavaScript系列（12）：變量對象（Variable Object） JavaScript 運行機制詳解：深入理解Event Loop JavaScript深入理解-Promise以及常用方法詳解 Javascript之深入理解閉包 JavaScript閉包的深入理解深入理解JAVA I/O系列三：字符流詳解

深入理解JavaScript系列（20）：《你真懂JavaScript嗎？》答案詳解

介紹

題目1

題目2

題目3

題目4

題目5

總結

更多題目

同步與推薦

免責聲明！