Boolan C++ 第九周 iterator_traits的使用

当算法传入迭代器参数的时候，算法需要迭代器的一些类型数据，所以萃取器就代替迭代器对算法做出响应

template
inline void
rotate(_ForwardIterator __first,
        _ForwardIterator __middle,
        _ForwardIterator __last)
        {
            ...
            std::__rotate(__first,__middle,__last,
                        std::_iterator_category(_first));//__rotate，是内部实现的函数
        }

实际的调用需要知道迭代器的类型，所以算法需要迭代器萃取器做出回应，返回迭代器类型

template
inline typename iterator_traits<_Iter>::iterator_category
    _iterator_category(const _Iter&)
    {
        return typename iterator_traits<_Iter>::iterator_category;
    }

通过迭代器生成iterator_traits,可以获得迭代器五个associated types

//list 的迭代器 assoatied types
template
struct _List_iterator
{
    typedef std::didirectional_iterator_tag iterator_category;
    typedef _Tp         value_type;
    typedef _Tp*        pointer;
    typedef _Tp&        reference;
    typedef ptrdiff_t   difference_type;
};

但是对于萃取器来说，若是连续空间存储的容器，内部的迭代器和普通类型的指针是相同的，所以萃取器对于传入普通指针也需要相应的转换，但是不同的是迭代器是一种class，而普通指针只是一种普通指针，所以萃取器会使用到偏特化（partial specialization)

template
struct iterator_traits
{
    typedef typename T::value_type          value_type;   
    typedef typename T::difference_type     difference_type 
    typedef typename T:pointer              pointer
    typedef typename T::reference           reference
    typedef typename T::iterator_category   iterator_category
};

template
struct iterator_traits  //native pointer的偏特化
{
    typedef T                               value_type;
    typedef std::ptrdiff_t                  difference_type
    typedef T*                              pointer
    typedef T&                              reference
    typedef std::random_access_iterator_tag iterator_category

};

template
struct iterator_traits //const native pointer的偏特化
{
    typedef T                               value_type;
    typedef std::ptrdiff_t                  difference_type
    typedef T*                              pointer
    typedef T&                              reference
    typedef std::random_access_iterator_tag iterator_category
};

此处const T *的value_type不是 const T,而是 T,是因为我们需要value_type声明变量，若是常量变量则无法赋值，所以必须使用非常量变量。
所以不管是迭代器还是普通指针，都可以通过萃取器获得associated types，所以提供给算法的接口就是一致的（这也是范式编程的思想）。