《STL源码剖析》之Traits

不论是泛型思维或STL的实际运用，迭代器都扮演着重要的角色。STL的中心思想在于：将数据容器和算法分开，彼此独立设计，最后再以一帖强力胶将他们粘在一起。容器和算法的泛型化，从技术角度来看，并不困难，C++的 class templates和function templates可分别达成目标。而迭代器正是这一帖强力胶。

但是，在实现泛型算法的时候，虽然有template，但是对于同一功能，不同迭代器类型，可能具有不同的操作。比如vector的迭代器进行递增与list的迭代器进行递增的内部实现是不一样的，所以我们需要知道迭代器的相应型别，即迭代器所属的类型。

1、迭代器相应型别

假设算法中有必要声明一个变量，以“迭代器所指对象的型别”为型别，这该如何解决？C++只支持sizeof()，并不支持typeof()。解决办法是：利用function template的参数推导机制。例如：

template <class I, class T>
void func_impl(I iter, T t)
{
    T temp;
    cin>>temp;
    cout<<temp<<endl;
}

template <class I>
inline void func(I iter)
{
    func_impl(iter, *iter);
}

int main()
{
    int i;
    func(&i);
    return 0;
}

我们以func()为对外接口，却把实际操作都放在func_impl()中，顺利解决问题。

2、Traits编程技法——STL源代码门钥

迭代器所指对象的型别，称为该迭代器的value type。上述的参数型别推导技巧并非全面可用：万一value type用于函数的返回值，就束手无策，毕竟函数的“template 参数推导机制”针对的只是参数。我们可以利用“声明内嵌型别”：

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

注意，func()的返回类型必须加上typename，因为I是一个template参数，在它被编译器具体化之前，编译器对T一无所知，关键字typename的用意在于告诉编译器这是一个型别，才能顺利编译通过。

看起来不错，两个问题都解决了，但是不是所有的迭代器都是class type。比如原生指针就不是。如果不是class type，就无法为它定义内嵌型别，这个问题可以用template中的Partial Specialization（模板特例化）来解决。

（1）函数模板特例化：关键字template后跟一个“<>”

template<typename T>
int compare(const  T&, const T&);
template<>
int compare(const char* const &p1, const char* const &p2);

（2）类模板特例化：

template<>
struct foo<int>{};

Partial specialization的定义是：针对template参数更进一步的条件限制所设计出来的一个特化版本。比如，面对以下这么一个class template:

template<typename T>
class c{};

我们很容易接受它有一个形式如下的partial specialization：

template<typename T>
class c<T*>{};

有了这个，我们便可以解决前面提到的“内嵌类型”不能解决的问题。下面进入关键地带，下面这个class template专门用来“萃取”迭代器的特性，而value type正是迭代器的特性之一：

template <class I>
struct iterator_traits
{
    typedef typename I::value_type value_type;
}

那么先前定义的那个func()可以改写成：

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

但这除了多一层间接性，又带来什么好处呢？好处是traits可以拥有特化版本，现在，我们令iterator_traites拥有一个partial specializations如下：

template <class T>
struct iterator_traits<T*>
{
    typedef T value_type;
}

于是，原生指针 int* 虽然不是一种class type，亦可通过traits取其value type。解决了先前的问题。

但是，针对“指向常数对象的指针”，下面这个式子得到什么结果：

iterator_traits<const int*>::value_type

获得的是const int而非int。针对这种情况，我们需要另外特例化一个版本。

最常用的迭代器相应型别有五种：value type、difference type、pointer、reference、iterator catagoly。