• <ins id="pjuwb"></ins>
    <blockquote id="pjuwb"><pre id="pjuwb"></pre></blockquote>
    <noscript id="pjuwb"></noscript>
          <sup id="pjuwb"><pre id="pjuwb"></pre></sup>
            <dd id="pjuwb"></dd>
            <abbr id="pjuwb"></abbr>

            CG@CPPBLOG

            /*=========================================*/
            隨筆 - 76, 文章 - 39, 評論 - 137, 引用 - 0
            數(shù)據(jù)加載中……

            (ZT)C++批判的批判

            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稍好一點,明確定義了異常處理,有中間件支持


            posted on 2008-06-15 22:14 cuigang 閱讀(171) 評論(0)  編輯 收藏 引用 所屬分類: 轉(zhuǎn)帖

            亚洲国产欧洲综合997久久| 国产日韩久久久精品影院首页| 97久久精品无码一区二区天美| 免费一级欧美大片久久网| 中文字幕久久欲求不满| 国产精品久久午夜夜伦鲁鲁| 中文字幕乱码久久午夜| 亚洲国产视频久久| 久久天天躁狠狠躁夜夜不卡| 色青青草原桃花久久综合| 青草久久久国产线免观| 亚洲人成网站999久久久综合| 久久久久综合国产欧美一区二区 | 中文字幕无码免费久久| 一级做a爰片久久毛片毛片| 精品久久久久成人码免费动漫 | 欧美亚洲另类久久综合婷婷| 国内精品久久久久久中文字幕| 久久国产影院| 一级做a爰片久久毛片毛片| 久久亚洲精品无码VA大香大香| 亚洲精品白浆高清久久久久久| 久久青青草原亚洲av无码app | 91久久精品视频| 伊人久久无码精品中文字幕| 亚洲国产精品无码久久久秋霞2 | 亚洲国产精品婷婷久久| 久久亚洲AV永久无码精品| 亚洲午夜久久久久久噜噜噜| 久久精品aⅴ无码中文字字幕重口| 亚洲狠狠久久综合一区77777 | 久久涩综合| 久久综合香蕉国产蜜臀AV| 9191精品国产免费久久| 综合久久一区二区三区 | 久久夜色撩人精品国产| 久久天天躁夜夜躁狠狠躁2022| 成人妇女免费播放久久久| 久久综合鬼色88久久精品综合自在自线噜噜 | 中文精品久久久久国产网址 | 久久久久亚洲AV片无码下载蜜桃|