iterator_traits

iterator_traits

一、iterator_traits是什么

我们先用一句话来概括iterator_traits：是一个特性类，用来定义迭代器的属性。
（现在不明白没关系，等读完这篇文章你就会明白这句话的简明扼要）

二、STL中算法与迭代器的关系

一个算法的实现需要迭代器向算法提供这些信息：
（1）difference_type：表示从另一个迭代器减去一个迭代器的结果的类型。
（2）value_type：迭代器可以指向的元素的类型。
（3）pointer：迭代器可以指向的元素的指针类型。
（4）reference：迭代器可以指向的元素的引用类型。
（5）iterator_category：迭代器类别。 可以是以下之一：
input_iterator_tag
output_iterator_tag
forward_iterator_tag
bidirectional_iterator_tag
random_access_iterator_tag
（ 所有前向，双向和随机访问迭代器也是有效的输入迭代器。
不是常量迭代器的所有前向，双向和随机访问迭代器也是有效的输出迭代器。）

三、iterator_traits在算法中充当的角色

我们先来看iterator_traits源码：
（看懂这个源码你首先需要有模板偏特化和typename关键字的使用的知识储备）

template<typename _Iterator>
struct iterator_traits{
	typedef typename _Iterator::iterator_category iterator_category;
	typedef typename _Iterator::value_type        value_type;
	typedef typename _Iterator::difference_type   difference_type;
	typedef typename _Iterator::pointer           pointer;
	typedef typename _Iterator::reference         reference;
};

// Partial specialization for pointer types.
template<typename _Tp>
struct iterator_traits<_Tp*>{
	typedef random_access_iterator_tag iterator_category;
	typedef _Tp                         value_type;
	typedef ptrdiff_t                   difference_type;
	typedef _Tp*                        pointer;
	typedef _Tp&                        reference;
};

// Partial specialization for const pointer types.
template<typename _Tp>
struct iterator_traits<const _Tp*>{
	typedef random_access_iterator_tag iterator_category;
	typedef _Tp                         value_type;
	typedef ptrdiff_t                   difference_type;
	typedef const _Tp*                  pointer;
	typedef const _Tp&                  reference;
};
//ptrdiff_t:基本带符号整数类型之一的别名,能够表示任何有效的指针减法运算的结果,
//所谓有效：指针减法仅保证对指向同一数组元素的指针（或刚好在数组最后一个元素之后的指针,即超尾位置）具有有效的定义值。
//其中要注意：
//template<typename _Tp>
//struct iterator_traits<const _Tp*>{
//	typedef _Tp                         value_type;			//注意这里value_type为_Tp类型，而非const _Tp类型，
//};

iterator_traits在算法中充当的角色：通过使用相应的iterator_traits实例化的成员来将迭代器以上所列的五个信息传递给算法。

例如：

template<typename I,...>
void algorithm(I first,I last,...){
	typename iterator_traits<I>::value_type val;	//val的类型为iterator_traits<I>::value_type
	//...
}

上面的例子就是通过使用iterator_traits获取类型 I 的value_type；

提问：

下面请思考一个提问(对完全理解iterator_traits十分有帮助)：那既然每种迭代器类型，已经定义算法所需要的那五个信息，它们可以将这五个信息直接传递给算法，为什么还要在标准算法用iterator_traits来获取这些迭代器的五个信息呢？（就比如一个vector::iterator，它里面已经定义了value_type的成员类型，还要搞一个iterator_traits来告诉标准算法这个iterator的value_type，这不多此一举吗？）
例子（按照上面的说法，我们在算法中可以这样写）：

template<typename I,...>
void algorithm(I first,I last,...){
	typename I::value_type val;	//val的类型为I::value_type
	//...
}

这时，类型 I 只能为迭代器类型，因为只有迭代器中定义了value_type，那么假如我们要这个算法用于一个数组呢（如：int arr[10]）？这显然不适用了。

解答：

所以我们可以回答刚刚的提问了：这是为了使标准算法也适用于native pointer（普通的指针,int*…），因为native pointer不像iterator一样已经定义算法所需的五个信息，要想标准算法也适用于native pointer，就必须要native pointer提供那五个信息，iterator_traits做的就是这个工作，帮助native pointer 告诉算法那五个信息，这就是iterator_traits关键作用所在。

iterator_traits能够有能力分辨出其获取的是一个native pointer还是一个class iterator，这是利用偏特化(partial specialization)来实现的，又达到将iterator_traits封装为一个class的目的.

(看到这再回过头去看一看iterator_traits的源码中的两个偏特化版本，就会明白它们的作用了)

template <typename Iterator> struct iterator_traits;			//class iterator
template <typename T> struct iterator_traits<T*>;				//native pointer(普通指针)
template <typename T> struct iterator_traits<const T*>;			//const native pointer

四、自定义一个iterator_traits

最后，我们试着来模仿一下iterator_traits(简单起见，只定义成员value_type)

template<typename iter>
struct iter_traits{
	typedef typename iter::value_type        value_type;
};

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

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

//iter_traits向myalgorithm提供了native pointer的value_type的属性
template<typename iter>
void myalgorithm(iter first,iter last){
	typename iterator_traits<iter>::value_type val;
	while(first!=last){
		val=*first;
		cout<<val<<'\t';
		++first;
	}
	cout<<'\n';
}

int main(){
	int ZDD[7]={1,2,3,4,5,6,7};
	vector<int> WSS(begin(ZDD),end(ZDD));
	cout<<"ZDD："<<'\n';
	myalgorithm(ZDD,ZDD+7);
	cout<<"WSS："<<'\n';
	myalgorithm(WSS.begin(),WSS.end());
	//
}

可以看到myalgorithm既适用于vector::iterator，又适用于int*，显示出iterator_traits的强大功能，增加算法通用型，GP编程的思想值得我们深入学习。

完结，谢谢观看！