iterator_traits 存在的作用与意义

1.关于迭代器有关类型的获取与iterator_traits：

有时候可能我们会需要知道迭代器的某些具体有关类型，如：迭代器所指对象的类型，两个迭代器之间距离的类型，迭代器解引用操作结果的类型，迭代器->操作结果的类型，以及迭代器本身的类型（单向，双向等）。因此，不同容器的迭代器都必须支持对上述迭代器有关类型的查询反馈，STL则采用内嵌类型声明的方式来实现对上述类型的返回。其中：

value_type： 迭代器所指对象类型

difference_type：表示迭代器距离的类型

reference_type：迭代器解引用操作结果的类型

point_type：迭代器->操作结果的类型

iterator_category：迭代器类型（由所支持操作决定）

假设有迭代器类型为 MyIter,YouIter，则其对上述类型获取的支持体现为：

template<class T>struct MyIter{typedef Tvalue_type;//内嵌类型声明typedefptrdiff_tdifference_type;//...};template<class T>struct YouIter{typedef Tvalue_type;typedef ptrdiff_tdifference_type;//...}

此时，对与迭代器有关类型的获取(将与迭代器有关，是MyIter还是YouIter)，即可通过下式完成：

template <typename T>void func(MyIter<T>& pointer){typename MyIter<T>::value_type val = *iter;     //注意此处的 typename 不可少//....}template <typename T>void func(YouIter<T>& pointer){typename YouIter<T>::value_type val = *iter;     //注意此处的 typename 不可少//....}

虽然此时能够获取迭代器的相关类型，但是必须知道迭代器（如，到底是 MyIter<T>::value_type 还是 YouIter<T>::value_type），而我们需要的是一个通用的接口IterCommon，使得对任意类型的迭代器Iter，都可以通过定义 IterCommon<Iter> 获取迭代器的相关类型。因此我们定义一个迭代器萃取机（iterator_traits），通过它，再增加一层封装，就可以对任意类型的迭代器获取到所需类型。其实现如下：

template<class Iterator>struct iterator_traits{typedeftypename Iterator::value_typevalue_type;typedef typename Iterator::difference_typedifference_type;typedef typename Iterator::reference_typereference_type;typedef typename Iterator::point_typepoint_type;typedef typename Iterator::iterator_categoryiterator_category;};

通过 iterator_traits 的封装，则对任意类型的迭代器，都可以直接获取相关类型信息，只要传递迭代器即可。而不是确切到具体迭代器。不用再次重载模板函数

template <typename Iterator>void func(Iterator iter){iterator_traits<iter>::value_type val = *iter;}

2.iterator_traits 对内置指针的支持

我们通过在定义迭代器时要求其进行定义内嵌类型，并通过通用接口来访问这些内嵌类型，实现获取迭代器具体类型。但是原生指针（普通指针）不是类类型，无法为其定义内嵌类型，但是STL必须要接收原生指针作为一种迭代器。

为了兼容原生指针，采取对 iterator_traits 的部分特化的方法来支持其相关操作，iterator_traits<T*> 可以指定此时 iterator_traits 的模板类型必须为原生指针类型。具体实现如下：

template<class T>struct iterator_traits < T* >{typedef Tvalue_type;typedef ptrdiff_tdifference_type;typedef T&reference_type;typedef T*point_type;typedef random_access_iterator_tagiterator_category;  //随机访问迭代器类型};

对指向 const 对象的原生指针，也需要进行局部特化处理，将相应类型定义为 const 类型