摘要：本文不是標準的中文翻譯，也不是的入門教程，本文雖然以的常見問題切入，但并不適合想要快速了解這些問題的人才是快速了解問題的正解。盡量以英文原版為基礎(chǔ)，為了流暢，可能會使用某些名詞的中文翻譯，但會將匹配的英文名詞以此種樣式中出現(xiàn)一次以避免誤解。

最近混SF，恰巧又逢工作方面有了NodeJS的機會，迫切地有教別人怎么寫JS的需求，
我發(fā)現(xiàn)JS這個東西其實真沒那么容易理解。

為了加深和糾正自己對JS的理解，也為了以后能直接甩別人一臉文章，所以開始挖這樣一個大坑：簡單易懂的ECMA規(guī)范導(dǎo)讀。
希望能以專題的形式有線索地基于ECMA標準介紹Javascript的方方面面。本文不是ECMA標準的中文翻譯，也不是Javascript的入門教程，
本文雖然以JS的常見問題切入，但并不適合想要快速了解這些問題的人（Google才是快速了解問題的正解）。
本文的聚焦于標準如何決定了JS的各種行為，JS引擎的水面下在發(fā)生些什么。

本文描述的是ECMA262的5.1版本 也是現(xiàn)在最為流行和主流的標準，
現(xiàn)代瀏覽器和NodeJS默認均遵循此標準。盡量以英文原版為基礎(chǔ)，為了流暢，可能會使用某些名詞的中文翻譯，
但會將匹配的英文名詞以此種樣式中出現(xiàn)一次以避免誤解。

我們的第一個話題是：this指向哪里?

11.1.1 The this Keyword

  
The this keyword evaluates to the value of the ThisBinding of the current execution context.

計算this關(guān)鍵字時，取當前執(zhí)行上下文的ThisBinding的值

10.3 Execution Contexts

執(zhí)行上下文Execution Context 從邏輯上形成棧結(jié)構(gòu)，棧頂(活躍)的執(zhí)行上下文包含了追蹤當前正在執(zhí)行的代碼的全部狀態(tài)。

執(zhí)行上下文包含了LexicalEnvironment、VariableEnvironment和ThisBinding三部分，在這個話題中我們主要關(guān)心ThisBinding，
也就是代碼中出現(xiàn)this所代指的值的綁定

從最簡單的開始

10.4.1 Entering Global Code
在進入全局代碼的流程中，規(guī)范明確指出：全局代碼對應(yīng)的執(zhí)行上下文中，

  
Set the ThisBinding to the global object.

所以全局代碼中，this指向全局對象

注意：this值this value是不同于this關(guān)鍵詞的概念，是調(diào)用[[Call]]內(nèi)部方法的參數(shù)之一，并不等同于用戶代碼中的this關(guān)鍵字

函數(shù)調(diào)用表達式CallExpression的過程中，按照標準的描述，
計算this值的偽代碼如下

if Type(ref) is 
    if IsPropertyReference(ref)
        thisValue := getBase(ref)
    else # assert Type(getBase(ref)) is 
        thisValue := getBase(ref).ImplicitThisValue()
else
    thisValue := undefined

ref是函數(shù)調(diào)用參數(shù)左側(cè)(括號左側(cè))的表達式計算的結(jié)果

引用類型常見的有

標示符引用Identifier Reference
即變量引用，引用base是環(huán)境記錄Environment Record

字面量引用Literal Reference
引用base也是環(huán)境記錄

屬性訪問Property Accessors
包括點運算和[]運算，引用base是左值

非引用類型常見的有

全部ECMA內(nèi)置函數(shù)和所有用戶定義函數(shù)的返回結(jié)果（例外是host objects，也就是假設(shè)DOM之類的宿主對象如果需要，
可以定義一些函數(shù)返回引用）

環(huán)境記錄是前述的執(zhí)行上下文中的LexicalEnvironment和VariableEnvironment的構(gòu)成要素

不考慮with語句的話，環(huán)境記錄只有Declarative Environment Records一種，它的ImplicitThisValue始終返回undefined

綜上所述，排除with語句的情況下，想讓thisValue不是undefined，就只有屬性訪問一種辦法而已。

計算得到thisValue后，調(diào)用被調(diào)函數(shù)func的[[call]]內(nèi)部方法，提供thisValue作為this的值

new表達式NewExpression的執(zhí)行過程
基本上委托給了[[Construct]]內(nèi)部方法，我們看這個方法的定義，
關(guān)注其中第8步

  
Let result be the result of calling the [[Call]] internal property of F, providing

  obj as the this value and providing the argument list passed into [[Construct]] as args.

其中F是構(gòu)造函數(shù)，而obj是本次新建的對象，非常清楚。

前兩節(jié)我們描述了兩種觸發(fā)函數(shù)體內(nèi)代碼的辦法各自如何構(gòu)造this值，但正如前述，this關(guān)鍵字的值是執(zhí)行上下文中的ThisBinding決定的，
this值轉(zhuǎn)變?yōu)門hisBinding的過程發(fā)生在調(diào)用[[Call]]內(nèi)部方法時，我們看標準

  
Let funcCtx be the result of establishing a new execution context for function

  code using the value of F"s [[FormalParameters]] internal property, the passed

  arguments List args, and the this value as described in 10.4.3.

阿哈，第一步就是建立新的執(zhí)行上下文，其中thisBinding的構(gòu)建在10.4.3 Entering Function Code
中描述,

if function-code is 
    ThisBinding = thisArg
else if thisArg is null or thisArg is undefined
    ThisBinding = global object
else if Type(thisArg) is not