STL源码剖析之traits编程技巧

一、traits编程技巧

在迭代器中，不同数据结构都有其专属的迭代器，不同的迭代器具有不同属性，算法根据迭代器的不同属性自动的选择执行，这其中技术由traits编程技术完成的，它是通过“内嵌类型”与C++template参数推导功能，解决C++类型识别问题。

迭代器所指向对象的型别成为迭代器的value_type。

//内嵌型别处理template<typename T>class Iterator{public:typedef T value_type;//内嵌型别T* m_ptr;Iterator(T *p = 0):m_ptr(p){}~Iterator(){}}//template参数推导template<typename Iterator>  typename Iterator::value_type  //编译期间不知道value_type类型，typename用来指定这是个类型 func(Iterator iter)  {      return *iter;  }  

由于并不是所有迭代器都是class类型，如原生指针，不是class类型的就无法使用内嵌类型，要解决此问题就要引入偏特化的概念。

二、Partial Specialization偏特化

如果一个class template拥有一个以上的template的参数，则可以就其中的参数进行偏特化处理。《泛型思想 》对偏特化的定义如下：针对（任何）template参数进行跟进一步的条件限制所设计出来的特化版本。

//这个泛型版本允许T为任何类型  template<typename T>  class C  {    }; //偏特化版本限制了T为原生指针的类型template<typename T>  class C<T*>   {    };  

有了偏特化的处理，我们还需要迭代器萃取机iterator_traits来进行“萃取”迭代器的特性。

三、迭代器萃取机

template<typename Iterator>  struct iterator_traits  //如果Iterator有定义value_type，那么经过萃取之后的value_type就为Iterator的value_type{      typedef typename Iterator::value_type value_type;  }; 

原生指针的偏特化解决：

template<typename T>  struct iterator_traits<T*>  {      typedef T value_type;  }; 

四、迭代器萃取机定义的类型

tempalte<typename I>  struct iterator_traits  {      typedef typename I::iterator_category iterator_category;      typedef typename I::value_type value_type;      typedef typeanme I:difference_type difference_type;      typedef typename I::pointer pointer;      typedef typename I::reference reference;  }; 

（1）value_type为迭代器所指对象的类别；

（2）different_type用来表示两个迭代器之间的距离。例如STL中count（）返回值就是different_type.

（3）reference为迭代器所指对象的引用。

（4）pointer即为迭代器所指对象。

（5）iterator_category用来表示迭代器移动特性和对迭代器可执行操作。

五、完整的定义

template<typename Category,           typename T,           typename Distance = ptrdiff_t,           typename Pointer = T*,           typename Reference = T&>  struct iterator  {      typedef Category iterator_category;      typedef T value_type;      typedef Distance difference_type;      typedef Pointer pointer;      typedef Reference reference;  };