iterator_trait 的典型用例有哪些

Question

我是 C++ 新手，所以请耐心等待。我正在尝试理解 STL iterator_traits。在《C++ 标准库》一书中，结构体 iterator_traits 定义如下：

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

所以在我看来，它正在重新公开 T 已经公开的子类型。更进一步，本书给出了如何使用它的示例，如下所示

template <class MyIterator>
void do_something(MyIterator start, MyIterator end) {
    typedef typename iterator_traits<MyIterator>::value_type value_type; 
    value_type v = *start;
    .....
}

我的问题是，如果我的想法是获取 ，为什么这里需要这个 iterator_traits 结构value_type，我不能直接从MyIterator获取它吗？我的困惑似乎源于我（肯定不正确）的理解，即子类型的信息必须源自用于实例化 iterator_trait 的 template。因此，如果您能解释一下，最好用一个例子来解释为什么以及在哪里需要 iterator_traits，那将非常有帮助。

Answer 1

指向数组的指针可以用作随机访问迭代器。

需要有一些一致的方法来获取指针（显然不能将类型声明为嵌套类型，因为只有类可以具有嵌套类型）和类类型迭代器的这些类型。 Traits 类模板提供了这种一致的方式。

iterator_traits 类模板专门用于指针，如下所示：

template <typename T>
struct iterator_traits<T*>
{
    typedef std::random_access_iterator_tag iterator_category;
    typedef T                               value_type;
    typedef T*                              pointer;
    typedef T&                              reference;
    typedef std::ptrdiff_t                  difference_type;
};