《STL源码剖析》-学习笔记02-traits编程

        traits意为特征，也就是特征萃取，这在泛型编程中能够发挥出很大的作用。

        先看如下代码。

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

        其中第一个类的作用为：在声明下面的模板函数的返回值时，指定返回值类型value_type为类模板I的成员变量（需要这样做的原因是，模板是在编译器具现化之后才能被推导出具体的类型，在此之前编译器并不知道value_type是一个成员变量，成员函数或者其他东西）。

        （根据书中的上下文，ite应该为一个迭代器类。）

        乍一看这样做除了多一层“间接性”，不能有其他的作用了，例如我可以直接像下面这样声明：

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

        但实际上它可以解决以下问题。

        第一，traits可以拥有特化版本，如果我令iterator_traits拥有一个partial specializations，代码声明如下： 

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

        在最上方的代码里，由代码的意思可得我其实是默认了迭代器I为一个“类”，这样才能取到它的成员变量value_type用于指定该迭代器所指向的元素类别，但是迭代器并不一定是类，还有可能是原生指针，原生指针当然是不包含成员变量的。通过这样的partial specializations，如果迭代器是一个原生指针int *，亦可通过traits取到它对应的容器类型。

        第二，若针对指向常数对象指针const int*，则上述函数func返回的是一个const int类型，如果我们想要它返回的不是const int而是int，则可以设计另一个partial specializations。

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

        这样便可以返回一个int类型。

        于是，任何时候我们需要获取迭代器所指向的元素类别，无论该迭代器是否是原生指针，均可通过以下代码获取。

typename iterator_traits<I>::value_type;