STL中的iterator traits

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

value_type ： 迭代器所指对象类型

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

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

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

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

其中，value_type 表示迭代器所指对象的类型；
difference_type 表示两个迭代器直接的距离，即两个迭代器之间有多少个这种类型的空间；
reference_type 为引用类型；
point_type 为指针类型；
iterator_category 为迭代器的类型，分为5种类型

input_iterator：这种迭代器所指对象，不允许外界改变，只读（read only）
output_iterator：唯写（write only）
forward_iterator：允许「写入型」算法（例如 replace()）在此种迭代器所形成的区间上做读写动作，如forward_list容器的迭代器
bidirectional_iterator：可双向移动，某些算法需要逆向走访某个迭代器区间（例如逆向拷贝某范围内的元素），就可以使用 bidirectional_iterators，如双向链表、set的迭代器为这种类型
random_access_iterator：前四种迭代器都只供应一部份指标算术能力（前3种支持 operator++ ，第4种再加上 operator--），第5种则涵盖所有指标算术能力，包括 p+n, p-n, p[n], p1-p2, p1<p2，这种迭代器具有随机访问的能力，比如vector、array、deque容器的迭代器为这种类型

iterator trait则是C++中的“类型萃取机”，能够获取模板中的数据的类型，并且利用模板的偏特化功能，也能将萃取机作用于普通类型。为什么需要这个东西呢？比如，STL中的一些排序算法函数接受的参数是迭代器类型，那么排序时，假如是冒泡排序，我们需要定义一个中间变量完成排序的过程，那么中间变量的类型如何得到？这时就是萃取机的作用了。

#include <iostream>
#include <vector>
using namespace std;
//第一种方式
template<class Iter>
struct iter_traits  //简化版的iterator_traits，只定义了value_type；为了区别于STL中的iterator::traits，名字改为iter_traits
{
    typedef typename Iter::value_type value_type;
};

//第二种方式，偏特化
template<class Type>
struct iter_traits<Type *> {
    typedef Type value_type;
};

template<class Type>
struct iter_traits<const Type *> {
    typedef Type value_type;
};


template<class Iter>
void iter_print(const Iter &a, const Iter &b) {
    //此处是关键，请思考一下：如果a，b是指针的话，除了用iter_traits的第二种方式，还有什么办法可以获得a或b所指向的数据的类型？
    typedef typename iter_traits<Iter>::value_type T;
    T key;
    Iter p;
    for (p = a; p != b; p++) {
        key = *p;
        cout << key << ", ";
    }
    cout << endl;
}

int main() {
    int a[10] = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10};
    vector<string> b{"A", "B", "C", "D", "E", "F", "G"};

    iter_print<int *>(a, a + 10);
    iter_print<vector<string>::iterator>(b.begin(), b.end());
    return 0;
}

输出：
1, 2, 3, 4, 5, 6, 7, 8, 9, 10,
A, B, C, D, E, F, G,