STL迭代器

参考文章：
C++ traits技术
C++traits技术的理解
《STL源码剖析》学习之traits编程
【STL源码剖析】迭代器

iterator五个typedef：

typedef ptrdiff_t                          difference_type;//两个iterator之间的距离应该用什么样的type表示
typedef std::bidirectional_iterator_tag    iterator_category;//迭代器的特性，是Input Iterator/Output Iterator/Forward Iterator/Bidirectional Iterator/Random-access Iterator中的哪一种
typedef _Tp                                value_type;//元素的类型
typedef _Tp*                               pointer;
typedef _Tp&                               reference;

迭代器本身必须将上述五种东西定义出来，以便在算法中可以被使用。

iterator_traits就是一个中间层，当算法问迭代器定义的上面五种东西时，先问iterator_traits，然后iterator_traits再根据传进来的是指针类型还是迭代器类型进行不同的处理。
如果是迭代器类型，则iterator_traits再问迭代器：

template<class I>
  struct iterator_traits {
    using iterator_category = /* see description */;
    using value_type        = /* see description */;
    using difference_type   = /* see description */;
    using pointer           = /* see description */;
    using reference         = /* see description */;
  };

如果是指针类型，则直接由traits回答。

 
  template<class T>
    requires is_object_v<T>
  struct iterator_traits<T*> {
    using iterator_concept  = contiguous_iterator_tag;
    using iterator_category = random_access_iterator_tag;//如果是指针则迭代器类型为random access iterator
    using value_type        = remove_cv_t<T>;
    using difference_type   = ptrdiff_t;
    using pointer           = T*;
    using reference         = T&;
  };