為了說明 JavaScript 是一門徹底的面向?qū)ο蟮恼Z言臂痕,首先有必要從面向?qū)ο蟮母拍钪?, 探討一下面向?qū)ο笾械膸讉€(gè)概念:
- 一切事物皆對象
- 對象具有封裝和繼承特性
- 對象與對象之間使用消息通信伯襟,各自存在信息隱藏
以這三點(diǎn)做為依據(jù),C++ 是半面向?qū)ο蟀朊嫦蜻^程語言握童,因?yàn)槟饭郑m然他實(shí)現(xiàn)了類的封裝、繼承和多態(tài)澡绩,但存在非對象性質(zhì)的全局函數(shù)和變量稽揭。Java、C# 是完全的面向?qū)ο笳Z言肥卡,它們通過類的形式組織函數(shù)和變量溪掀,使之不能脫離對象存在。但這里函數(shù)本身是一個(gè)過程步鉴,只是依附在某個(gè)類上揪胃。
然而,面向?qū)ο髢H僅是一個(gè)概念或者編程思想而已氛琢,它不應(yīng)該依賴于某個(gè)語言存在喊递。
實(shí)際上,JavaScript 語言是通過一種叫做 原型(prototype)的方式來實(shí)現(xiàn)面向?qū)ο缶幊痰难羲啤O旅婢蛠碛懻?基于類的(class-based)面向?qū)ο?/strong>和 基于原型的 (prototype-based) 面向?qū)ο?/strong>這兩種方式在構(gòu)造客觀世界的方式上的差別骚勘。
基于類的面向?qū)ο蠛突谠偷拿嫦驅(qū)ο蠓绞奖容^
在基于類的面向?qū)ο蠓绞街校?strong>對象(object)依靠 類(class)來產(chǎn)生。而在基于原型的面向?qū)ο蠓绞街校?strong>對象(object)則是依靠 構(gòu)造器(constructor)利用 原型(prototype)構(gòu)造出來的撮奏。舉個(gè)客觀世界的例子來說明二種方式認(rèn)知的差異俏讹。例如工廠造一輛車,一方面挽荡,工人必須參照一張工程圖紙藐石,設(shè)計(jì)規(guī)定這輛車應(yīng)該如何制造。這里的工程圖紙就好比是語言中的 類 (class)定拟,而車就是按照這個(gè) 類(class)制造出來的于微;另一方面,工人和機(jī)器 ( 相當(dāng)于 constructor) 利用各種零部件如發(fā)動機(jī)青自,輪胎株依,方向盤 ( 相當(dāng)于 prototype 的各個(gè)屬性 ) 將汽車構(gòu)造出來。
事實(shí)上關(guān)于這兩種方式誰更為徹底地表達(dá)了面向?qū)ο蟮乃枷胙哟埽壳吧杏袪幷摿低蟆5P者認(rèn)為原型式面向?qū)ο笫且环N更為徹底的面向?qū)ο蠓绞剑碛扇缦拢?/p>
首先逆瑞,客觀世界中的對象的產(chǎn)生都是其它實(shí)物對象構(gòu)造的結(jié)果荠藤,而抽象的“圖紙”是不能產(chǎn)生“汽車”的伙单,也就是說,類是一個(gè)抽象概念而并非實(shí)體哈肖,而對象的產(chǎn)生是一個(gè)實(shí)體的產(chǎn)生吻育;
其次,按照一切事物皆對象這個(gè)最基本的面向?qū)ο蟮姆▌t來看淤井,類 (class) 本身并不是一個(gè)對象布疼,然而原型方式中的構(gòu)造器 (constructor) 和原型 (prototype) 本身也是其他對象通過原型方式構(gòu)造出來的對象。
再次币狠,在類式面向?qū)ο笳Z言中游两,對象的狀態(tài) (state) 由對象實(shí)例 (instance) 所持有,對象的行為方法 (method) 則由聲明該對象的類所持有漩绵,并且只有對象的結(jié)構(gòu)和方法能夠被繼承贱案;而在原型式面向?qū)ο笳Z言中,對象的行為渐行、狀態(tài)都屬于對象本身轰坊,并且能夠一起被繼承,這也更貼近客觀實(shí)際祟印。
最后,類式面向?qū)ο笳Z言比如 Java粟害,為了彌補(bǔ)無法使用面向過程語言中全局函數(shù)和變量的不便蕴忆,允許在類中聲明靜態(tài) (static) 屬性和靜態(tài)方法。而實(shí)際上悲幅,客觀世界不存在所謂靜態(tài)概念套鹅,因?yàn)橐磺惺挛锝詫ο螅《谠褪矫嫦驅(qū)ο笳Z言中汰具,除內(nèi)建對象 (build-in object) 外卓鹿,不允許全局對象、方法或者屬性的存在留荔,也沒有靜態(tài)概念吟孙。所有語言元素 (primitive) 必須依賴對象存在。但由于函數(shù)式語言的特點(diǎn)聚蝶,語言元素所依賴的對象是隨著運(yùn)行時(shí) (runtime) 上下文 (context) 變化而變化的杰妓,具體體現(xiàn)在 this 指針的變化。正是這種特點(diǎn)更貼近 “萬物皆有所屬碘勉,宇宙乃萬物生存之根本”的自然觀點(diǎn)巷挥。