萃取（traits）

    它主要解決的問題是相應型別（associated type）,迭代器所指之物的型別便是其一。若要以“迭代器所指物件的型別”來宣告一個物件，如果如果沒有traits ，解決辦法是：利用function

template的引數推導（argument deducation）機制。

如圖：

我們以func()為對外介面，卻把實際操作全部置於func_impl()之中，由於func_impl()是一個function template，一旦被呼叫，編譯器會自動進行template引數推導。預算匯出型別T，順利解決問題。但是迭代器相應型別有五種，然而並非任何情況下任何一種都可利用上述的

  上述方法的缺陷是萬一 value type 必須用於函式的返回值，就束手無策了，畢竟函式的“tmplate引數推導機制”推而導之的只是引數，無法推導函式的返回值型別。

我們需要其他方法。宣告內嵌型別似乎是一個好主意，像這樣：

template<class T>
struct MyIter
{	typedef T value_type;
	T*ptr;
	MyIter(T *p= 0):ptr(p){}
	T& operator*()const {return *ptr;}
};

template<class T>
typename T::value_type
	func(T ite){return *ite;}


void main()
{
	MyIter<int> ite(new int(8));
	cout<<func(ite);
}
 

在此列子中，有個隱晦的陷阱：並不是所有的迭代器都是class type。原生指標就不是！

如果不是class type，就無法為它定義內嵌型別。但STL（以及整個泛型思維）絕對接收原生指標作為一種迭代器，所以上面這樣還不夠。有沒有辦法可以讓上述的一般化概念針對特定情況（例如針對原生指標）做特殊處理呢？template partial specialization可以做到。

Partial Specialization（偏特化）的意義：

如果class template 擁有一個以上的template引數，我們可以針對其中某個（或數個，但非全部）template引數進行特化工作。換句話說，我們可以在泛華設計中特工一個特化版本（也就是將泛化版本中的某些

    有了這項利器，我們便可以解決前述“內嵌型別”未能解決的問題。先前的問題是，原生指標並非class，因此無法為它們定義內嵌型別。現在，我們可以針對“迭代器之template引數為指標”者，設計特別版的迭代器。

下面這個class template專門用來“萃取”迭代器的特性，而value type正是迭代器的特性之一：

#include<iostream>
using namespace std;
template<class T>
struct	iterator_traits//traits 意為“特性”
{
	typedef typename I::vlue_type value_type;
};

這個所謂的traits，其意義是，如果I定義自己的value type，那麼通過這個traits的作用，萃取出來的value_type就是I::value_type。換句話說，若果I 定義有自己的value type ，先那個func()可以改寫成這樣：

template <class T>
typename iteraotr_traits<T>::value_type//這一整行是函式返回值
	func(T ite)
{return *ite;}

但這除了多了一層間接性，好處是traits可以擁有特化版本。現在，我們令iterator_traites擁有一個partial specializations如下：

template<class>

struct iterator_traits<T*>

{typedef T value_type;};

於是，原生指標int*雖然不是一種class type ，亦可通過traits 取其value type。這就解決了先前的問題。但是注意針對“指向常數物件的指標（pointer-to-const）”，下面這個式子得到什麼結果：

iterator_traits<const int*>::value_type

獲得的是const int而非int。我們希望利用這種機制來宣告一個暫時變數，使其型別與迭代器的value type相同，而現在，宣告一個無法複製的暫時變數，沒什麼用！因此，如果迭代器是一個pointer-to-const，我們應該設法令其value type為一個non-const型別。只需要另外設計一個特化版本就可以解決問題：

template<class T>
struct iterator_traits<const T*>{//偏特化版—當迭代器是一個pointer-to-const
typedef T value_type;//萃取出來的型別應該是T，而非const T
};

現在，不論面對的是迭代器MyIter，或是原生指標*int 或const int*,都可以通過traits取出正確的（我們所期望的）value type。

下圖說明了traits所扮演的“特性萃取機”角色，萃取各個迭代器的特性。這裡所謂的迭代器特性，指的是迭代器的相應型別。當然，若要這個“特性萃取機”traits嫩夠有效運作，每一個迭代器必須遵守約定，自行以內嵌型別定義的方式定義出相應型別。這是一個約定，誰不遵守約定，誰就不能相容STL這個大家庭。

摘自《STL原始碼剖析》。