# re: 泛型程序設(shè)計(jì)是C++的發(fā)展方向或者是出路嗎？ 2007-05-04 16:16 FlyingBear

我覺得《C++設(shè)計(jì)新思維》這本書更像是一篇學(xué)術(shù)論文，它所描述的東西理論價(jià)值更大一些吧，用的時(shí)候就自己看著辦好了，像smartwin里的policy，就算是用得比較成功的例子吧  回復(fù)  更多評(píng)論   

# re: 泛型程序設(shè)計(jì)是C++的發(fā)展方向或者是出路嗎？ 2007-05-04 16:31 空明流轉(zhuǎn)

首先,C++的模板更多的是給庫(kù)設(shè)計(jì)者使用的.現(xiàn)有的模板使用困難的情況主要是由編譯器無法正確良好的定位錯(cuò)誤.對(duì)于一個(gè)庫(kù)的設(shè)計(jì)者,必要的編譯器靈活性是必須的,而且現(xiàn)有模板仍然滿足不了靈活性的要求.所以0x里面還是要推出更加靈活更加泛型化的Concept;
然后,C++的模板被用到現(xiàn)在這個(gè)樣子當(dāng)時(shí)也沒有人預(yù)計(jì)到.最早B.Stroustrup也僅僅是認(rèn)為模板就是附帶了編譯器驗(yàn)證類型的宏而已.metaprogramming完全可以看作是一群無聊的人在無聊的時(shí)候想出來取樂的智力競(jìng)賽題,只是Alexandrescu只是把這個(gè)游戲玩到登峰造極.實(shí)質(zhì)上除了Typelist和自動(dòng)繼承層級(jí)以外,其它的庫(kù),特別是基于策略的思路構(gòu)造的庫(kù),都讓程序庫(kù)的設(shè)計(jì)者大開了眼界,同時(shí)從他的實(shí)際使用情況來看,對(duì)很多問題而言,這種設(shè)計(jì)的適應(yīng)性很好,結(jié)構(gòu)也并不復(fù)雜.再加上未來的0x的語(yǔ)法糖,也會(huì)讓Loki一類的庫(kù)使用起來更加方便.至于他的書的頭幾章節(jié),這種底層的東西總是要有些技巧性的,BOOST的MPL還不是一樣寫的神乎其神的.  回復(fù)  更多評(píng)論   

# re: 泛型程序設(shè)計(jì)是C++的發(fā)展方向或者是出路嗎？ 2007-05-04 19:07 missdeer

Bjarne看了那書也說人家是“too clever”，呵呵
就像前面的老兄說的，模板技術(shù)、泛型編程更多的情況是適用于庫(kù)作者
現(xiàn)在大量的C++庫(kù)，包括Boost、Loki以及很多Language Binding庫(kù)，都用到了書中提到的Policy技術(shù)，確實(shí)解決了以前存在的一些問題  回復(fù)  更多評(píng)論   

# re: 泛型程序設(shè)計(jì)是C++的發(fā)展方向或者是出路嗎？ 2007-05-04 19:32 LOGOS

個(gè)人比較認(rèn)同“基于策略的思路構(gòu)造的庫(kù)”，這也是我期望模板所能帶來的優(yōu)越性。  回復(fù)  更多評(píng)論   

# re: 泛型程序設(shè)計(jì)是C++的發(fā)展方向或者是出路嗎？ 2007-05-28 10:53 longshanks

模板帶來的是強(qiáng)類型的多態(tài)（利用靜多態(tài)）。它的好處就是利用強(qiáng)類型在編譯時(shí)攔截大量的錯(cuò)誤。同時(shí)，類的出現(xiàn)，使得操作成為類型的一部分。強(qiáng)類型化后，不僅僅數(shù)據(jù)結(jié)構(gòu)的邏輯性得到檢驗(yàn)，連施加在這些數(shù)據(jù)上的操作也得到約束。因此，合理地運(yùn)用模板和隨之帶來的強(qiáng)類型多態(tài)，可以使得代碼更高效，更簡(jiǎn)潔，也更安全。
由于業(yè)界的大多數(shù)程序員還在努力消化OOP帶來的技術(shù)革命，還無法理解gp帶來的優(yōu)勢(shì)。不同于OOP，業(yè)界也還沒有出現(xiàn)GP方面完整的理論，所以對(duì)模板及其帶來的好處還未能充分理解。  回復(fù)  更多評(píng)論