我从 std::iterator 继承，但编译器无法识别“指针”或“引用”

Question

我正在制作自定义迭代器，但我很困惑 在模板化迭代器实现的情况下，是什么导致编译器无法识别 pointer 或 reference 类型定义。

以下代码编译良好：

#include <iterator>

struct It : std::iterator<std::random_access_iterator_tag, int>
{
    int *v;
    pointer operator-> () { return v; }
    reference operator* () { return *v; }

};

但是一旦我模板化了我的自定义迭代器，我就会得到错误：

#include <iterator>

template <class T>
struct It2 : std::iterator<std::random_access_iterator_tag, T>
{
    T *v;
    pointer operator-> () { return v; }
    reference operator* () { return *v; }

};

whole code here

error: 'pointer' does not name a type
note: (perhaps 'typename std::iterator<std::random_access_iterator_tag, T>::pointer' was intended)
error: 'reference' does not name a type
...

1>为什么编译器看不到std::iterator中包含的pointer和reference定义？

根据note，似乎我不应该打扰使用std::iterator 结构，而是我应该手动复制typedef。 但这似乎太容易出错，以防 iterator 或 iterator_traits 将来获得额外的 typedef。

2。您认为我应该如何处理这些特征的定义（pointer、reference 等）？

Answer 1

1> 为什么编译器看不到 std::iterator 中包含的指针和引用定义？

因为编译器不能排除您尝试提供std::iterator 的特化，其中pointer 和reference 不是类型定义，所以在模板定义时，从属名称永远不能解释为typedef。

2.您认为我应该如何处理这些特征（指针、引用等）的定义？

虽然每次都使用typename 明确限定它们有效，但您可以做的是将它们声明一次，然后在It2 定义的其余部分依赖该声明：

#include <iterator>

template <class T>
struct It2 : std::iterator<std::random_access_iterator_tag, T>
{
    using base = std::iterator<std::random_access_iterator_tag, T>;
    using typename base::pointer;
    using typename base::reference;
    T *v;
    pointer operator-> () { return v; }
    reference operator* () { return *v; }
};

Answer 2

现在您的基类是dependent type，它的成员pointer 和reference 也是。

你需要：

• 向编译器表明这些词是类型
• 向编译器表明这些词是成员类型

你可以轻松做到：

   typename It2::pointer operator-> () { return v; }
   typename It2::reference operator* () { return *v; }
// ^^^^^^^^^^^^^^

为什么？因为 C++ 很古怪，而且非常缺乏表达力。

Answer 3

编译器对错误很清楚：

也许typename std::iterator<std::random_access_iterator_tag, T>::pointer 是故意的

因为pointer 已成为类型相关的名称。