一、为什么需要traits编程技术
前面说了很多关于traits的光荣事迹,但是却一直没有介绍traits究竟是个什么东西,究竟是用来干什么的?traits在英文解释中就是特性,下面将会引入traits技术的作用,一步一步地揭开其神秘的面纱。
1.1 内嵌类型声明
1.1.1 以迭代器所指对象的类型声明局部变量
template<typename Iterator> void func(Iterator iter) { //函数体 }
template<typename Iterator> void func(Iterator iter) { *Iterator var;//这样定义变量可以吗? }
template<typename Iterator, typename T> void func_impl(Iterator iter, T t) { T temp;//这里就解决了问题 //这里做原本func()的工作 } template<typename Iterator> void func(Iterator iter) { func_impl(iter, *iter);//func的工作全部都移到func_impl里面了 } int main(int argc, const char *argv[]) { int i; func(&i); }
函数func作为对外接口,实际的操作却由函数func_impl执行,通过函数func_impl的参数类型推导,获取到Iterator指向对象的类型T,从而解决了问题。
1.1.2 以迭代器所指对象的类型声明返回类型
template<typename Iterator> (*Iterator) func(Iterator iter) { //这样定义返回类型可以吗? }
template<typename T> class Iterator { public: typedef T value_type;//内嵌类型声明 Iterator(T *p = 0) : m_ptr(p) {} T& operator*() const { return *m_ptr;} //... private: T *m_ptr; }; template<typename Iterator> typename Iterator::value_type //以迭代器所指对象的类型作为返回类型,长度有点吓人!!! func(Iterator iter) { return *iter; } int main(int argc, const char *argv[]) { Iterator<int> iter(new int(10)); cout<<func(iter)<<endl; //输出:10 }
函数func()的返回类型前面必须加上关键词typename,原因在本人之前写的“C++模板学习”中也解释过,因为T是一个template参数,编译器在编译实例化func之前,对T一无所知,就是说,编译器并不知道Iterator<T>::value_type是一个类型,或者是一个静态成员函数,还是一个静态数据成员,关键词typename的作用在于告诉编译器这是一个类型,这样才能顺利通过编译。
1.2 原生指针也是一种迭代器
之前在介绍迭代器的分类之时说过,原生指针也是一种迭代器,此时问题就来了,原生指针并不是一种类类型,它是无法定义内嵌类型的。因此,上面的内嵌类型实现还不能完全解决问题,那可不可以针对原生指针做特殊化的处理呢?答案是肯定的,利用模板偏特化就可以做到了。
《泛型思维》一书对模板偏特化的定义是:
//这个泛型版本允许T为任何类型 template<typename T> class C { //... };
我们很容易接受上面的类模板有一个形式如下的偏特化版本:
- templatetypename T>
- class C<T*>
- //...
template<typename T> class C<T*> { //... };
这个特化版本仅适用于T为原生指针的情况,”T为原生指针”就是“T为任何类型”的一个更进一步的条件限制。那如何利用模板偏特化解决原生指针不能内嵌类型的问题呢?下面介绍的iterator_traits就是关键了。
二、迭代器萃取机--iterator_traits
2.1 原生指针并不是一种类类型
template<typename Iterator> struct iterator_traits { typedef typename Iterator::value_type value_type; };
template<typename Iterator> typename Iterator::value_type //这行是返回类型 func(Iterator iter) { return *iter; } //通过iterator_traits作用后的版本 template<typename Iterator> typename iterator_traits<Iterator>::value_type //这行是返回类型 func(Iterator iter) { return *iter; }
//iterator_traits的偏特化版本,针对迭代器是个原生指针的情况 template<typename T> struct iterator_traits<T*> { typedef T value_type; };
//函数版本一 void func(int *ptr) { //... } //函数版本二 void func(const int *ptr) { //... }
以上两个函数虽然函数、形参个数和位置都一样,但它们不是同一个函数,而是函数重载的一种情况,也就是说函数形参的const和非const版本是不一样的,在函数版本一里面,可以修改指针ptr指向的数据,但是在函数版本二里面却不可以,因为传入的指针ptr是一个const指针。由此可以联想到,当将一个const指针作为模板形参传给前面声明的偏特化版本的iterator_traits会有发生什么情况呢?
- iterator_traits<const*>::value_type //获得的value_type是const int,并不是int
iterator_traits<const int*>::value_type //获得的value_type是const int,并不是int
template<typename T> struct iterator_traits<const T*> { typedef T value_type; }
现在,不论是自定义的迭代器,还是原生指针int*或者是const int*,都可以通过iterator_traits获取到正确的value_type。
2.2 iterator_traits中定义的类型
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
value_type就是指迭代器所指对象的类型,例如,原生指针也是一种迭代器,对于原生指针int*,int即为指针所指对象的类型,也就是所谓的value_type。
int array[5] = {1, 2, 3, 4, 5}; int *ptr1 = array + 1;//指向2 int *ptr2 = array + 3;//指向4 ptrdiff_t distance = ptr2 - ptr1;//结果即为difference_type
上面代码中,指针ptr2与ptr1相减的结果的类型就是difference_type,对于原生指针,STL以C++内建的ptrdiff_t作为原生指针的difference_type。
(3) 迭代器类型之三:reference_type
reference_type是指迭代器所指对象的类型的引用,reference_type一般用在迭代器的*运算符重载上,如果value_type是T,那么对应的reference_type就是T&;如果value_type是const T,那么对应的reference_type就是const T&。
(4) 迭代器类型之四:pointer
T& operator*() const { return *ptr; } // T& is reference type T* operator->() const { return ptr; } // T* is pointer type
(5) 迭代器类型之五:iterator_category
iterator_category的作用是标识迭代器的移动特性和可以对迭代器执行的操作,从iterator_category上,可将迭代器分为Input Iterator、Output Iterator、Forward Iterator、Bidirectional Iterator、Random Access Iterator五类,具体为什么要这样分类,简单来说,就是为了尽可能地提高效率,这也是STL的宗旨之一。具体的情况已经在本人的“《STL源码剖析》学习之迭代器”中详细介绍过,这里就不在多说了。
2.3 iterator_traits完整定义
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; };
template <typename T> class ListIter : public std::iterator<std::forward_iterator_tag, T> { //... }
版权声明:本文为博主原创文章,未经博主允许不得转载。