C++学习19：迭代器深度探索之iterator_traits

在上一节C++学习18：容器深度探索之list中我们初步了解了迭代器，知道了迭代器的操作符重载，也就是“移动”和“取值”的源码实现。下面我们进一步学习迭代器，了解迭代器的众多typedef包含的traits。

1 traits

所谓traits，可以理解为“萃取机”。作用就是：你丢给他什么东西，他会给你拿出你想要的特性。

迭代器的特性：iterator_traits<>

2 迭代器的属性

迭代器是沟通算法和容器的桥梁。一方面让算法知道所要处理的范围，另一方面可以取出容器中的数据。
以rotate算法为例，我们来看看算法需要迭代器的哪些属性。

1、iterator_category：根据调用关系，我们看出首先需要得到iterator_category，即迭代器的分类。它所谓的分类是他的移动性质，有的iterator只能++，甚至可以跳着加，而有的可以后退。
2、difference_type：回答两个iterator中间的距离需要用什么类型来表现。即如果容器不大，int即可，如果容器很大，可能需要long。
3、value_type：需要回答容器中存的类型，即迭代器所指元素的类型。

综上，每一个算法需要迭代器回答这三个问题，（还有两个未出现过的reference和pointer）如下图所示。

3 迭代器的traits

只有class才能typedef，而迭代器是泛化的指针。为了回答前一页的问题，traits就需要进行如下设计：

Traits要先区分是否为class的迭代器。如果是，则可以直接回答算法的问题，如果否，则应用traits作为中介，来回答这一问题。而这个中介以如下方式设计：