迭代器(Iterators)

在上面C數組逆向排序的例子中，reverse的參數明顯是double*類型。如果用reverse逆向排序vector或list, 參數又是什么呢？也就是說reverse申明的是什么參數，還有v.begin

()和v.end()返回什么？

答案就是reverse的參數是迭代器(iterators)就是指針對一般化。指針本身就是迭代器，所以reverse可以逆向排序C數組中的元素。類似的，vector申明了嵌套類型iterator和

const_iterator。在上面的例子中，v.begin()和v.end()的返回類型是 vector<int>::iterator。也有一些迭代器，像istream_iterator和ostream_iterator，它們與容器是沒有

關聯的。

迭代器是讓算法與容器分離成為可能：算法是模板，需要被迭代類型參數化使用，所以它們不會限制在某一種容器類型。考慮，例如，如何寫一個算法在一個范圍內進行線性搜索

。下面是STL中find算法。

   template<class InputIterator, class T>
   InputIterator find(InputIterator first, InputIterator last, const T&value)
   {
    while(first != last && *first != value)++first;
        return first;
  }

find函數需要三個參數：兩個迭代器定義一個范圍，還有一個value值查找。它在[first,last)這個范圍內從開始到最后一個一個檢查迭代，當它找到一個迭代指向的值跟我們尋找

的值相同時或者它到達范圍的結束時，就停止查找。
first和last被申明為InputIterator類型，而InputIterator是一個模板參數。也就是說實際上沒有一個類型為InputIterator：當你調用find函數時，編譯器會把形式參數

InputIterator和T替換成實際類型參數。如果find函數的前面兩個參數類型為int*，第三個參數類型為int,那么就像調用下面的函數。
   int* find(int* first, int* last, const int& value)
   {
      while(first != last && *first != value)++first;
      return first;
   }


下一節 《概念與建模》