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