`const_iterator` 真的需要是与 `iterator` 不同的类吗？

Question

假设我定义了某种容器A：

struct A
{
    iterator begin(){ return iterator(this,0); }
    const iterator cbegin() const { return iterator(this, last());}
    //...
};

假设现在我要声明iterator（A 的一部分）：

struct A::iterator
{
    iterator ( A* ptr, size_t idx){};
    //...
};

我会使用如下：

const A a;
A::iterator it = a.cbegin();

这不起作用，因为传递给iterator 的构造函数的指针是非常量的。

理想的解决方案是返回一个 const 对象的特定构造函数：

const A::iterator( const StringUtfInterface *p, size_t s); //Not valid

这（显然）在 C++ 中无效。我想知道这个问题的解决方法是什么？

我真的需要声明/定义一个新的 const_iterator 类吗？ const关键字不够用？

---

相关问题（但不一样）：

• Why does C++ not have a const constructor?
• Get iterator for const reference

Answer 1

const关键字不够用？

其实const这个关键词太多了：逼着你写

const A::iterator it = a.cbegin();

这会阻止您以后使用++it。

您需要提供两个单独的类，但这并不意味着您必须编写两次代码。您可以构造迭代器的实现，将完成所有工作的公共类嵌入到常量和非常量迭代器实现中，从而将嵌入式实现的相关方法公开给调用者。

Answer 2

重载iterator的构造函数来支持常量容器怎么样？

struct A::iterator {
    iterator(A* ptr, size_t idx) {}
    iterator(const A* ptr, size_t idx) {}
    //...
};

通过这种方式，无需定义两个单独的类，并且您将始终（隐式）获得正确的迭代器，具体取决于您的容器常量。

更新

在评论之后，您可以使用诸如（未完全实现）之类的模板

struct A {
  template<class T>
  struct base_iterator {
  private:
    T* _ptr;

  public:
    base_iterator(T* ptr, size_t idx) : _ptr(ptr) {}

    T operator*() { return *_ptr; }
    //...
  };

  typedef base_iterator<A> iterator;
  typedef base_iterator<const A> const_iterator;

  iterator begin() { return iterator(this, 0); }
  const_iterator cbegin() const { return const_iterator(this, 0); }
  //...
};