最近在看《STL源码剖析》，到了讲iterator_traits的这一节（3.4）。实现它的代码倒是看得懂，但是对它的使用场景却是有点摸不着头脑。
让我先贴一段代码，然后我们再慢慢看。
注意：编译时要把编译器对C++11的支持打开（-std=c++11）
#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 Iter>
void iter_print(const Iter &a, const Iter &b)
{
typedef typename iter_traits<Iter>::value_type T; //此处是关键，请思考一下：如果a，b是指针的话，除了用iter_traits的第二种方式，还有什么办法可以获得a或b所指向的数据的类型？
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;
}
代码要干的活很简单，就是在main里调用iter_print函数来打印一个数组和一个vector<string>的内容。
iter_print是一个模板函数，有两个参数，其类型都是Iter，分别表示区间的开始和结束。（实际上在STL中，类似iter_print的函数有很多，比如sort，copy等等，它们都是模板函数，并且以iterator为参数）。
在iter_print中有一个需求，就是通过Iter来获取它所代表的容器中数据的类型，从而可以定义一个变量key（在这个函数中，key不是必须的，只是以它为例子，说明有这么一个需要）：
T key;
一般的Iterator类中都会定义一个value_type类型（比如vector<string>::iterator这个类中会定义一个value_type，其类型是string），因此，在iter_traits的第一种定义方式中只要通过
typedef typename Iter::value_type value_type;
就可以得到其类型。
但是，iter_print函数的参数还有可能是指针（请回想一下，STL中的sort函数就可以接受两个指针作为参数）。这样一来，第一种定义方式对指针来说就失效了（因为原生指针不是一种类型）。这时，为了能从指针中取得所指向的数据的类型，就要通过第二种定义方式（偏特化）。
通过这两种方法，不论对于iterator也好，还是指针也好，iterator_traits都可以取得其数据类型（其实很大程度上就是为了获取指针所指向的数据的类型，因为对于iterator来说，本来就已经定义了value_type）。