最近在看《STL源码剖析》，到了讲iterator_traits的这一节（3.4）。实现它的代码倒是看得懂，但是对它的使用场景却是有点摸不着头脑。

让我先贴一段代码，然后我们再慢慢看。

注意：编译时要把编译器对11的支持打开（-std=11）

#include 
    
     #include 
     
      using namespace std;//第一种方式template 
      
       struct iter_traits//简化版的iterator_traits，只定义了value_type；为了区别于STL中的iterator::traits，名字也改为iter_traits{    typedef typename Iter::value_type value_type;};//第二种方式，偏特化template 
       
        struct iter_traits
        
         {    typedef Type value_type;};template 
         
          void iter_print(const Iter &a, const Iter &b){ typedef typename iter_traits
          
           ::value_type T; //此处是关键，请思考一下：如果a，b是指针的话，除了用iter_traits的第二种方式，还有什么办法可以获得a或b所指向的数据的类型？ T key; Iter p; for(p=a;p!=b;p++) { key = *p; cout << key << ","; } cout <
           
             b{"A","B","C","D","E","F","G"}; iter_print
            
             (a,a+10); iter_print
             
              
               ::iterator>(b.begin(), b.end()); return 0;}
              
             
            
           
          
         
        
       
      
     
    

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;

typedef typename Iter::value_type value_type;

但是，iter_print函数的参数还有可能是指针（请回想一下，STL中的sort函数就可以接受两个指针作为参数）。这样一来，第一种定义方式对指针来说就失效了（因为原生指针不是一种类型）。这时，为了能从指针中取得所指向的数据的类型，就要通过第二种定义方式（偏特化）。

通过这两种方法，不论对于iterator也好，还是指针也好，iterator_traits都可以取得其数据类型（其实很大程度上就是为了获取指针所指向的数据的类型，因为对于iterator来说，本来就已经定义了value_type）。