一般來(lái)說(shuō)大家比較熟悉的面向?qū)ο蠓绞绞腔陬惖拿嫦驅(qū)ο螅暶饕粋€(gè)類，然后在根據(jù)類聲明的描述去創(chuàng)建對(duì)象，通過(guò)類與類之間的繼承和組合關(guān)系來(lái)復(fù)用代碼。大多數(shù)情況下，基于類的面向?qū)ο笳Z(yǔ)言（C++,C#,Java之類的）都把類整合進(jìn)自己的類型系統(tǒng)，即每個(gè)類（Class）同時(shí)也是一個(gè)變量類型（Variable Type）,并允許子類類型的值被賦值給父類類型變量。
而JS的設(shè)計(jì)采用了一種完全不同的思路。首先JS的類型是不可擴(kuò)展的（就是說(shuō)，語(yǔ)言的使用者無(wú)法添加新的類型）這樣就無(wú)法采用上述語(yǔ)言的做法。根據(jù)語(yǔ)言標(biāo)準(zhǔn)，JS設(shè)計(jì)了6種用戶可以使用的數(shù)據(jù)類型（因?yàn)镴S是弱類型的，所以變量沒有類型，只有數(shù)據(jù)有類型）：
Boolean Number String Null Undefined Object
為了實(shí)現(xiàn)面向?qū)ο螅琂S把所有的對(duì)象放到Object類型中,這樣，JS就有6種用戶可使用的數(shù)據(jù)類型。除了Undefined,JS為所有的類型提供了字面值（literal）語(yǔ)法，現(xiàn)在來(lái)看，JS的Object字面值表示設(shè)計(jì)的相當(dāng)成功，現(xiàn)在甚至成為了一種數(shù)據(jù)交換的格式，這就是大家所熟悉的JSON。A Sample:
var aTShirt={color:"yellow",size:"big"}
作為動(dòng)態(tài)語(yǔ)言，JS允許使用者對(duì)一個(gè)已經(jīng)創(chuàng)建的對(duì)象添加或者刪除屬性。對(duì)一個(gè)不存在的屬性賦值即向其添加屬性，delete關(guān)鍵字被用于刪除屬性。這個(gè)delete比較容易跟C++的delete運(yùn)算符混淆，后者是用來(lái)釋放不再使用的對(duì)象的。
本來(lái)有了這些語(yǔ)法，已經(jīng)可以做基本的面向?qū)ο缶幊塘耍莾H僅如此，JS代碼復(fù)用性比其它語(yǔ)言弱太多。比如，你甚至無(wú)法為一組對(duì)象做一個(gè)統(tǒng)一的操作，必須通過(guò)循環(huán)遍歷來(lái)實(shí)現(xiàn)，于是JS引入了原型（prototype）,具體的實(shí)現(xiàn)方式是為每個(gè)對(duì)象規(guī)定一個(gè)私有屬性[[prototype]]，當(dāng)讀取一個(gè)對(duì)象的屬性時(shí)，如果對(duì)象本身沒有這個(gè)屬性，會(huì)嘗試訪問(wèn)[[prototype]]的相應(yīng)屬性。具體實(shí)現(xiàn)中，[[prototype]]所指向的對(duì)象仍然可以有[[prototype]]，實(shí)際的訪問(wèn)就是一個(gè)鏈?zhǔn)降牟僮鳎钡秸业竭@個(gè)屬性或者[[prototype]]為空為止，所以常常聽到[[prototype]]鏈的說(shuō)法。為了防止[[prototype]]出現(xiàn)循環(huán)，JS引擎會(huì)在任何對(duì)象的[[prototype]]屬性被修改時(shí)檢查。
按照標(biāo)準(zhǔn)，這個(gè)[[prototype]]語(yǔ)言使用者是無(wú)法訪問(wèn)的，不過(guò)FireFox的JS引擎把[[prototype]]暴露出來(lái)，作為公有屬性"__proto__"，這樣，我們就可以通過(guò)操作原型對(duì)象來(lái)控制一組對(duì)象的行為。我們可以借用FF提供的便利來(lái)了解一下[[prototype]]的工作原理：
以下為引用的內(nèi)容：
var proto={a:1};
var m={__proto__:proto};
var n={__proto__:proto};
alert([m.a,n.a]);
proto.a=2;
alert([m.a,n.a]);
JS規(guī)定了一個(gè)內(nèi)建對(duì)象作為所有對(duì)象的最終[[prototype]]，也就是說(shuō)即使用{}創(chuàng)建的對(duì)象，也會(huì)有[[prototype]]指向這個(gè)內(nèi)建對(duì)象。
通過(guò)這個(gè)機(jī)制，我們完全可以得到跟基于類的語(yǔ)言相當(dāng)程度的對(duì)象復(fù)用能力——但是當(dāng)然我們還需要函數(shù)。在JS中，函數(shù)僅僅是一種特殊的對(duì)象，JS設(shè)計(jì)了()運(yùn)算符和function關(guān)鍵字讓JS的函數(shù)看起來(lái)更像是傳統(tǒng)的語(yǔ)言。只要實(shí)現(xiàn)了私有方法[[call]]的對(duì)象都被認(rèn)為是函數(shù)對(duì)象(這個(gè)[[call]]跟大家比較熟悉的Function.prototype.call完全是兩回事)，類似[[prototype]]，[[call]]也是語(yǔ)言使用者完全無(wú)法訪問(wèn)的，這一次FF也沒有為我們提供公有屬性來(lái)替代。
本來(lái)到這里為止，JS的面向?qū)ο笠呀?jīng)很完整了，但是JS為了讓自己的語(yǔ)法看起來(lái)更像是Java之類的語(yǔ)言，又引入了new關(guān)鍵字，在上面大部分語(yǔ)言中new都是針對(duì)類來(lái)做的，而JS沒有類，甚至沒有聲明域，所以這個(gè)new還是要在對(duì)象上做文章，new會(huì)調(diào)用私有方法[[contruct]]，任何實(shí)現(xiàn)了[[construct]]的對(duì)象都可以被new接受。然而如何才能讓一個(gè)對(duì)象可以被new呢？JS并沒有額外提供構(gòu)造這種對(duì)象方法，所以所有通過(guò)function關(guān)鍵字構(gòu)造的函數(shù)對(duì)象被設(shè)計(jì)成實(shí)現(xiàn)了[[construct]]方法。這也就是JS的new很奇怪地針對(duì)函數(shù)的原因。值得一提的是，并非只有函數(shù)可以被new,JS的宿主環(huán)境可能提供一些其它對(duì)象，典型的例子是IE中的ActiveXObject。
所有函數(shù)的[[construct]]方法都是類似的：創(chuàng)建一個(gè)新的對(duì)象，將它的[[prototype]]設(shè)為函數(shù)對(duì)象的共有屬性prototype，以新對(duì)象做為this指針的值，執(zhí)行函數(shù)對(duì)象
這樣對(duì)同一函數(shù)的new運(yùn)算實(shí)際上創(chuàng)建了相似的對(duì)象：擁有共同的原型[[prototype]]，被同一函數(shù)處理過(guò)。這樣的new運(yùn)算就很類似Class了，同時(shí)由于JS的動(dòng)態(tài)性，所有的"類"在運(yùn)行時(shí)任你宰割，想要模擬繼承之類的行為也就很容易了，由于是弱類型且是動(dòng)態(tài)函數(shù)，不存在需要多態(tài)的問(wèn)題，JS完全可以做到基于類的面向?qū)ο蟆?/DIV>
最后提供幾道題，大家茶余飯后寫完程序不妨做做，都做對(duì)說(shuō)明你已經(jīng)理解了protype-based javascript
(請(qǐng)用FF來(lái)看結(jié)果)
以下為引用的內(nèi)容：
Function.prototype.prop=1;
alert(Object.prop)
alert(Function.prop)
Object.prototype.prop=1;
alert(Object.prop)
alert(Function.prop)
Function.__proto__.prop=1;
alert(Object.prop)
alert(Function.prop)
function Class(){
}
Class.prototype=Class;
Class.__proto__.prop=1
alert((new Class).prop);
function Class(){}
Class.prototype=Class.__proto__;
Function.prototype.prop=1;
alert((new Class()).prop)
function Class(){
}
Class.prototype.__proto__.prop=1;
Class.prototype=new Class;
alert((new Class).prop);
該文章在 2010/8/17 23:03:19 編輯過(guò)
400 186 1886
