圖5 繼承自它們的原型的實(shí)例

有些讀者可能已經(jīng)注意到了圖4中對(duì)hasOwnProperty方法和isPrototypeOf方法的調(diào)用。這些方法又來自哪里呢？它們并不是來自Dog.prototype。實(shí)際上，JavaScript中還有其它一些類似于toString、toLocaleString和valueOf等等我們可以直接對(duì)Dog.prototype以及Dog的實(shí)例進(jìn)行調(diào)用的方法，但它們統(tǒng)統(tǒng)都不是來自于Dog.prototype的。其實(shí)就象.NET框架具有System.Object一樣，JavaScript中也有Object.prototype，它是所有類的最頂級(jí)的基類。（Object.prototype的原型為null。）

在這個(gè)例子中，請(qǐng)記住Dog.prototype也是一個(gè)對(duì)象。它也是通過對(duì)Object的構(gòu)造函數(shù)進(jìn)行調(diào)用后生成的，雖然這一點(diǎn)在代碼中并不直接出現(xiàn)：

所以，就如同Dog的實(shí)例繼承自Dog.prototype一樣，Dog.prototype繼承自O(shè)bject.prototype。這就使得Dog的所有實(shí)例也都會(huì)繼承Object.prototype的方法和實(shí)例。

每個(gè)JavaScript對(duì)象都會(huì)繼承一個(gè)原型鏈，該鏈的最末端都是Object.prototype。請(qǐng)注意，到此為止你在這里所見到的繼承都是活生生的對(duì)象間的繼承。這同你通常所認(rèn)識(shí)的類在定義時(shí)形成的繼承的概念不同。因此，JavaScript中的繼承要來得更加的動(dòng)態(tài)化。繼承的算法非常簡(jiǎn)單，就是這樣的：當(dāng)你要訪問一個(gè)對(duì)象的屬性/方法時(shí)，JavaScript會(huì)首先對(duì)該屬性/方法是否定義于該對(duì)象之中。如果不是，接下來就要對(duì)該對(duì)象的原型進(jìn)行檢查。如果還沒有發(fā)現(xiàn)相應(yīng)的定義，然后就會(huì)對(duì)該對(duì)象的原型的原型進(jìn)行檢查，并以此類推，直到碰到Object.prototype。圖6所示即為這個(gè)解析過程。

圖6 在原型鏈中對(duì)toString()方法進(jìn)行解析（點(diǎn)擊該圖就可以看到大圖了，譯者注：貌似原文的這個(gè)圖就沒法點(diǎn)擊。）

JavaScript這種動(dòng)態(tài)解析屬性訪問和方法調(diào)用的方式將對(duì)JavaScript帶來一些影響。對(duì)原型對(duì)象的修改會(huì)馬上在繼承它的對(duì)象中得以體現(xiàn)，即使這種修改是在對(duì)象創(chuàng)建后才進(jìn)行的也無關(guān)緊要。如果你在對(duì)象中定義了一個(gè)叫做X的屬性/方法，那么該對(duì)象原型中同名的屬性/方法就會(huì)無法訪問到。例如，你可以通過在Dog.prototype中定義一個(gè)toString方法來對(duì)Object.prototype中的toString方法進(jìn)行重載。所有修改指揮在一個(gè)方向上產(chǎn)生作用，即慈寧宮原型到繼承它的對(duì)象這個(gè)方向，相反則不然。

圖7所示即為這種影響。圖7還演示了如何解決前文碰到的避免不必要的方法實(shí)例問題。不用讓每個(gè)對(duì)象都具有一個(gè)單獨(dú)的方法對(duì)象的實(shí)例，你可以通過將方法放到其原型之中來讓所有對(duì)象共享同一個(gè)方法。此例中，getBreed方法由rover和spot共享 —— 至少直到在spot中重載了getBreed（譯者注：原文為toString，應(yīng)為筆誤）方法之前。spot在重載之后就具有自己版本的getBreed方法，但是rover對(duì)象以及隨后使用new和GreatDane創(chuàng)建的對(duì)象仍將繼承的是定義于GreatDane.prototype對(duì)象的getBreed方法。

圖7  從原型中進(jìn)行繼承

靜態(tài)屬性和方法

有些時(shí)候你會(huì)需要同類而不是實(shí)例捆綁到一起的屬性或方法 —— 也即，靜態(tài)屬性和靜態(tài)方法。在JavaScript中這很容易就能做到，因?yàn)楹瘮?shù)就是對(duì)象，所以可以隨心所欲為其設(shè)置屬性和方法。既然構(gòu)造器函數(shù)在JavaScript代表了類這個(gè)概念，所以你可以通過在構(gòu)造器函數(shù)中設(shè)置屬性和昂奮來為一個(gè)類添加靜態(tài)方法和屬性，就象這樣：

在JavaScript調(diào)用靜態(tài)方法的語法實(shí)際上和C#完全相同。既然構(gòu)造器函數(shù)就是類的名字，所以這也不應(yīng)該有什么奇怪的。這樣你就有了類、共有屬性/方法以及靜態(tài)屬性/方法。你還需要什么呢？當(dāng)然，還需要私有成員。但是，JavaScript并不直接支持私有成員（這方面它也不支持protected成員）。對(duì)象的所以屬性和方法所有人都可以訪問得到。這里有一種在類中定義出私有成員的方法，但要完成這個(gè)任務(wù)就需要首先對(duì)閉包有所了解。 

閉包

我學(xué)JavaScript完全是迫不得已。因?yàn)槲乙庾R(shí)到，不學(xué)習(xí)JavaScript，就無法為在工作中參加編寫真正的AJAX應(yīng)用做好準(zhǔn)備。起初，我有種在程序員的級(jí)別中下降了不少等級(jí)的感覺。（我要學(xué)JavaScript了！我那些使用C++的朋友該會(huì)怎么說我??？）但是一旦我克服了起初的抗拒心理之后，我很快發(fā)現(xiàn)，JavaScript實(shí)際上是一門功能強(qiáng)大、表達(dá)能力極強(qiáng)而且很小巧的語言。它甚至擁有一些其它更加流行的語言才剛剛開始支持的特性。

JavaScript中更加高級(jí)的一個(gè)特性便是它對(duì)閉包的支持，在C# 2.0中是通過匿名方法對(duì)閉包提供支持的。閉包是一種運(yùn)行時(shí)的現(xiàn)象，它產(chǎn)生于內(nèi)部函數(shù)（在C#中成為內(nèi)部匿名方法）本綁定到了其外部函數(shù)的局部變量之上的時(shí)候。顯然，除非內(nèi)部函數(shù)可以通過某種方式在外部函數(shù)之外也可以讓其可以訪問得到，否則這也沒有多大意義。舉個(gè)例子就可以把這個(gè)現(xiàn)象說得更清楚了。

假如你需要基于一個(gè)簡(jiǎn)單評(píng)判標(biāo)準(zhǔn)對(duì)一個(gè)數(shù)字序列進(jìn)行過濾，該標(biāo)準(zhǔn)就是大于100的數(shù)字可以留下，但要把其它的所以數(shù)字都過濾掉。你可以編寫寫一個(gè)如圖8所示的函數(shù)。

圖8 基于謂詞（Predicate）對(duì)元素進(jìn)行過濾

有了這個(gè)函數(shù)你就可以象下面這樣做了：

請(qǐng)注意makeGreaterThanPredicate函數(shù)所返回的內(nèi)部匿名函數(shù)。該匿名內(nèi)部函數(shù)使用了lowerBound，它是傳遞給makeGreaterThanPredicate的一個(gè)參數(shù)。根據(jù)通常的變量范圍規(guī)則，當(dāng)makeGreater­ThanPredicate函數(shù)退出后，lowerBound就離開了它的作用范圍！但是在此種情況下，內(nèi)部匿名函數(shù)仍然還攜帶著它，即使make­GreaterThanPredicate早就退出了也還是這樣。這就是我們稱之為閉包的東西 ——— 因?yàn)閮?nèi)部函數(shù)關(guān)閉著它的定義所在的環(huán)境（也即，外部函數(shù)的參數(shù)和局部變量）。

乍一看，閉包也許沒什么大不了的。但是如果使用得當(dāng)，使用它可以在將你的點(diǎn)子轉(zhuǎn)變?yōu)榇a時(shí)，為你打開很多非常有意思的新思路。在JavaScript中閉包最值得關(guān)注的用途之一就是用它來模擬出類的私有變量。

模擬私有屬性

好的，現(xiàn)在讓我們來看看在閉包的幫助下怎樣才能模擬出私有成員。函數(shù)中的私有變量通常在函數(shù)之外是訪問不到的。在函數(shù)執(zhí)行結(jié)束后，實(shí)際上局部變量就會(huì)永遠(yuǎn)消失。然而，如果內(nèi)部函數(shù)捕獲了局部變量的話，這樣的局部變量就會(huì)繼續(xù)存活下去。 這個(gè)實(shí)情就是在JavaScript中模擬出私有屬性的關(guān)鍵所在。請(qǐng)看下面的Person類：

function Person(name, age) {

    this.getName = function() { return name; };

    this.setName = function(newName) { name = newName; };

    this.getAge = function() { return age; };

    this.setAge = function(newAge) { age = newAge; };

}

參數(shù)name和age對(duì)構(gòu)造器函數(shù)Person來說就是局部變量。一旦Person函數(shù)返回之后，name 和age就應(yīng)該被認(rèn)為永遠(yuǎn)消失了。然而，這兩個(gè)參數(shù)被4個(gè)內(nèi)部函數(shù)捕獲，這些內(nèi)部函數(shù)被賦值為Person實(shí)例的方法了，因此這樣一來就使得name和age能夠繼續(xù)存活下去，但卻被很嚴(yán)格地限制為只有通過這4個(gè)方法才能訪問到它們。所以，你可以這樣做：

var ray = new Person("Ray", 31);

alert(ray.getName());

alert(ray.getAge());

ray.setName("Younger Ray");

// Instant rejuvenation!

ray.setAge(22);

alert(ray.getName() + " is now " + ray.getAge() + 

      " years old.");

function Person(name, age) {

    var occupation;

    this.getOccupation = function() { return occupation; };

    this.setOccupation = function(newOcc) { occupation = 

                         newOcc; };

    // accessors for name and age    

}

要注意的是，這樣的私有成員同我們所認(rèn)為的C#中的私有成員稍有不同。在C#中，類的公開方法可以直接訪問類的私有成員。但是在JavaScript中，私有成員只有通過在閉包中包含有這些私有成員的方法來訪問（這樣的方法通常稱為特權(quán)方法，因?yàn)樗鼈儾煌谄胀ǖ墓_方法）。因此，在Person的公開方法中，你依然可以通過Person的特權(quán)方法方法來訪問私有成員：

Person.prototype.somePublicMethod = function() {

    // doesn’t work!

    // alert(this.name);

    // this one below works

    alert(this.getName());

};

大家廣泛認(rèn)為，Douglas Crockford是第一個(gè)發(fā)現(xiàn)（或者可能說發(fā)表更合適）使用閉包來模擬私有成員的人。他的網(wǎng)站，javascript.crockford.com，包含了JavaScript方面的大量信息 —— 對(duì)JavaScript感興趣的開發(fā)人員都應(yīng)該去他的網(wǎng)站看看。

類的繼承

好的，現(xiàn)在你已經(jīng)看到了如何通過構(gòu)造器函數(shù)和原型對(duì)象在JavaScript中模擬類。你也已經(jīng)了解原型鏈可以確保所有的對(duì)象都能具有Object.prototype中的通用方法。你還看到了如何使用閉包來模擬出私有成員。但是，這里好像還是缺點(diǎn)什么東西。你還沒看到在JavaScript中如何實(shí)現(xiàn)類的繼承；這在C#中可是司空見慣的事情。很不幸，在JavaScript進(jìn)行類的繼承無法象在C#中那樣鍵入一個(gè)冒號(hào)而實(shí)現(xiàn)；在JavaScript中還需要做更多的事情。但從另一方面講，因?yàn)镴avaScript非常靈活，我們有多種途徑實(shí)現(xiàn)類的繼承。

比方說，如圖9所示，你有一個(gè)基類叫Pet，它有一個(gè)派生類叫做Dog。怎樣在JavaScript中實(shí)現(xiàn)這個(gè)繼承關(guān)系呢？Pet類就很簡(jiǎn)單了，你已經(jīng)看到過怎么實(shí)現(xiàn)它了：

圖9 類 

// class Pet

function Pet(name) {

    this.getName = function() { return name; };

    this.setName = function(newName) { name = newName; };

}

Pet.prototype.toString = function() {

    return "This pet’s name is: " + this.getName();

};

// end of class Pet

var parrotty = new Pet("Parrotty the Parrot");

alert(parrotty);

那該如何定義派生自Pet類的Dog類呢？從 圖9中可看出，Dog類具有一個(gè)額外的屬性，breed,，并且它還重載了Pet的toString方法（請(qǐng)注意，avaScript中的方法和屬性命名慣例采用的是駝峰式大小寫方式，即camel case；而C#推薦使用的是Pascal大小寫方式）。 圖10所示即為Pet類的定義實(shí)現(xiàn)方法：

圖10 繼承Pet類

// class Dog : Pet 

// public Dog(string name, string breed)

function Dog(name, breed) {

    // think Dog : base(name) 

    Pet.call(this, name);

    this.getBreed = function() { return breed; };

    // Breed doesn’t change, obviously! It’s read only.

    // this.setBreed = function(newBreed) { name = newName; };

}

// this makes Dog.prototype inherits

// from Pet.prototype

Dog.prototype = new Pet();

// remember that Pet.prototype.constructor

// points to Pet. We want our Dog instances’

// constructor to point to Dog.

Dog.prototype.constructor = Dog;

// Now we override Pet.prototype.toString

Dog.prototype.toString = function() {

    return "This dog’s name is: " + this.getName() + 

        ", and its breed is: " + this.getBreed();

};

// end of class Dog

var dog = new Dog("Buddy", "Great Dane");

// test the new toString()

alert(dog);

// Testing instanceof (similar to the is operator)

// (dog is Dog)? yes

alert(dog instanceof Dog);

// (dog is Pet)? yes

alert(dog instanceof Pet);

// (dog is Object)? yes

alert(dog instanceof Object);

通過正確設(shè)置原型鏈這個(gè)小把戲，就可以同在C#中所期望的那樣，使得instanceof測(cè)試在JavaScript中也能夠正常進(jìn)行。而且如你所愿，特權(quán)方法也能夠正常得以運(yùn)行。

模擬命名空間

在C++和C#中，命名空間用來將命名沖突的可能性減小到最小的程度。例如，在.NET框架中，命名空間可以幫助我們區(qū)分出Microsoft.Build.Task.Message和Sys­tem.Messaging.Message這兩個(gè)類。JavaScript并沒有明確的語言特性來支持命名空間，但使用對(duì)象可以非常容易的模擬出命名空間。比如說你想創(chuàng)建一個(gè)JavaScript代碼庫。不想在全局中定義函數(shù)和類，你就可以將你的函數(shù)和類封裝到如下這樣的命名空間之中：

var MSDNMagNS = {};

MSDNMagNS.Pet = function(name) { // code here };

MSDNMagNS.Pet.prototype.toString = function() { // code };

var pet = new MSDNMagNS.Pet("Yammer");

只有一層命名空間可能會(huì)出現(xiàn)不唯一的請(qǐng)看，所以你可以創(chuàng)建嵌套的命名空間：

var MSDNMagNS = {};

// nested namespace "Examples"

MSDNMagNS.Examples = {}; 

MSDNMagNS.Examples.Pet = function(name) { // code };

MSDNMagNS.Examples.Pet.prototype.toString = function() { // code };

var pet = new MSDNMagNS.Examples.Pet("Yammer");

// MSDNMagNS.Examples and Pet definition...

// think "using Eg = MSDNMagNS.Examples;" 

var Eg = MSDNMagNS.Examples;

var pet = new Eg.Pet("Yammer");

alert(pet);

你要是看一眼Microsoft AJAX代碼庫的源代碼的話，就會(huì)發(fā)現(xiàn)該庫的編寫者也使用了類似的技巧來實(shí)現(xiàn)命名空間（請(qǐng)看靜態(tài)方法Type.registerNamespace的實(shí)現(xiàn)代碼)。這方面更詳細(xì)的信息可參見"OOP and ASP.NET AJAX"的側(cè)邊欄。

你應(yīng)該用這種方式來進(jìn)行JavaScript編程嗎？

如你所見，JavaScript對(duì)面向?qū)ο蟮闹С址浅：?。雖然設(shè)計(jì)為基于原型的語言，但是它足夠靈活也足夠強(qiáng)大，允許你拿它來進(jìn)行通常是出現(xiàn)在其它常用語言中的基于類的編程風(fēng)格。但是問題在于：你是否應(yīng)該以這種方式來進(jìn)行JavaScript編碼嗎？你是否應(yīng)該采用C#或C++的編程方式，采用比較聰明的方式模擬出本來不存在的特性來進(jìn)行JavaScript編程？每種編程語言都互不相同，一種語言的最佳實(shí)踐對(duì)另外一種編程語言來講可能就不實(shí)最佳的了。

你已經(jīng)了解在JavaScript中是對(duì)象繼承自對(duì)象（而非類繼承自類）。所以，讓大量的類使用靜態(tài)的繼承層次結(jié)構(gòu)可能不是JavaScript之道。可能就象Douglas Crockford在他的這篇文章"Prototypal Inheritance in JavaScript"中所說的那樣，JavaScript的編程之道就是創(chuàng)建原型對(duì)象，并使用下面這樣的簡(jiǎn)單的對(duì)象函數(shù)來創(chuàng)建繼承自原對(duì)象的新對(duì)象：

function object(o) {

        function F() {}

        F.prototype = o;

        return new F();

    }

然后，既然JavaScript對(duì)象可塑性很強(qiáng)，你就可以在對(duì)象生成之后，通過為它添加必要的新字段和新方法來增強(qiáng)對(duì)象。

這種做法都很不錯(cuò)，但不可否認(rèn)的是，全世界大多數(shù)開發(fā)者都更加屬性基于類的編程。實(shí)際上，基于類的編程還會(huì)繼續(xù)流行下去。根據(jù)即將發(fā)布的ECMA-262規(guī)范（ECMA-262是JavaScript的官方規(guī)范）的第4個(gè)版本，JavaScript 2.0將具有真正的類。所以說，JavaScript正在逼近基于類的編程語言。然而，JavaScript 2.0要得到廣泛使用可能還需要幾年的時(shí)間。 同時(shí)還有一點(diǎn)也很重要，就是要全面掌握當(dāng)前版本的JavaScript，只有這樣才能讀懂和編寫出基于原型和基于類的這兩種風(fēng)格的JavaScript代碼。

大局觀

隨著交互式、重客戶端AJAX應(yīng)用的普及，JavaScript很快就成為了.NET開發(fā)者工具箱中最有用的工具之一。然而，對(duì)于更加適應(yīng) C++、C#或者Visual Basic等語言的開發(fā)者來講，JavaScript的原型本性一開始會(huì)讓它們感到很不適應(yīng)。我覺得我的JavaScript之旅收獲頗豐，但一直以來也不乏挫折打擊。如果這篇文章能夠幫助你更加順利地進(jìn)步，那么我將倍感欣慰，因?yàn)檫@就是我寫這篇文章的目的所在。

OOP 和 ASP.NET AJAX

ASP.NET AJAX中實(shí)現(xiàn)的OOP同我在這篇文章里討論的規(guī)范的實(shí)現(xiàn)方法稍有不同。這里面主要有兩個(gè)方面的原因：ASP.NET AJAX版的實(shí)現(xiàn)為反射（對(duì)于象xml-scrip這樣的聲明式語法并且為了參數(shù)驗(yàn)證，反射是很有必要的手段）提供了更多的可能，而且ASP.NET AJAX旨在將.NET開發(fā)者所熟悉的其它一些語法結(jié)構(gòu)，比如屬性、事件、枚舉以及接口等翻譯為JavaScript代碼。

在當(dāng)前廣泛可用的版本中，JavaScript缺乏.NET開發(fā)者所熟知的大量OOP方面的概念，ASP.NET AJAX模擬出了其中的大部分概念。

類可用具有基于命名規(guī)范的屬性訪問器（下文中有例子），還可用完全按照.NET所提供的模式進(jìn)行事件多播。私有變量的命名遵從以下劃線打頭的成員就是私有成員這樣的規(guī)范。很少有必要使用真正私有的變量，這個(gè)策略使得我們可用從調(diào)試器中直接查看這種變量。引入接口也是為了進(jìn)行類型檢查，而不是通常的duck-typing（一種類型方案，其基于的概念是，如果有一種東西象鴨子那樣走路并且象鴨子那樣嘎嘎叫，我們就認(rèn)為這種東西是鴨子，或者說可用把這種東西看作鴨子）。

類和反射

注冊(cè)類的層次結(jié)構(gòu)和基類的調(diào)用

MyNamespace.MyClass = function() {

 MyNamespace.MyClass.initializeBase(this);

 this._myProperty = null;

}

然后，你需要在它的原型中定義該類的成員：

MyNamespace.MyClass.prototype = {

 get_myProperty: function() { return this._myProperty;},

 set_myProperty: function(value) { this._myProperty = value; },

 doSomething: function() {

 MyNamespace.MyClass.callBaseMethod(this, "doSomething");

 /* do something more */

 }

}

MyNamespace.MyClass.registerClass(

 "MyNamespace.MyClass ", MyNamespace.BaseClass);