JavaScript核心
網址: http://weizhifeng.net/javascript-the-core.html
原文：http://dmitrysoshnikov.com/ecmascript/javascript-the-core/
這篇文章是「深入ECMA-262-3」系列的一個概覽和摘要。每個部分都包含了對應章節的鏈接，所以你可以閱讀它們以便對其有更深的理解。
面向讀者：經驗豐富的程序員，專家。
我們以思考對象的概念做爲開始，這是ECMAScript的基礎。
對象
ECMAScript做爲一個高度抽象的面嚮對象語言，是通過對象來交互的。即使ECMAScript裏邊也有基本類型，但是，當需要的時候，它們也會被轉換成對象。
一個對象就是一個屬性集合，並擁有一個獨立的prototype（原型）對象。這個prototype可以是一個對象或者null。
讓我們看一個關於對象的基本例子。一個對象的prototype是以內部的[[Prototype]]屬性來引用的。但是，在示意圖裏邊我們將會使用__<internal-property>__下劃線標記來替代兩個括號，對於prototype對象來說是：__proto__。
對於以下代碼：
var foo = {
x: 10,
y: 20
};
我們擁有一個這樣的結構，兩個明顯的自身屬性和一個隱含的__proto__屬性，這個屬性是對foo原型對象的引用：
這些prototype有什麼用？讓我們以原型鏈（prototype chain）的概念來回答這個問題。
原型鏈
原型對象也是簡單的對象並且可以擁有它們自己的原型。如果一個原型對象的原型是一個非null的引用，那麼以此類推，這就叫作原型鏈。
原型鏈是一個用來實現繼承和共享屬性的有限對象鏈。
考慮這麼一個情況，我們擁有兩個對象，它們之間只有一小部分不同，其他部分都相同。顯然，對於一個設計良好的系統，我們將會重用相似的功能/代碼，而不是在每個單獨的對象中重複它。在基於類的系統中，這個代碼重用風格叫作類繼承－你把相似的功能放入類A中，然後類 B和類 C繼承類 A，並且擁有它們自己的一些小的額外變動。
ECMAScript中沒有類的概念。但是，代碼重用的風格並沒有太多不同（儘管從某些方面來說比基於類（class-based）的方式要更加靈活）並且通過原型鏈來實現。這種繼承方式叫作委託繼承(delegation based inheritance)（或者，更貼近ECMAScript一些，叫作原型繼承(prototype based inheritance)）。
跟例子中的類A，B，C相似，在ECMAScript中你創建對象：a，b，c。於是，對象a中存儲對象b和c中通用的部分。然後b和c只存儲它們自身的額外屬性或者方法。
var a = {
x: 10,
calculate: function (z) {
return this.x + this.y + z
}
};
var b = {
y: 20,
__proto__: a
};
var c = {
y: 30,
__proto__: a
};
// call the inherited method
b.calculate(30); // 60
c.calculate(40); // 80
足夠簡單，是不是？我們看到b和c訪問到了在對象a中定義的calculate方法。這是通過原型鏈實現的。
規則很簡單：如果一個屬性或者一個方法在對象自身中無法找到（也就是對象自身沒有一個那樣的屬性），然後它會嘗試在原型鏈中尋找這個屬性/方法。如果這個屬性在原型中沒有查找到，那麼將會查找這個原型的原型，以此類推，遍歷整個原型鏈（當然這在類繼承中也是一樣的，當解析一個繼承的方法的時候－我們遍歷class鏈（
class chain））。第一個被查找到的同名屬性/方法會被使用。因此，一個被查找到的屬性叫作繼承屬性。如果在遍歷了整個原型鏈之後還是沒有查找到這個屬性的話，返回undefined值。
注意，繼承方法中所使用的this的值被設置爲原始對象，而並不是在其中查找到這個方法的（原型）對象。也就是，在上面的例子中this.y取的是b和c中的值，而不是a中的值。但是，this.x是取的是a中的值，並且又一次通過原型鏈機制完成。
如果沒有明確爲一個對象指定原型，那麼它將會使用__proto__的默認值－Object.prototype。Object.prototype對象自身也有一個__proto__屬性，這是原型鏈的終點並且值爲null。
下一張圖展示了對象a，b，c之間的繼承層級：
注意： ES5標準化了一個實現原型繼承的可選方法，即使用Object.create函數：
var b = Object.create(a, {y: {value: 20}});
var c = Object.create(a, {y: {value: 30}});
你可以在對應的章節獲取到更多關於ES5新API的信息。 ES6標準化了 __proto__屬性，並且可以在對象初始化的時候使用它。
通常情況下需要對象擁有相同或者相似的狀態結構（也就是相同的屬性集合），賦以不同的狀態值。在這個情況下我們可能需要使用構造函數(constructor function)，其以指定的模式來創造對象。
構造函數
除了以指定模式創建對象之外，構造函數也做了另一個有用的事情－它自動地爲新創建的對象設置一個原型對象。這個原型對象存儲在ConstructorFunction.prototype屬性中。
換句話說，我們可以使用構造函數來重寫上一個擁有對象b和對象c的例子。因此，對象a（一個原型對象）的角色由Foo.prototype來扮演：
// a constructor function
function Foo(y) {
// which may create objects
// by specified pattern: they have after
// creation own "y" property
this.y = y;
}
// also "Foo.prototype" stores reference
// to the prototype of newly created objects,
// so we may use it to define shared/inherited
// properties or methods, so the same as in
// previous example we have:
// inherited property "x"
Foo.prototype.x = 10;
// and inherited method "calculate"
Foo.prototype.calculate = function (z) {
return this.x + this.y + z;
};
// now create our "b" and "c"
// objects using "pattern" Foo
var b = new Foo(20);
var c = new Foo(30);
// call the inherited method
b.calculate(30); // 60
c.calculate(40); // 80
// let's show that we reference
// properties we expect
console.log(
b.__proto__ === Foo.prototype, // true
c.__proto__ === Foo.prototype, // true
// also "Foo.prototype" automatically creates
// a special property "constructor", which is a
// reference to the constructor function itself;
// instances "b" and "c" may found it via
// delegation and use to check their constructor
b.constructor === Foo, // true
c.constructor === Foo, // true
Foo.prototype.constructor === Foo // true
b.calculate === b.__proto__.calculate, // true
b.__proto__.calculate === Foo.prototype.calculate // true
);
這個代碼可以表示爲如下關係：
這張圖又一次說明了每個對象都有一個原型。構造函數Foo也有自己的__proto__，值爲Function.prototype，Function.prototype也通過其__proto__屬性關聯到Object.prototype。因此，重申一下，Foo.prototype就是Foo的一個明確的屬性，指向對象b和對象c的原型。
正式來說，如果思考一下分類的概念（並且我們已經對Foo進行了分類），那麼構造函數和原型對象合在一起可以叫作「類」。實際上，舉個例子，Python的第一級（first-class）動態類（dynamic
classes）顯然是以同樣的屬性/方法處理方案來實現的。從這個角度來說，Python中的類就是ECMAScript使用的委託繼承的一個語法糖。
注意: 在ES6中「類」的概念被標準化了，並且實際上以一種構建在構造函數上面的語法糖來實現，就像上面描述的一樣。從這個角度來看原型鏈成爲了類繼承的一種具體實現方式：
// ES6
class Foo {
constructor(name) {
this._name = name;
}
getName() {
return this._name;
}
}
class Bar extends Foo {
getName() {
return super.getName() + ' Doe';
}
}
var bar = new Bar('John');
console.log(bar.getName()); // John Doe
有關這個主題的完整、詳細的解釋可以在ES3系列的第七章找到。分爲兩個部分：7.1 面向對象.基本理論，在那裏你將會找到對各種面向對象範例、風格的描述以及它們和ECMAScript之間的對比，然後在7.2 面向對象.ECMAScript實現，是對ECMAScript中面向對象的介紹。
現在，在我們知道了對象的基礎之後，讓我們看看運行時程序的執行（runtime program execution）在ECMAScript中是如何實現的。這叫作執行上下文棧（execution context stack），其中的每個元素也可以抽象成爲一個對象。是的，ECMAScript幾乎在任何地方都和對象的概念打交道;)
執行上下文堆棧
這裏有三種類型的ECMAScript代碼：全局代碼、函數代碼和eval代碼。每個代碼是在其執行上下文（execution context）中被求值的。這裏只有一個全局上下文，可能有多個函數執行上下文以及eval執行上下文。對一個函數的每次調用，會進入到函數執行上下文中，並對函數代碼類型進行求值。每次對eval函數進行調用，會進入eval執行上下文並對其代碼進行求值。
注意，一個函數可能會創建無數的上下文，因爲對函數的每次調用（即使這個函數遞歸的調用自己）都會生成一個具有新狀態的上下文：
function foo(bar) {}
// call the same function,
// generate three different
// contexts in each call, with
// different context state (e.g. value
// of the "bar" argument)
foo(10);
foo(20);
foo(30);
一個執行上下文可能會觸發另一個上下文，比如，一個函數調用另一個函數（或者在全局上下文中調用一個全局函數），等等。從邏輯上來說，這是以棧的形式實現的，它叫作執行上下文棧。
一個觸發其他上下文的上下文叫作caller。被觸發的上下文叫作callee。callee在同一時間可能是一些其他callee的caller（比如，一個在全局上下文中被調用的函數，之後調用了一些內部函數）。
當一個caller觸發（調用）了一個callee，這個caller會暫緩自身的執行，然後把控制權傳遞給callee。這個callee被push到棧中，併成爲一個運行中（活動的）執行上下文。在callee的上下文結束後，它會把控制權返回給caller，然後caller的上下文繼續執行（它可能觸發其他上下文）直到它結束，以此類推。callee可能簡單的返回或者由於異常而退出。一個拋出的但是沒有被捕獲的異常可能退出（從棧中pop）一個或者多個上下文。
換句話說，所有ECMAScript程序的運行時可以用執行上下文（EC）棧來表示，棧頂是當前活躍(active)上下文：
當程序開始的時候它會進入全局執行上下文，此上下文位於棧底並且是棧中的第一個元素。然後全局代碼進行一些初始化，創建需要的對象和函數。在全局上下文的執行過程中，它的代碼可能觸發其他（已經創建完成的）函數，這些函數將會進入它們自己的執行上下文，向棧中push新的元素，以此類推。當初始化完成之後，運行時系統（runtime system）就會等待一些事件（比如，用戶鼠標點擊），這些事件將會觸發一些函數，從而進入新的執行上下文中。
在下個圖中，擁有一些函數上下文EC1和全局上下文Global
EC，當EC1進入和退出全局上下文的時候下面的棧將會發生變化：
這就是ECMAScript的運行時系統如何真正地管理代碼執行的。
更多有關ECMAScript中執行上下文的信息可以在對應的第一章 執行上下文中獲取。
像我們所說的，棧中的每個執行上下文都可以用一個對象來表示。讓我們來看看它的結構以及一個上下文到底需要什麼狀態（什麼屬性）來執行它的代碼。
執行上下文
一個執行上下文可以抽象的表示爲一個簡單的對象。每一個執行上下文擁有一些屬性（可以叫作上下文狀態）用來跟蹤和它相關的代碼的執行過程。在下圖中展示了一個上下文的結構：
除了這三個必需的屬性（一個變量對象（variable objec），一個this值以及一個作用域鏈（scope
chain））之外，執行上下文可以擁有任何附加的狀態，這取決於實現。
讓我們詳細看看上下文中的這些重要的屬性。
變量對象
變量對象是與執行上下文相關的數據作用域。它是一個與上下文相關的特殊對象，其中存儲了在上下文中定義的變量和函數聲明。
注意，函數表達式（與函數聲明相對）不包含在變量對象之中。
變量對象是一個抽象概念。對於不同的上下文類型，在物理上，是使用不同的對象。比如，在全局上下文中變量對象就是全局對象本身（這就是爲什麼我們可以通過全局對象的屬性名來關聯全局變量）。
讓我們在全局執行上下文中考慮下面這個例子：
var foo = 10;
function bar() {} // function declaration, FD
(function baz() {}); // function expression, FE
console.log(
this.foo == foo, // true
window.bar == bar // true
);
console.log(baz); // ReferenceError, "baz" is not defined
之後，全局上下文的變量對象（variable objec，簡稱VO）將會擁有如下屬性：
再看一遍，函數baz是一個函數表達式，沒有被包含在變量對象之中。這就是爲什麼當我們想要在函數自身之外訪問它的時候會出現ReferenceError。
注意，與其他語言（比如C/C++）相比，在ECMAScript中只有函數可以創建一個新的作用域。在函數作用域中所定義的變量和內部函數在函數外邊是不能直接訪問到的，而且並不會污染全局變量對象。
使用eval我們也會進入一個新的（eval類型）執行上下文。無論如何，eval使用全局的變量對象或者使用caller（比如eval被調用時所在的函數）的變量對象。
那麼函數和它的變量對象是怎麼樣的？在函數上下文中，變量對象是以活動對象（activation object）來表示的。
活動對象
當一個函數被caller所觸發（被調用），一個特殊的對象，叫作活動對象（activation object）將會被創建。這個對象中包含形參和那個特殊的arguments對象（是對形參的一個映射，但是值是通過索引來獲取）。活動對象之後會做爲函數上下文的變量對象來使用。
換句話說，函數的變量對象也是一個同樣簡單的變量對象，但是除了變量和函數聲明之外，它還存儲了形參和arguments對象，並叫作活動對象。
考慮如下例子：
function foo(x, y) {
var z = 30;
function bar() {} // FD
(function baz() {}); // FE
}
foo(10, 20);
我們看下函數foo的上下文中的活動對象（activation object，簡稱AO）：
並且函數表達式baz還是沒有被包含在變量/活動對象中。
關於這個主題所有細節方面（像變量和函數聲明的提升問題（hoisting））的完整描述可以在同名的章節第二章 變量對象中找到。
注意，在ES5中變量對象和活動對象被併入了詞法環境模型（lexical environments model），詳細的描述可以在對應的章節找到。
然後我們向下一個部分前進。衆所周知，在ECMAScript中我們可以使用內部函數，然後在這些內部函數我們可以引用父函數的變量或者全局上下文中的變量。當我們把變量對象命名爲上下文的作用域對象，與上面討論的原型鏈相似，這裏有一個叫作作用域鏈的東西。
作用域鏈
作用域鏈是一個對象列表，上下文代碼中出現的標識符在這個列表中進行查找。
這個規則還是與原型鏈同樣簡單以及相似：如果一個變量在函數自身的作用域（在自身的變量/活動對象）中沒有找到，那麼將會查找它父函數（外層函數）的變量對象，以此類推。
就上下文而言，標識符指的是：變量名稱，函數聲明，形參，等等。當一個函數在其代碼中引用一個不是局部變量（或者局部函數或者一個形參）的標識符，那麼這個標識符就叫作自由變量。搜索這些自由變量(free variables)正好就要用到作用域鏈。
在通常情況下，作用域鏈是一個包含所有父（函數）變量對象__加上（在作用域鏈頭部的）函數自身變量/活動對象的一個列表。但是，這個作用域鏈也可以包含任何其他對象，比如，在上下文執行過程中動態加入到作用域鏈中的對象－像with對象或者特殊的catch從句（catch-clauses）對象。
當解析（查找）一個標識符的時候，會從作用域鏈中的活動對象開始查找，然後（如果這個標識符在函數自身的活動對象中沒有被查找到）向作用域鏈的上一層查找－重複這個過程，就和原型鏈一樣。
var x = 10;
(function foo() {
var y = 20;
(function bar() {
var z = 30;
// "x" and "y" are "free variables"
// and are found in the next (after
// bar's activation object) object
// of the bar's scope chain
console.log(x + y + z);
})();
})();
我們可以假設通過隱式的__parent__屬性來和作用域鏈對象進行關聯，這個屬性指向作用域鏈中的下一個對象。這個方案可能在真實的Rhino代碼中經過了測試，並且這個技術很明確得被用於ES5的詞法環境中（在那裏被叫作outer連接）。作用域鏈的另一個表現方式可以是一個簡單的數組。利用__parent__概念，我們可以用下面的圖來表現上面的例子（並且父變量對象存儲在函數的[[Scope]]屬性中）：
在代碼執行過程中，作用域鏈可以通過使用with語句和catch從句對象來增強。並且由於這些對象是簡單的對象，它們可以擁有原型（和原型鏈）。這個事實導致作用域鏈查找變爲兩個維度：（1）首先是作用域鏈連接，然後（2）在每個作用域鏈連接上－深入作用域鏈連接的原型鏈（如果此連接擁有原型）。
對於這個例子：
Object.prototype.x = 10;
var w = 20;
var y = 30;
// in SpiderMonkey global object
// i.e. variable object of the global
// context inherits from "Object.prototype",
// so we may refer "not defined global
// variable x", which is found in
// the prototype chain
console.log(x); // 10
(function foo() {
// "foo" local variables
var w = 40;
var x = 100;
// "x" is found in the
// "Object.prototype", because
// {z: 50} inherits from it
with ({z: 50}) {
console.log(w, x, y , z); // 40, 10, 30, 50
}
// after "with" object is removed
// from the scope chain, "x" is
// again found in the AO of "foo" context;
// variable "w" is also local
console.log(x, w); // 100, 40
// and that's how we may refer
// shadowed global "w" variable in
// the browser host environment
console.log(window.w); // 20
})();
我們可以給出如下的結構（確切的說，在我們查找__parent__連接之前，首先查找__proto__鏈）：
注意，不是在所有的實現中全局對象都是繼承自Object.prototype。上圖中描述的行爲（從全局上下文中引用「未定義」的變量x）可以在諸如SpiderMonkey引擎中進行測試。
由於所有父變量對象都存在，所以在內部函數中獲取父函數中的數據沒有什麼特別－我們就是遍歷作用域鏈去解析（搜尋）需要的變量。就像我們上邊提及的，在一個上下文結束之後，它所有的狀態和它自身都會被銷燬。在同一時間父函數可能會返回一個內部函數。而且，這個返回的函數之後可能在另一個上下文中被調用。如果自由變量的上下文已經「消失」了，那麼這樣的調用將會發生什麼？通常來說，有一個概念可以幫助我們解決這個問題，叫作（詞法）閉包，其在ECMAScript中就是和作用域鏈的概念緊密相關的。
閉包
在ECMAScript中，函數是第一級（first-class）對象。這個術語意味着函數可以做爲參數傳遞給其他函數（在那種情況下，這些參數叫作「函數類型參數」（funargs，是"functional arguments"的簡稱））。接收「函數類型參數」的函數叫作高階函數或者，貼近數學一些，叫作高階操作符。同樣函數也可以從其他函數中返回。返回其他函數的函數叫作以函數爲值（function valued）的函數（或者叫作擁有函數類值的函數（functions with functional value））。
這有兩個在概念上與「函數類型參數（funargs）」和「函數類型值（functional values）」相關的問題。並且這兩個子問題在"Funarg problem"（或者叫作"functional argument"問題）中很普遍。爲了解決整個"funarg problem"，閉包（closure）的概念被創造了出來。我們詳細的描述一下這兩個子問題（我們將會看到這兩個問題在ECMAScript中都是使用圖中所提到的函數的[[Scope]]屬性來解決的）。
「funarg問題」的第一個子問題是「向上funarg問題」（upward funarg problem）。它會在當一個函數從另一個函數向上返回（到外層）並且使用上面所提到的自由變量的時候出現。爲了在即使父函數上下文結束的情況下也能訪問其中的變量，內部函數在被創建的時候會在它的[[Scope]]屬性中保存父函數的作用域鏈。所以當函數被調用的時候，它上下文的作用域鏈會被格式化成活動對象與[[Scope]]屬性的和（實際上就是我們剛剛在上圖中所看到的）：
Scope chain = Activation object + [[Scope]]
再次注意這個關鍵點－確切的說在創建時刻－函數會保存父函數的作用域鏈，因爲確切的說這個保存下來的作用域鏈將會在未來的函數調用時用來查找變量。
function foo() {
var x = 10;
return function bar() {
console.log(x);
};
}
// "foo" returns also a function
// and this returned function uses
// free variable "x"
var returnedFunction = foo();
// global variable "x"
var x = 20;
// execution of the returned function
returnedFunction(); // 10, but not 20
這個類型的作用域叫作靜態（或者詞法）作用域。我們看到變量x在返回的bar函數的[[Scope]]屬性中被找到。通常來說，也存在動態作用域，那麼上面例子中的變量x將會被解析成20，而不是10。但是，動態作用域在ECMAScript中沒有被使用。
「funarg問題」的第二個部分是「向下funarg問題」。這種情況下可能會存在一個父上下文，但是在解析標識符的時候可能會模糊不清。問題是：標識符該使用哪個作用域的值－以靜態的方式存儲在函數創建時刻的還是在執行過程中以動態方式生成的（比如caller的作用域）？爲了避免這種模棱兩可的情況並形成閉包，靜態作用域被採用：
// global "x"
var x = 10;
// global function
function foo() {
console.log(x);
}
(function (funArg) {
// local "x"
var x = 20;
// there is no ambiguity,
// because we use global "x",
// which was statically saved in
// [[Scope]] of the "foo" function,
// but not the "x" of the caller's scope,
// which activates the "funArg"
funArg(); // 10, but not 20
})(foo); // pass "down" foo as a "funarg"
我們可以斷定靜態作用域是一門語言擁有閉包的必需條件。但是，一些語言可能會同時提供動態和靜態作用域，允許程序員做選擇－什麼應該包含（closure）在內和什麼不應包含在內。由於在ECMAScript中只使用了靜態作用域（比如我們對於funarg問題的兩個子問題都有解決方案），所以結論是：ECMAScript完全支持閉包，技術上是通過函數的[[Scope]]屬性實現的。現在我們可以給閉包下一個準確的定義：
閉包是一個代碼塊（在ECMAScript是一個函數）和以靜態方式/詞法方式進行存儲的所有父作用域的一個集合體。所以，通過這些存儲的作用域，函數可以很容易的找到自由變量。
注意，由於每個（標準的）函數都在創建的時候保存了[[Scope]]，所以理論上來講，ECMAScript中的所有函數都是閉包。
另一個需要注意的重要事情是，多個函數可能擁有相同的父作用域（這是很常見的情況，比如當我們擁有兩個內部/全局函數的時候）。在這種情況下，[[Scope]]屬性中存儲的變量是在擁有相同父作用域鏈的所有函數之間共享的。一個閉包對變量進行的修改會體現在另一個閉包對這些變量的讀取上：
function baz() {
var x = 1;
return {
foo: function foo() { return ++x; },
bar: function bar() { return --x; }
};
}
var closures = baz();
console.log(
closures.foo(), // 2
closures.bar() // 1
);
以上代碼可以通過下圖進行說明：
確切來說這個特性在循環中創建多個函數的時候會使人非常困惑。在創建的函數中使用循環計數器的時候，一些程序員經常會得到非預期的結果，所有函數中的計數器都是同樣的值。現在是到了該揭開謎底的時候了－因爲所有這些函數擁有同一個[[Scope]]，這個屬性中的循環計數器的值是最後一次所賦的值。
var data = [];
for (var k = 0; k < 3; k++) {
data[k] = function () {
alert(k);
};
}
data[0](); // 3, but not 0
data[1](); // 3, but not 1
data[2](); // 3, but not 2
這裏有幾種技術可以解決這個問題。其中一種是在作用域鏈中提供一個額外的對象－比如，使用額外函數：
var data = [];
for (var k = 0; k < 3; k++) {
data[k] = (function (x) {
return function () {
alert(x);
};
})(k); // pass "k" value
}
// now it is correct
data[0](); // 0
data[1](); // 1
data[2](); // 2
對閉包理論和它們的實際應用感興趣的同學可以在第六章 閉包中找到額外的信息。如果想獲取更多關於作用域鏈的信息，可以看一下同名的第四章 作用域鏈。
然後我們移動到下個部分，考慮一下執行上下文的最後一個屬性。這就是關於this值的概念。
This
this是一個與執行上下文相關的特殊對象。因此，它可以叫作上下文對象（也就是用來指明執行上下文是在哪個上下文中被觸發的對象）。
任何對象都可以做爲上下文中的this的值。我想再一次澄清，在一些對ECMAScript執行上下文和部分this的描述中的所產生誤解。this經常被錯誤的描述成是變量對象的一個屬性。這類錯誤存在於比如像這本書中（即使如此，這本書的相關章節還是十分不錯的）。再重複一次：
this是執行上下文的一個屬性，而不是變量對象的一個屬性
這個特性非常重要，因爲與變量相反，this從不會參與到標識符解析過程。換句話說，在代碼中當訪問this的時候，它的值是直接從執行上下文中獲取的，並不需要任何作用域鏈查找。this的值只在進入上下文的時候進行一次確定。
順便說一下，與ECMAScript相反，比如，Python的方法都會擁有一個被當作簡單變量的self參數，這個變量的值在各個方法中是相同的的並且在執行過程中可以被更改成其他值。在ECMAScript中，給this賦一個新值是不可能的，因爲，再重複一遍，它不是一個變量並且不存在於變量對象中。
在全局上下文中，this就等於全局對象本身（這意味着，這裏的this等於變量對象）：
var x = 10;
console.log(
x, // 10
this.x, // 10
window.x // 10
);
在函數上下文的情況下，對函數的每次調用，其中的this值可能是不同的。這個this值是通過函數調用表達式（也就是函數被調用的方式）的形式由caller所提供的。舉個例子，下面的函數foo是一個callee，在全局上下文中被調用，此上下文爲caller。讓我們通過例子看一下，對於一個代碼相同的函數，this值是如何在不同的調用中（函數觸發的不同方式），由caller給出不同的結果的：
// the code of the "foo" function
// never changes, but the "this" value
// differs in every activation
function foo() {
alert(this);
}
// caller activates "foo" (callee) and
// provides "this" for the callee
foo(); // global object
foo.prototype.constructor(); // foo.prototype
var bar = {
baz: foo
};
bar.baz(); // bar
(bar.baz)(); // also bar
(bar.baz = bar.baz)(); // but here is global object
(bar.baz, bar.baz)(); // also global object
(false || bar.baz)(); // also global object
var otherFoo = bar.baz;
otherFoo(); // again global object
爲了深入理解this爲什麼（並且更本質一些－如何）在每個函數調用中可能會發生變化，你可以閱讀第三章
This。在那裏，上面所提到的情況都會有詳細的討論。
總結
通過本文我們完成了對概要的綜述。儘管，它看起來並不像是「概要」;)。對所有這些主題進行完全的解釋需要一本完整的書。我們只是沒有涉及到兩個大的主題：函數（和不同函數之間的區別，比如，函數聲明和函數表達式）和ECMAScript中所使用的求值策略(evaluation strategy )。這兩個主題是可以ES3系列的在對應章節找到：第五章 函數和第八章 求值策略。
如果你有留言，問題或者補充，我將會很樂意地在評論中討論它們。
祝學習ECMAScript好運！
作者：Dmitry A. Soshnikov
發佈於：2010-09-02
Thanks: http://weizhifeng.net/javascript-the-core.html
English Version： http://dmitrysoshnikov.com/ecmascript/javascript-the-core/