Iterator_traits

原文地址

最近在看《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;  

typedef typename Iter::value_type value_type;

就可以得到其类型。

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

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