概念和建模(Concepts and Modeling)

任何模板函數(shù)的一個(gè)非常重要的問(wèn)題，不僅僅是關(guān)于STL算法，而是什么類(lèi)型集可以正確的替換形式模板參數(shù)。很明顯，例如，int* 或double*可以替換find函數(shù)的形式模板參數(shù)InputIterator。同樣清楚的是，int或double可能不行：find函數(shù)使用表達(dá)式*first，和用操作符，從而使int類(lèi)型對(duì)象或double類(lèi)型對(duì)象沒(méi)意義。那么基本的答案是，發(fā)現(xiàn)STL隱式定義了一套類(lèi)型的需求，它可以滿(mǎn)足這些要求的實(shí)例。替換InputIterator的任何類(lèi)型必須提供這些操作：它必須能夠比較兩個(gè)對(duì)象是否相等，它必須可以增加該類(lèi)型的一個(gè)對(duì)象，它必須可以通過(guò)該類(lèi)型的引用來(lái)獲得它指向的對(duì)象，依次類(lèi)推。

find函數(shù)并不是STL中有這些需求的唯一的算法；for_each函數(shù)和count函數(shù)，還有其他算法函數(shù)的參數(shù)也必須要滿(mǎn)足這些要求。這些要求相當(dāng)重要，值得我們給它們一個(gè)名字：我們稱(chēng)這種類(lèi)型集的要求為概念(concept)，我們稱(chēng)這個(gè)特定的概念為輸入迭代器(Input Iterator)。一個(gè)類(lèi)型如果滿(mǎn)足了所有這些要求，我們說(shuō)這個(gè)類(lèi)型符合一個(gè)概念，或者說(shuō)是一個(gè)概念模型。我們說(shuō)int*是一個(gè)輸入迭代器(Input Iterator)的模型，因?yàn)閕nt*提供了輸入迭代器的所有要求的操作。

概念不是C++語(yǔ)言的一部分;沒(méi)有辦法在一個(gè)程序中定義一個(gè)或者申明一個(gè)概念模型的特定類(lèi)型。然而，概念是STL的一個(gè)極其重要的組成部分。使用概念(concepts)使得寫(xiě)程序時(shí)有可能把接口從實(shí)現(xiàn)中清楚地分離：find函數(shù)的作者只需要考慮這個(gè)接口符合輸入迭代器(Input Iterator)概念，而不是去實(shí)現(xiàn)每一個(gè)可能的類(lèi)型符合這個(gè)概念。同樣，如果你想使用find函數(shù),你只需要確保你傳遞給他的參數(shù)是輸入迭代(Input Iterator)模型。這就是find函數(shù)和reverse函數(shù)可以用于lists,vector,C數(shù)組，和許多其他類(lèi)型的原因：概念編程，而不是為特定類(lèi)型編程，使得它可以重用軟件組件和結(jié)合這些組件。

下一節(jié) 《改進(jìn)(refinement)》