参考文章:
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&;
};