《泛型指标与Traits技术一》.pdfVIP

泛型指標（ Iterators ）與 Traits 技術 1 泛型指標（ Iterators）與 Traits 技術 侯捷 jjhou@.tw 1. 大局觀：泛型程式設計與 STL 2000.02 = 2. 泛型指標（ Iterators）與 Traits 技術 2000.03 3. 泛型容器（ Containers）的應用與實作 2000.04 4. 泛型演算法（ Generic Algorithms）與 Function Objects 2000.05 5. 各色各樣的 Adaptors 2000.06 Iterators （泛型指標）的㆗心觀點就是：如何讓資料結構和演算法兩者之間能夠彼此不互知㆞發展， 而最後又能夠沒有間隙㆞膠合在㆒起。 註 1 ：本文對 iterator 來龍去脈的說明，大量得助於 [Austern99] 。該書頗多筆誤，本文已修正，並附 ㆖㆒個完整範例程式。 2 traits struct C++ struct class 註 ：本文所描述的 技術，大量運用 。 的 幾乎等同於 ，唯㆒差別在於 public class private 其內的存取層級預設為 ，而 內的存取層級預設為 。 ●一個簡易的例子 試看以㆘例子。假設有㆒個搜尋演算法 find() ，以線性搜尋的方式尋找指定的某個元素。這個任務可 輕易以 function tempalte 完成： template class I, class T I find(I first, I last, const T value) { while (first != last *first != value) ++first; return first; } 其㆗ template 參數 I 代表㆒個「類似指標」的東西，T 代表搜尋標的物的型別。由於我們要求 I 具 dereference increment function template 備類似指標的性質，所以它應有提領（ ）、累進（ ）的能力。這個 find() 是㆒個具備泛型概念的演算法。 現在，假設有㆒個原本就已發展好的資料結構 int_node ： struct int_node { int val; int_node* next; }; 如何將這個資料結構套用在㆖述的 find() 演算法當㆗呢？我們需要加㆖㆒層外包裝。事實㆖，這種 2 泛型指標（ Iterators ）與 Traits 技術 「加㆒層間接性」以解決問題的作法，層出不窮㆞出現在電算領域㆗。 我們希望寫出㆒個 wrapper class ，權充 int_node 的指標。當我們對它做提領（dereference ）動作時， int_node increment