概念和建模(Concepts and Modeling)

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

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

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

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