第三章 迭代器与trait编程技巧

Trait所扮演的角色是特性萃取机的角色，萃取各个迭代器的特性，为了使trait特性有效运作，每一个迭代器必须遵循约定，自行以内嵌型别定义的方式定义出相应型别。根据编译器利用function template的参数推导机制，确定型别。(利用该机制解决参数返回值的型别定义)

template<class Category,class T , class Distance=ptrdiff_t,class Pointer=T*,class  Reference=T&>

struct iterator{  //使用可以看后面的Vector

      typedef   Category  iterator_ategory;

    typedef   T        value_type;

  typedef   Distance  difference_type;

  typedef   Pointer    pointer;

 

 typedef   Reference    reference;

};

template<class Iterator>

struct iterator_traits{      //萃取特性 定义结构方便使用

      typedef   typename Iterator:: iterator_ategory  iterator_ategory; 

    typedef   typename Iterator::value_type      value_type;    

  typedef   typename Iterator:: difference_type  difference_type; 

  typedef   typename Iterator:: pointer         pointer;

  typedef   typename Iterator::reference        reference;

};

     

typename 用意在于告诉编译器这是一个型别，因为在此之前编译器并不知道iterator<T>::value_type代表的是一个型别或者是member function或者是一个data member.

使用方法:

Iterator_traits<int>::value_type ......

由于并非是所有迭代器都是class type，原生指针就不是，就有偏特化版本引出

template<T>

struct iterator_traits<T*>{

      typedef   radom_access_iterator_tag  iterator_ategory;

    typedef   T           value_type;

  typedef   ptrdiff_t     difference_type;

  typedef   const T*     pointer;

  typedef   const T&     reference;

};

template<T>

struct iterator_traits<T*>{

      typedef   radom_access_iterator_tag  iterator_ategory;

    typedef   T           value_type;

  typedef   ptrdiff_t      difference_type;

  typedef   T*          pointer;

  typedef   T&         reference;

};

 

  迭代器的五种分类:

    Input Iterator,Output Iterator,Forward Iterator ,Bidirection Iterator,Random Access Iterator;