概念和建模(Concepts and Modeling)

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

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

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

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