為了說(shuō)明JavaScript是一門徹底的面向?qū)ο蟮恼Z(yǔ)言，首先有必要從面向?qū)ο蟮母拍钪?探討一下面向?qū)ο笾械膸讉€(gè)概念：

一切事物皆對(duì)象

對(duì)象具有封裝和繼承特性

對(duì)象與對(duì)象之間使用消息通信，各自存在信息隱藏

以這三點(diǎn)做為依據(jù)，C++是半面向?qū)ο蟀朊嫦蜻^(guò)程語(yǔ)言，因?yàn)?，雖然他實(shí)現(xiàn)了類的封裝、繼承和多態(tài)，但存在非對(duì)象性質(zhì)的全局函數(shù)和變量。Java、C#是完全的面向?qū)ο笳Z(yǔ)言，它們通過(guò)類的形式組織函數(shù)和變量，使之不能脫離對(duì)象存在。但這里函數(shù)本身是一個(gè)過(guò)程，只是依附在某個(gè)類上。

然而，面向?qū)ο髢H僅是一個(gè)概念或者編程思想而已，它不應(yīng)該依賴于某個(gè)語(yǔ)言存在。比如Java采用面向?qū)ο笏枷霕?gòu)造其語(yǔ)言，它實(shí)現(xiàn)了類、繼承、派生、多態(tài)、接口等機(jī)制。但是這些機(jī)制，只是實(shí)現(xiàn)面向?qū)ο缶幊痰囊环N手段，而非必須。換言之，一門語(yǔ)言可以根據(jù)其自身特性選擇合適的方式來(lái)實(shí)現(xiàn)面向?qū)ο?。所以，由于大多?shù)程序員首先學(xué)習(xí)或者使用的是類似Java、C++等高級(jí)編譯型語(yǔ)言（Java雖然是半編譯半解釋，但一般做為編譯型來(lái)講解），因而先入為主地接受了“類”這個(gè)面向?qū)ο髮?shí)現(xiàn)方式，從而在學(xué)習(xí)腳本語(yǔ)言的時(shí)候，習(xí)慣性地用類式面向?qū)ο笳Z(yǔ)言中的概念來(lái)判斷該語(yǔ)言是否是面向?qū)ο笳Z(yǔ)言，或者是否具備面向?qū)ο筇匦?。這也是阻礙程序員深入學(xué)習(xí)并掌握J(rèn)avaScript的重要原因之一。

實(shí)際上，JavaScript語(yǔ)言是通過(guò)一種叫做原型（prototype）的方式來(lái)實(shí)現(xiàn)面向?qū)ο缶幊痰?。下面就?lái)討論基于類的（class-based）面向?qū)ο蠛突谠偷?prototype-based)面向?qū)ο筮@兩種方式在構(gòu)造客觀世界的方式上的差別。

基于類的面向?qū)ο蠛突谠偷拿嫦驅(qū)ο蠓绞奖容^

首先，客觀世界中的對(duì)象的產(chǎn)生都是其它實(shí)物對(duì)象構(gòu)造的結(jié)果，而抽象的“圖紙”是不能產(chǎn)生“汽車”的，也就是說(shuō)，類是一個(gè)抽象概念而并非實(shí)體，而對(duì)象的產(chǎn)生是一個(gè)實(shí)體的產(chǎn)生；

其次，按照一切事物皆對(duì)象這個(gè)最基本的面向?qū)ο蟮姆▌t來(lái)看，類(class)本身并不是一個(gè)對(duì)象，然而原型方式中的構(gòu)造器(constructor)和原型(prototype)本身也是其他對(duì)象通過(guò)原型方式構(gòu)造出來(lái)的對(duì)象。

再次，在類式面向?qū)ο笳Z(yǔ)言中，對(duì)象的狀態(tài)(state)由對(duì)象實(shí)例(instance)所持有，對(duì)象的行為方法(method)則由聲明該對(duì)象的類所持有，并且只有對(duì)象的結(jié)構(gòu)和方法能夠被繼承；而在原型式面向?qū)ο笳Z(yǔ)言中，對(duì)象的行為、狀態(tài)都屬于對(duì)象本身，并且能夠一起被繼承（參考資源），這也更貼近客觀實(shí)際。

類式面向?qū)ο笳Z(yǔ)言比如Java，為了彌補(bǔ)無(wú)法使用面向過(guò)程語(yǔ)言中全局函數(shù)和變量的不便，允許在類中聲明靜態(tài)(static)屬性和靜態(tài)方法。而實(shí)際上，客觀世界不存在所謂靜態(tài)概念，因?yàn)橐磺惺挛锝詫?duì)象！如果大家還想了解更多與之有關(guān)的信息，歡迎關(guān)注我們文軍營(yíng)銷的官網(wǎng)。

推薦閱讀