? ? C++ 的 STL正是依附于模板類(lèi)和模板函數(shù)的機(jī)制建立的窟却，通過(guò)STL,我們可以定制自己需要的數(shù)據(jù)結(jié)構(gòu)和算法遇汞，但是我之前一直不太明白如何通過(guò)STL自由定制想要的對(duì)象未妹，其實(shí)正是一開(kāi)始我沒(méi)了解STL的原理，通過(guò)模板類(lèi)空入，我們可以將內(nèi)建數(shù)據(jù)類(lèi)型（指針數(shù)組..etc）拓展到任意類(lèi)型（stack,stash）络它，通過(guò)這種方法，我們可以得到幾種常用的數(shù)據(jù)結(jié)構(gòu)： String,Vector,Linked List,map,每一個(gè)代表一個(gè)容器類(lèi)（因?yàn)槔^承歪赢，所以類(lèi)之間遵循對(duì)象層次結(jié)構(gòu)）化戳，之前有一個(gè)很有名的筆試題，就是自己實(shí)現(xiàn)類(lèi)String的push函數(shù)和提取函數(shù)埋凯，這些容器類(lèi)內(nèi)部存儲(chǔ)的其實(shí)是復(fù)制來(lái)的對(duì)象指針点楼，底層的數(shù)據(jù)結(jié)構(gòu)其實(shí)就是一些內(nèi)建的數(shù)據(jù)類(lèi)型（一種優(yōu)秀的抽象機(jī)制）扫尖，而再加上一層抽象的話，我們便可以根據(jù)Vector,List等容器掠廓，構(gòu)造自己的容器和算法（迭代器iterator和適配器adaptor）换怖，再一次應(yīng)用模板類(lèi)生成目標(biāo)容器類(lèi)（具體還不太清楚）。
這種通過(guò)模板實(shí)現(xiàn)的泛型機(jī)制和STL却盘，其實(shí)和haskell有點(diǎn)像狰域，雖然兩者語(yǔ)言特性天差地別，但對(duì)于多態(tài)（morphism）的實(shí)現(xiàn)方法和效果黄橘，還是比較類(lèi)似的兆览。haskell中沒(méi)有OO，但通過(guò)類(lèi)型間的繼承塞关，用內(nèi)建數(shù)據(jù)類(lèi)型list（簡(jiǎn)單的拓展類(lèi)型語(yǔ)法糖：pair,turple）構(gòu)造出想要的數(shù)據(jù)類(lèi)型（stack,優(yōu)先級(jí)序列抬探，向量數(shù)組,哈希）（monad applicative functor 上下文環(huán)境 注意haskell中的容器定義可能和C++不太一樣），不同的是monad方法帆赢，haskell想要通過(guò)數(shù)學(xué)概念來(lái)對(duì)客觀事物進(jìn)行盡可能數(shù)學(xué)化小压，公理化地仿真建模，monad模擬了變化的上下文情況（適合一些異常處理）椰于，而類(lèi)型系統(tǒng)模擬了抽象數(shù)學(xué)的幺半子怠益，范疇論，函數(shù)仿射瘾婿，封閉群等概念蜻牢，將不變的程序（函數(shù)式）和變化的程序（monad）分隔開(kāi)，不僅保證了程序的正確性偏陪，還支持了類(lèi)型推導(dǎo)系統(tǒng)的排錯(cuò)抢呆，最近看learn you a haskell for great good時(shí)，在倒數(shù)第二章看到了利用monad對(duì)stack數(shù)據(jù)結(jié)構(gòu)的模擬笛谦，頓時(shí)感覺(jué)很熟悉抱虐。
C++ STL之父stephanov也在《編程原本》里講解了如何用現(xiàn)有的STL數(shù)據(jù)結(jié)構(gòu)和模板類(lèi)，構(gòu)造一些優(yōu)雅的代碼和解決方案饥脑，同樣是對(duì)范疇論等計(jì)算機(jī)科學(xué)涉及到的數(shù)學(xué)機(jī)制的建模恳邀，有人說(shuō)感覺(jué)這樣的代碼很像haskell風(fēng)格，我想說(shuō)好啰，可能對(duì)于泛型的理解轩娶，到這里都匯聚到了源頭吧。
c++的OO對(duì)象層級(jí)關(guān)系樹(shù)其實(shí)和Ruby（Smalltalk）有點(diǎn)像框往，但是因?yàn)橛X(jué)得繁瑣鳄抒，所以很久以來(lái)忽視了C++的一些優(yōu)點(diǎn)，我覺(jué)得可以像javascript那樣，有一本《c++語(yǔ)言精粹》许溅，講述優(yōu)雅的瓤鼻，精華的C++代碼，拋棄過(guò)時(shí)的贤重，繁瑣的茬祷，容易出錯(cuò)的代碼，畢竟感覺(jué)C++還是挺豐富的并蝗，自己掌握的還不足祭犯。Go,Go,fighting!
