1,typedef不必要?
a,typedef提供了一層間接,面向?qū)ο笳Z言中,接口掩蓋了運行時不同具體類型間的差別,而typedef掩蓋了編譯時不同類型間的差別,卻又不喪失類型安全性
b,一般語言只能返回“值”,而typedef提供了返回“類型”的能力,這是模板元編程不可或缺的機(jī)制,除非模板元編程眼下也是不必要的
2,導(dǎo)入
在不同地點分別對#include,private成員放在頭文件中,inline函數(shù)也放在頭文件中進(jìn)行了批判,實際上原因只有一個:C++不是
平臺,它沒有二進(jìn)制標(biāo)準(zhǔn),它編譯后成為本地代碼,喪失了一切類型信息;只有解決了這個問題,才能解決跟分發(fā)重用導(dǎo)入相關(guān)的各種問題
3,引用是多余的?會被破壞?
a,資源釋放問題引用比指針更明確,即提供原始對象一方負(fù)責(zé)釋放資源,而一旦用指針做接口參數(shù),就需要約定誰來釋放資源
b,空引用在well-formed的程序中是不存在的,因為產(chǎn)生它的唯一方式是提領(lǐng)空指針,而提領(lǐng)空指針是未定義的行為,程序很快就會出錯,而不是像被破壞的指針一樣,有些運算出錯,有些不出,有時出錯,有時不出
C99也加入了對引用的支持
4,直接重復(fù)繼承
C++缺乏Eiffel擁有的“直接重復(fù)繼承”機(jī)制,但假如有的話,語義是什么呢?沒看過Eiffel,不懂
5,多重繼承
論述較為精辟,對多重處理的繼承是C++的軟肋,Java禁止了多重實現(xiàn)繼承,但提供的“單實現(xiàn)繼承+多接口繼承+內(nèi)部類”卻又缺乏靈活性和直觀性
6,內(nèi)部類破壞面向?qū)ο螅科茐膹?fù)用性?
有失公允,除非面向?qū)ο笈懦饷嫦蚪涌冢瑥?fù)用僅止源代碼復(fù)用;1,內(nèi)部類提供更好的封裝性;2,內(nèi)部類經(jīng)過簡單包裝后可以以可執(zhí)行代碼的形式提供面向接口的復(fù)用,一個例子是“List Collections.unmodifiedList(List)”,可用內(nèi)部類優(yōu)雅的實現(xiàn)(不知實際實現(xiàn)如何)
7,virtual/override
C++與C#的做法給了基類作者巨大的責(zé)任,而這些本應(yīng)子類作者承擔(dān);包括C++里的虛基類,子類的變化迫使父類作出改動
8,虛擬類型
文中說C++只提供了參數(shù)化類,沒提供虛擬類型,可從所舉的虛擬類型的例子來看,似乎用前文所鄙視的typedef即可完成,不知是否如此.
9,束縛多態(tài)
在C++里一般稱為模板參數(shù)約束,正考慮加入下版標(biāo)準(zhǔn);但如果只是用在書中所舉例子,模板參數(shù)約束為實現(xiàn)某個接口,那么用接口做為參數(shù)就可以了,為什么還要泛型呢?泛型表達(dá)了一種Concept,泛參檢查也應(yīng)該為Concept Check,而不是Type Check
10,訪問控制
Eiffel對子類訪問權(quán)限不加限制只能算是一個特性,未必是優(yōu)點;基于對復(fù)用的兩種不同理解和側(cè)重,C++和Eiffel選擇了對待子類的兩種不同態(tài)度;對C++私有繼承批評時所舉的例子并不恰當(dāng),造成問題的根源是強(qiáng)制轉(zhuǎn)型,而不是私有繼承
11,展開對象
對“.”和“->”的批評太孤立了,實際上“->”是可重載的操作符,提供了一層間接,利用這層間接可以做很多事情:資源管理,以包容的方式獲得繼承的便利(自動“擁有”被包容對象的方法)等等;Eiffel提供了“展開對象”,不知具體語義如何
12,直接重復(fù)繼承
翻到這里才看到了Eiffel中直接重復(fù)繼承的一種用處:原來是為了在子類中調(diào)用父類同名方法;隨著Precursor加入語言,這種用法也可以被拋棄了
13,抗變與協(xié)變
返回值協(xié)變似乎沒多大問題,參數(shù)抗變似乎也沒多大問題,問題在于參數(shù)協(xié)變;Eiffel提供了Current和like來解決,C++只能期待受束泛型了
14,強(qiáng)制針對接口編程
作者認(rèn)為父類中的public成員在子類中重定義時改為protected或private會帶來協(xié)變問題,其實只要重定義函數(shù)的語義正確,也沒什
么;而且這種變化會帶來另外一種效果:強(qiáng)制針對接口編程;因為此時你的客戶程序員只能通過父類來引用你的子類對象才能訪問重定義的成員
15,垃圾收集
還是那些話題,還是那些論調(diào),還是對內(nèi)存外的資源管理避而不談;難道不能“析構(gòu)函數(shù)+棧對象+堆對象垃圾收集”?C++只不過缺省缺少“堆對象垃圾收集”,智能指針還能撐一會,Java和Eiffel則缺少“棧對象+析構(gòu)函數(shù)”
16,契約式設(shè)計與CORBA IDL
作者認(rèn)為CORBA IDL不支持契約式設(shè)計是一個缺陷,可我從來不敢在我的DCOM,RMI,.Net
Remoting組件中使用斷言,包括最初的socket
server;這可是暴露在網(wǎng)絡(luò)環(huán)境中啊,違反前置條件是要拋異常的啊;WebService稍好一點,明確定義了異常處理,有中間件支持