1.关于迭代器有关类型的获取与iterator_traits:
有时候可能我们会需要知道迭代器的某些具体有关类型,如:迭代器所指对象的类型,两个迭代器之间距离的类型,迭代器解引用操作结果的类型,迭代器->操作结果的类型,以及迭代器本身的类型(单向,双向等)。因此,不同容器的迭代器都必须支持对上述迭代器有关类型的查询反馈,STL则采用内嵌类型声明的方式来实现对上述类型的返回。其中:
value_type : 迭代器所指对象类型
difference_type :表示迭代器距离的类型
reference_type :迭代器解引用操作结果的类型
point_type :迭代器->操作结果的类型
iterator_category :迭代器类型(由所支持操作决定)
假设有迭代器类型为 MyIter,YouIter,则其对上述类型获取的支持体现为:
template<class T>
struct MyIter
{
typedef T value_type; //内嵌类型声明
typedef ptrdiff_t difference_type;
//...
};
template<class T>
struct YouIter
{
typedef T value_type;
typedef ptrdiff_t difference_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
{
typedef typename Iterator::value_type value_type;
typedef typename Iterator::difference_type difference_type;
typedef typename Iterator::reference_type reference_type;
typedef typename Iterator::point_type point_type;
typedef typename Iterator::iterator_category iterator_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 T value_type;
typedef ptrdiff_t difference_type;
typedef T& reference_type;
typedef T* point_type;
typedef random_access_iterator_tag iterator_category; //随机访问迭代器类型
};
对指向 const 对象的原生指针,也需要进行局部特化处理,将相应类型定义为 const 类型