引用《STL源码剖析》的话说，traits是用来获取迭代器指向的数据类型。

1. 为迭代器增加内嵌数据类型

template<typename T>
class Iterator
{
public:
    typedef T value_type;//内嵌类型声明
    Iterator(T *p = 0) : m_ptr(p) {}
    T& operator*() const { return *m_ptr;}
    //...
 
private:
    T *m_ptr;
};

2. 定义 Iterator_traits

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

3. 使用Iterator_traits 获取迭代器指向的数据类型

template<typename Iterator>
typename Iterator::value_type  //这行是返回类型
func(Iterator iter)
{
    return *iter;
}
 
//通过iterator_traits作用后的版本
template<typename Iterator>
typename iterator_traits<Iterator>::value_type  //这行是返回类型
func(Iterator iter)
{ 
    return *iter;
}

4. Iterator_traits 偏特化

由于原生指针也是一种迭代器，但是raw pointer是没有内嵌类型的。所以对于raw pointer进行特殊处理，也就是偏特化。使得raw pointer也支持iterator_traits。

定义iterator_traits的原生指针偏特化版本。

//iterator_traits的偏特化版本，针对迭代器是个原生指针的情况
template<typename T>
struct iterator_traits<T*>
{
    typedef T value_type;
};

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