C++ STL編程輕松入門【轉載】
"什么是STL？"，假如你對STL還知之甚少，那么我想，你一定很想知道這個問題的答案，坦率地講，要指望用短短數言將這個問題闡述清楚，也決非易事。因此，如果你在看完本節之后還是覺得似懂非懂，大可不必著急，在閱讀了后續內容之后，相信你對STL的認識，將會愈加清晰、準確和完整。不過，上述這番話聽起來是否有點像是在為自己糟糕的表達能力開脫罪責呢？:）
不知道你是否有過這樣的經歷。在你準備著手完成數據結構老師所布置的家庭作業時，或者在你為你所負責的某個軟件項目中添加一項新功能時，你發現需要用到一個鏈表(List)或者是映射表（Map）之類的東西，但是手頭并沒有現成的代碼。于是在你開始正式考慮程序功能之前，手工實現List或者Map是不可避免的。于是……，最終你順利完成了任務。或許此時，作為一個具有較高素養的程序員的你還不肯罷休（或者是一個喜歡偷懶的優等生:），因為你會想到，如果以后還遇到這樣的情況怎么辦？沒有必要再做一遍同樣的事情吧！
如果說上述這種情形每天都在發生，或許有點夸張。但是，如果說整個軟件領域里，數十年來確實都在為了一個目標而奮斗--可復用性（reusability），這看起來似乎并不夸張。從最早的面向過程的函數庫，到面向對象的程序設計思想，到各種組件技術（如：COM、EJB），到設計模式（design pattern）等等。而STL也在做著類似的事情，同時在它背后蘊涵著一種新的程序設計思想--泛型化設計（generic programming）。
繼續上面提到的那個例子，假如你把List或者map完好的保留了下來，正在暗自得意。且慢，如果下一回的List里放的不是浮點數而是整數呢？如果你所實現的Map在效率上總是令你不太滿意并且有時還會出些bug呢？你該如何面對這些問題？使用STL是一個不錯的選擇，確實如此，STL可以漂亮地解決上面提到的這些問題，盡管你還可以尋求其他方法。
說了半天，到底STL是什么東西呢？
STL（Standard Template Library），即標準模板庫，是一個具有工業強度的，高效的C++程序庫。它被容納于C++標準程序庫（C++ Standard Library）中，是ANSI/ISO C++標準中最新的也是極具革命性的一部分。該庫包含了諸多在計算機科學領域里所常用的基本數據結構和基本算法。為廣大C++程序員們提供了一個可擴展的應用框架，高度體現了軟件的可復用性。這種現象有些類似于Microsoft Visual C++中的MFC（Microsoft Foundation Class Library），或者是Borland C++ Builder中的VCL(Visual Component Library)，對于此二者，大家一定不會陌生吧。
從邏輯層次來看，在STL中體現了泛型化程序設計的思想（generic programming），引入了諸多新的名詞，比如像需求（requirements），概念（concept），模型（model），容器（container），算法（algorithmn），迭代子（iterator）等。與OOP（object-oriented programming）中的多態（polymorphism）一樣，泛型也是一種軟件的復用技術。
從實現層次看，整個STL是以一種類型參數化（type parameterized）的方式實現的，這種方式基于一個在早先C++標準中沒有出現的語言特性--模板（template）。如果查閱任何一個版本的STL源代碼，你就會發現，模板作為構成整個STL的基石是一件千真萬確的事情。除此之外，還有許多C++的新特性為STL的實現提供了方便。
2 牛刀小試：且看一個簡單例程
2.1 引子
如果你是一個純粹的實用主義者，也許一開始就可以從這里開始看起，因為此處提供了一個示例程序，它可以帶給你有關使用STL的最直接的感受。是的，與其紙上談兵，不如單刀直入，實際操作一番。但是，需要提醒的是，假如你在興致昂然地細細品味本章內容的時候，能夠同時結合前面章節作為佐餐，那將是再好不過的。你會發現，前面所提到的有關STL的那些優點，在此處得到了確切的應證。本章的后半部分，將為你演示在一些主流C++編譯器上，運行上述示例程序的具體操作方法，和需要注意的事項。
2.2 例程實作
非常遺憾，我不得不舍棄"Hello World"這個經典的范例，盡管它不只一次的被各種介紹計算機語言的教科書所引用，幾乎成為了一個默認的“標準”。其原因在于它太過簡單了，以至于不具備代表性，無法展現STL的巨大魅力。我選用了一個稍稍復雜一點的例子，它的大致功能是：從標準輸入設備（一般是鍵盤）讀入一些整型數據，然后對它們進行排序，最終將結果輸出到標準輸出設備（一般是顯示器屏幕）。這是一種典型的處理方式，程序本身具備了一個系統所應該具有的幾乎所有的基本特征：輸入 + 處理 + 輸出。你將會看到三個不同版本的程序。第一個是沒有使用STL的普通C++程序，你將會看到完成這樣看似簡單的事情，需要花多大的力氣，而且還未必沒有一點問題（真是吃力不討好）。第二個程序的主體部分使用了STL特性，此時在第一個程序中所遇到的問題就基本可以解決了。同時，你會發現采用了STL之后，程序變得簡潔明快，清晰易讀。第三個程序則將STL的功能發揮到了及至，你可以看到程序里幾乎每一行代碼都是和STL相關的。這樣的機會并不總是隨處可見的，它展現了STL中的幾乎所有的基本組成部分，盡管這看起來似乎有點過分了。
有幾點是需要說明的：
這個例程的目的，在于向你演示如何在C++程序中使用STL，同時希望通過實踐，證明STL所帶給你的確確實實的好處。程序中用到的一些STL基本組件，比如：vector（一種容器）、sort（一種排序算法），你只需要有一個大致的概念就可以了，這并不影響閱讀代碼和理解程序的含義。
很多人對GUI（圖形用戶界面）的運行方式很感興趣，這也難怪，漂亮的界面總是會令人賞心悅目的。但是很可惜，在這里沒有加入這些功能。這很容易解釋，對于所提供的這個簡單示例程序而言，加入GUI特性，是有點本末倒置的。這將會使程序的代碼量驟然間急劇膨脹，而真正可以說明問題的核心部分確被淹沒在諸多無關緊要的代碼中間（你需要花去極大的精力來處理鍵盤或者鼠標的消息響應這些繁瑣而又較為規范的事情）。即使你有像Borland C++ Builder這樣的基于IDE（集成化開發環境）的工具，界面的處理變得較為簡單了（框架代碼是自動生成的）。請注意，我們這里所談及的是屬于C++標準的一部分（STL的第一個字母說明了這一點），它不涉及具體的某個開發工具，它是幾乎在任何C++編譯器上都能編譯通過的代碼。畢竟，在Microsoft Visual C++和Borland C++ Builder里，有關GUI的處理代碼是不一樣的。如果你想了解這些GUI的細節，這里恐怕沒有你希望得到的答案，你可以尋找其它相關書籍。
2.2.1 第一版：史前時代--轉木取火
在STL還沒有降生的"黑暗時代"，C++程序員要完成前面所提到的那些功能，需要做很多事情（不過這比起C程序來，似乎好一點），程序大致是如下這個樣子的：
// name:example2_1.cpp
// alias:Rubish
#include <stdlib.h>
#include <iostream.h>
int compare(const void *arg1, const void *arg2);
void main(void)
{
const int max_size = 10; // 數組允許元素的最大個數
int num[max_size]; // 整型數組
// 從標準輸入設備讀入整數，同時累計輸入個數，
// 直到輸入的是非整型數據為止
int n;
for (n = 0; cin >> num[n]; n ++);
// C標準庫中的快速排序（quick-sort）函數
qsort(num, n, sizeof(int), compare);
// 將排序結果輸出到標準輸出設備
for (int i = 0; i < n; i ++)
cout << num[i] << "\n";
}
// 比較兩個數的大小，
// 如果*(int *)arg1比*(int *)arg2小，則返回-1
// 如果*(int *)arg1比*(int *)arg2大，則返回1
// 如果*(int *)arg1等于*(int *)arg2，則返回0
int compare(const void *arg1, const void *arg2)
{
return (*(int *)arg1 < *(int *)arg2) ? -1 :
(*(int *)arg1 > *(int *)arg2) ? 1 : 0;
}
這是一個和STL沒有絲毫關系的傳統風格的C++程序。因為程序的注釋已經很詳盡了，所以不需要我再做更多的解釋。總的說來，這個程序看起來并不十分復雜（本來就沒有太多功能）。只是，那個compare函數，看起來有點費勁。指向它的函數指針被作為最后一個實參傳入qsort函數，qsort是C程序庫stdlib.h中的一個函數。以下是qsort的函數原型：
void qsort(void *base, size_t num, size_t width, int (__cdecl *compare )(const void *elem1, const void *elem2 ) );
看起來有點令人作嘔，尤其是最后一個參數。大概的意思是，第一個參數指明了要排序的數組（比如：程序中的num），第二個參數給出了數組的大小（qsort沒有足夠的智力預知你傳給它的數組的實際大小），第三個參數給出了數組中每個元素以字節為單位的大小。最后那個長長的家伙，給出了排序時比較元素的方式（還是因為qsort的智商問題）。
以下是某次運行的結果：
輸入：0 9 2 1 5
輸出：0 1 2 5 9
有一個問題，這個程序并不像看起來那么健壯（Robust）。如果我們輸入的數字個數超過max_size所規定的上限，就會出現數組越界問題。如果你在Visual C++的IDE環境下以控制臺方式運行這個程序時，會彈出非法內存訪問的錯誤對話框。
這個問題很嚴重，嚴重到足以使你開始重新審視這個程序的代碼。為了彌補程序中的這一缺陷。我們不得不考慮采用如下三種方案中的一種：
采用大容量的靜態數組分配。
限定輸入的數據個數。
采用動態內存分配。
第一種方案比較簡單，你所做的只是將max_size改大一點，比如：1000或者10000。但是，嚴格講這并不能最終解決問題，隱患仍然存在。假如有人足夠耐心，還是可以使你的這個經過糾正后的程序崩潰的。此外，分配一個大數組，通常是在浪費空間，因為大多數情況下，數組中的一部分空間并沒有被利用。
再來看看第二種方案，通過在第一個for循環中加入一個限定條件，可以使問題得到解決。比如：for (int n = 0; cin >> num[n] && n < max_size; n ++); 但是這個方案同樣不甚理想，盡管不會使程序崩潰，但失去了靈活性，你無法輸入更多的數。
看來只有選擇第三種方案了。是的，你可以利用指針，以及動態內存分配妥善的解決上述問題，并且使程序具有良好的靈活性。這需要用到new，delete操作符，或者古老的malloc()，realloc()和free()函數。但是為此，你將犧牲程序的簡潔性，使程序代碼陡增，代碼的處理邏輯也不再像原先看起來那么清晰了。一個compare函數或許就已經令你不耐煩了，更何況要實現這些復雜的處理機制呢？很難保證你不會在處理這個問題的時候出錯，很多程序的bug往往就是這樣產生的。同時，你還應該感謝stdlib.h，它為你提供了qsort函數，否則，你還需要自己實現排序算法。如果你用的是冒泡法排序，那效率就不會很理想。……，問題真是越來越讓人頭疼了！
關于第一個程序的討論就到此為止，如果你對第三種方案感興趣的話，可以嘗試著自己編寫一個程序，作為思考題。這里就不準備再浪費筆墨去實現這樣一個讓人不甚愉快的程序了。
我們應該慶幸自己所生活的年代。工業時代，科技的發展所帶來的巨大便利已經影響到了我們生活中的每個細節。如果你還在以原始人類的方式生活著，那我真該懷疑你是否屬于某個生活在非洲或者南美叢林里的原始部落中的一員了，難道是瑪雅文明又重現了？
STL便是這個時代的產物，正如其他科技成果一樣，C++程序員也應該努力使自己適應并充分利用這個"高科技成果"。讓我們重新審視第一版的那個破爛不堪的程序。試著使用一下STL，看看效果如何。
// name:example2_2.cpp
// alias:The first STL program
#include <iostream>
#include <vector>
#include <algorithm>
using namespace std;
void main(void)
{
vector<int> num; // STL中的vector容器
int element;
// 從標準輸入設備讀入整數，
// 直到輸入的是非整型數據為止
while (cin >> element)
num.push_back(element);
// STL中的排序算法
sort(num.begin(), num.end());
// 將排序結果輸出到標準輸出設備
for (int i = 0; i < num.size(); i ++)
cout << num[i] << "\n";
}
這個程序的主要部分改用了STL的部件，看起來要比第一個程序簡潔一點，你已經找不到那個討厭的compare函數了。它真的能很好的運行嗎？你可以試試，因為程序的運行結果和前面的大致差不多，所以在此略去。我可以向你保證，這個程序是足夠健壯的。不過，可能你還沒有完全看明白程序的代碼，所以我需要為你解釋一下。畢竟，這個戲法變得太快了，較之第一個程序，一眨眼的功夫，那些老的C++程序員所熟悉的代碼都不見了，取而代之的是一些新鮮玩意兒。
程序的前三行是包含的頭文件，它們提供了程序所要用到的所有C++特性（包括輸入輸出處理，STL中的容器和算法）。不必在意那個.h，并不是我的疏忽，程序保證可以編譯通過，只要你的C++編譯器支持標準C++規范的相關部分。你只需要把它們看作是一些普通的C++頭文件就可以了。事實上，也正是如此，如果你對這個變化細節感興趣的化，可以留意一下你身旁的佐餐。
同樣可以忽略第四行的存在。加入那個聲明只是為了表明程序引用到了std這個標準名字空間（namespace），因為STL中的那些玩意兒全都包含在那里面。只有通過這行聲明，編譯器才能允許你使用那些有趣的特性。
程序中用到了vector，它是STL中的一個標準容器，可以用來存放一些元素。你可以把vector理解為int [?]，一個整型的數組。之所以大小未知是因為，vector是一個可以動態調整大小的容器，當容器已滿時，如果再放入元素則vector會悄悄擴大自己的容量。push_back是vector容器的一個類屬成員函數，用來在容器尾端插入一個元素。main函數中第一個while循環做的事情就是不斷向vector容器尾端插入整型數據，同時自動維護容器空間的大小。
sort是STL中的標準算法，用來對容器中的元素進行排序。它需要兩個參數用來決定容器中哪個范圍內的元素可以用來排序。這里用到了vector的另兩個類屬成員函數。begin()用以指向vector的首端，而end()則指向vector的末端。這里有兩個問題，begin()和end()的返回值是什么？這涉及到STL的另一個重要部件--迭代器（Iterator），不過這里并不需要對它做詳細了解。你只需要把它當作是一個指針就可以了，一個指向整型數據的指針。相應的sort函數聲明也可以看作是void sort(int* first, int* last)，盡管這實際上很不精確。另一個問題是和end()函數有關，盡管前面說它的返回值指向vector的末端，但這種說法不能算正確。事實上，它的返回值所指向的是vector中最末端元素的后面一個位置，即所謂pass-the-end value。這聽起來有點費解，不過不必在意，這里只是稍帶一提。總的來說，sort函數所做的事情是對那個準整型數組中的元素進行排序，一如第一個程序中的那個qsort，不過比起qsort來，sort似乎要簡單了許多。
程序的最后是輸出部分，在這里vector完全可以以假亂真了，它所提供的對元素的訪問方式簡直和普通的C++內建數組一模一樣。那個size函數用來返回vector中的元素個數，就相當于第一個程序中的變量n。這兩行代碼直觀的不用我再多解釋了。
我想我的耐心講解應該可以使你大致看懂上面的程序了，事實上STL的運用使程序的邏輯更加清晰，使代碼更易于閱讀。試問，有誰會不明白begin、end、size這樣的字眼所表達的含義呢（除非他不懂英語）？試著運行一下，看看效果。再試著多輸入幾個數，看看是否會發生數組越界現象。實踐證明，程序運行良好。是的，由于vector容器自行維護了自身的大小，C++程序員就不用操心動態內存分配了，指針的錯誤使用畢竟會帶來很多麻煩，同時程序也會變得冗長無比。這正是前面第三種方案的缺點所在。
再仔細審視一下你的第一個STL版的C++程序，回顧一下第一章所提到的那些有關STL的優點：易于使用，具有工業強度……，再比較一下第一版的程序，我想你應該有所體會了吧！
事態的發展有時候總會趨向極端，這在那些唯美主義者當中猶是如此。首先聲明，我并不是一個唯美主義者，提供第二版程序的改進版，完全是為了讓你更深刻的感受到STL的魅力所在。在看完第三版之后，你會強烈感受到這一點。或許你也會變成一個唯美主義者了，至少在STL方面。這應該不是我的錯，因為決定權在你手里。下面我們來看看這個絕版的C++程序。
// name:example2_3.cpp
// alias:aesthetic version
#include <iostream>
#include <vector>
#include <algorithm>
#include <iterator>
using namespace std;
void main(void)
{
typedef vector<int> int_vector;
typedef istream_iterator<int> istream_itr;
typedef ostream_iterator<int> ostream_itr;
typedef back_insert_iterator< int_vector > back_ins_itr;
// STL中的vector容器
int_vector num;
// 從標準輸入設備讀入整數，
// 直到輸入的是非整型數據為止
copy(istream_itr(cin), istream_itr(), back_ins_itr(num));
// STL中的排序算法
sort(num.begin(), num.end());
// 將排序結果輸出到標準輸出設備
copy(num.begin(), num.end(), ostream_itr(cout, "\n"));
}
在這個程序里幾乎每行代碼都是和STL有關的（除了main和那對花括號，當然還有注釋），并且它包含了STL中幾乎所有的各大部件（容器container，迭代器iterator, 算法algorithm, 適配器adaptor），唯一的遺憾是少了函數對象（functor）的身影。
還記得開頭提到的一個典型系統所具有的基本特征嗎？--輸入+處理+輸出。所有這些功能，在上面的程序里，僅僅是通過三行語句來實現的，其中每一行語句對應一種操作。對于數據的操作被高度的抽象化了，而算法和容器之間的組合，就像搭積木一樣輕松自如，系統的耦合度被降到了極低點。這就是閃耀著泛型之光的STL的偉大力量。如此簡潔，如此巧妙，如此神奇！就像魔術一般，以至于再一次讓你摸不著頭腦。怎么實現的？為什么在看第二版程序的時候如此清晰的你，又墜入了五里霧中（竊喜）。
請留意此處的標題（唯美主義的杰作），在實際環境中，你未必要做到這樣完美。畢竟美好愿望的破滅，在生活中時常會發生。過于理想化，并不是一件好事，至少我是這么認為的。正如前面提到的，這個程序只是為了展示STL的獨特魅力，你不得不為它的出色表現所折服，也許只有深諳STL之道的人才會想出這樣的玩意兒來。如果你只是一般性的使用STL，做到第二版這樣的程度也就可以了。
實在是因為這個程序太過"簡單"，以至于我無法肯定，在你還沒有完全掌握STL之前，通過我的講解，是否能夠領會這區區三行代碼，我將盡我的最大努力。
前面提到的迭代器可以對容器內的任意元素進行定位和訪問。在STL里，這種特性被加以推廣了。一個cin代表了來自輸入設備的一段數據流，從概念上講它對數據流的訪問功能類似于一般意義上的迭代器，但是C++中的cin在很多地方操作起來并不像是一個迭代器，原因就在于其接口和迭代器的接口不一致（比如：不能對cin進行++運算，也不能對之進行取值運算--即*運算）。為了解決這個矛盾，就需要引入適配器的概念。istream_iterator便是一個適配器，它將cin進行包裝，使之看起來像是一個普通的迭代器，這樣我們就可以將之作為實參傳給一些算法了（比如這里的copy算法）。因為算法只認得迭代器，而不會接受cin。對于上面程序中的第一個copy函數而言，其第一個參數展開后的形式是：istream_iterator(cin)，其第二個參數展開后的形式是：istream_iterator()（如果你對typedef的語法不清楚，可以參考有關的c++語言書籍）。其效果是產生兩個迭代器的臨時對象，前一個指向整型輸入數據流的開始，后一個則指向"pass-the-end value"。這個函數的作用就是將整型輸入數據流從頭至尾逐一"拷貝"到vector這個準整型數組里，第一個迭代器從開始位置每次累進，最后到達第二個迭代器所指向的位置。或許你要問，如果那個copy函數的行為真如我所說的那樣，為什么不寫成如下這個樣子呢？
copy(istream_iterator<int>(cin), istream_iterator<int>(), num.begin());
你確實可以這么做，但是有一個小小的麻煩。還記得第一版程序里的那個數組越界問題嗎？如果你這么寫的話，就會遇到類似的麻煩。原因在于copy函數在"拷貝"數據的時候，如果輸入的數據個數超過了vector容器的范圍時，數據將會拷貝到容器的外面。此時，容器不會自動增長容量，因為這只是簡單地拷貝，并不是從末端插入。為了解決這個問題，另一個適配器back_insert_iterator登場了，它的作用就是引導copy算法每次在容器末端插入一個數據。程序中的那個back_ins_itr(num)展開后就是：back_insert_iterator<int_vector>(num)，其效果是生成一個這樣的迭待器對象。
終于將講完了三分之一（真不容易！），好在第二句和前一版程序沒有差別，這里就略過了。至于第三句，ostream_itr(cout, "\n")展開后的形式是：ostream_iterator(cout, "\n")，其效果是產生一個處理輸出數據流的迭待器對象，其位置指向數據流的起始處，并且以"\n"作為分割符。第二個copy函數將會從頭至尾將vector中的內容"拷貝"到輸出設備，第一個參數所代表的迭代器將會從開始位置每次累進，最后到達第二個參數所代表的迭代器所指向的位置。
這就是全部的內容。
歷史的車輪總是滾滾向前的，工業時代的文明較之史前時代，當然是先進并且發達的。回顧那兩個時代的C++程序，你會真切的感受到這種差別。簡潔易用，具有工業強度，較好的可移植性，高效率，加之第三個令人目眩的絕版程序所體現出來的高度抽象性，高度靈活性和組件化特性，使你對STL背后所蘊含的泛型化思想都有了些微的感受。
真幸運，你可以橫跨兩個時代，有機會目睹這種"文明"的差異。同時，這也應該使你越加堅定信念，使自己順應時代的潮流。
事態的發展有時候總會趨向極端，這在那些唯美主義者當中猶是如此。首先聲明，我并不是一個唯美主義者，提供第二版程序的改進版，完全是為了讓你更深刻的感受到STL的魅力所在。在看完第三版之后，你會強烈感受到這一點。或許你也會變成一個唯美主義者了，至少在STL方面。這應該不是我的錯，因為決定權在你手里。下面我們來看看這個絕版的C++程序。
// name:example2_3.cpp
// alias:aesthetic version
#include <iostream>
#include <vector>
#include <algorithm>
#include <iterator>
using namespace std;
void main(void)
{
typedef vector<int> int_vector;
typedef istream_iterator<int> istream_itr;
typedef ostream_iterator<int> ostream_itr;
typedef back_insert_iterator< int_vector > back_ins_itr;
// STL中的vector容器
int_vector num;
// 從標準輸入設備讀入整數，
// 直到輸入的是非整型數據為止
copy(istream_itr(cin), istream_itr(), back_ins_itr(num));
// STL中的排序算法
sort(num.begin(), num.end());
// 將排序結果輸出到標準輸出設備
copy(num.begin(), num.end(), ostream_itr(cout, "\n"));
}
在這個程序里幾乎每行代碼都是和STL有關的（除了main和那對花括號，當然還有注釋），并且它包含了STL中幾乎所有的各大部件（容器container，迭代器iterator, 算法algorithm, 適配器adaptor），唯一的遺憾是少了函數對象（functor）的身影。
還記得開頭提到的一個典型系統所具有的基本特征嗎？--輸入+處理+輸出。所有這些功能，在上面的程序里，僅僅是通過三行語句來實現的，其中每一行語句對應一種操作。對于數據的操作被高度的抽象化了，而算法和容器之間的組合，就像搭積木一樣輕松自如，系統的耦合度被降到了極低點。這就是閃耀著泛型之光的STL的偉大力量。如此簡潔，如此巧妙，如此神奇！就像魔術一般，以至于再一次讓你摸不著頭腦。怎么實現的？為什么在看第二版程序的時候如此清晰的你，又墜入了五里霧中（竊喜）。
請留意此處的標題（唯美主義的杰作），在實際環境中，你未必要做到這樣完美。畢竟美好愿望的破滅，在生活中時常會發生。過于理想化，并不是一件好事，至少我是這么認為的。正如前面提到的，這個程序只是為了展示STL的獨特魅力，你不得不為它的出色表現所折服，也許只有深諳STL之道的人才會想出這樣的玩意兒來。如果你只是一般性的使用STL，做到第二版這樣的程度也就可以了。
實在是因為這個程序太過"簡單"，以至于我無法肯定，在你還沒有完全掌握STL之前，通過我的講解，是否能夠領會這區區三行代碼，我將盡我的最大努力。
前面提到的迭代器可以對容器內的任意元素進行定位和訪問。在STL里，這種特性被加以推廣了。一個cin代表了來自輸入設備的一段數據流，從概念上講它對數據流的訪問功能類似于一般意義上的迭代器，但是C++中的cin在很多地方操作起來并不像是一個迭代器，原因就在于其接口和迭代器的接口不一致（比如：不能對cin進行++運算，也不能對之進行取值運算--即*運算）。為了解決這個矛盾，就需要引入適配器的概念。istream_iterator便是一個適配器，它將cin進行包裝，使之看起來像是一個普通的迭代器，這樣我們就可以將之作為實參傳給一些算法了（比如這里的copy算法）。因為算法只認得迭代器，而不會接受cin。對于上面程序中的第一個copy函數而言，其第一個參數展開后的形式是：istream_iterator(cin)，其第二個參數展開后的形式是：istream_iterator()（如果你對typedef的語法不清楚，可以參考有關的c++語言書籍）。其效果是產生兩個迭代器的臨時對象，前一個指向整型輸入數據流的開始，后一個則指向"pass-the-end value"。這個函數的作用就是將整型輸入數據流從頭至尾逐一"拷貝"到vector這個準整型數組里，第一個迭代器從開始位置每次累進，最后到達第二個迭代器所指向的位置。或許你要問，如果那個copy函數的行為真如我所說的那樣，為什么不寫成如下這個樣子呢？
copy(istream_iterator<int>(cin), istream_iterator<int>(), num.begin());
你確實可以這么做，但是有一個小小的麻煩。還記得第一版程序里的那個數組越界問題嗎？如果你這么寫的話，就會遇到類似的麻煩。原因在于copy函數在"拷貝"數據的時候，如果輸入的數據個數超過了vector容器的范圍時，數據將會拷貝到容器的外面。此時，容器不會自動增長容量，因為這只是簡單地拷貝，并不是從末端插入。為了解決這個問題，另一個適配器back_insert_iterator登場了，它的作用就是引導copy算法每次在容器末端插入一個數據。程序中的那個back_ins_itr(num)展開后就是：back_insert_iterator<int_vector>(num)，其效果是生成一個這樣的迭待器對象。
終于將講完了三分之一（真不容易！），好在第二句和前一版程序沒有差別，這里就略過了。至于第三句，ostream_itr(cout, "\n")展開后的形式是：ostream_iterator(cout, "\n")，其效果是產生一個處理輸出數據流的迭待器對象，其位置指向數據流的起始處，并且以"\n"作為分割符。第二個copy函數將會從頭至尾將vector中的內容"拷貝"到輸出設備，第一個參數所代表的迭代器將會從開始位置每次累進，最后到達第二個參數所代表的迭代器所指向的位置。
這就是全部的內容。
歷史的車輪總是滾滾向前的，工業時代的文明較之史前時代，當然是先進并且發達的。回顧那兩個時代的C++程序，你會真切的感受到這種差別。簡潔易用，具有工業強度，較好的可移植性，高效率，加之第三個令人目眩的絕版程序所體現出來的高度抽象性，高度靈活性和組件化特性，使你對STL背后所蘊含的泛型化思想都有了些微的感受。
真幸運，你可以橫跨兩個時代，有機會目睹這種"文明"的差異。同時，這也應該使你越加堅定信念，使自己順應時代的潮流。
浙公網安備 33010602011771號