概念和建模(Concepts and Modeling)

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

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

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

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