创建 const 迭代器和非 const 迭代器

Question

我正在为一个库编写一个迭代器类（比如MyIterator）。

使用 const 重载是否是个好主意 const MyIterator 的作用类似于std::vector 的const_iterator 而MyIterator 的作用类似于std::vector 的iterator？

图书馆用户/开发者会感到困惑吗？

实现如下：

// std::iterator example
#include <iostream>     // std::cout
#include <iterator>     // std::iterator, std::input_iterator_tag

class MyIterator : public std::iterator<std::input_iterator_tag, int>
{
  mutable int* p;
public:
  MyIterator(int* x) :p(x) {}
  MyIterator(const MyIterator& mit) : p(mit.p) {}
  MyIterator& operator++() {++p;return *this;}
  MyIterator operator++(int) {MyIterator tmp(*this); operator++(); return tmp;}
  bool operator==(const MyIterator& rhs) {return p==rhs.p;}
  bool operator!=(const MyIterator& rhs) {return p!=rhs.p;}
  const int& operator*() const {return *p;} // <-- const overload
  int& operator*() {return *p;}
};

另一种方法是使用模板来实现单个迭代器类，该类可以专门化为 const 和非 const 迭代器。我目前正在这样做（我听说 boost 正在这样做......）。但是，随着我实现范围，然后是范围范围（如基于 for 循环的嵌套范围），模板很快变得复杂。

Answer 1

使用const MyIterator 代替const_MyIterator (const_iterator) 是行不通的，因为const_iterator 并不是一个常量迭代器，而是一个迭代常量元素的迭代器.

此外，对于 const MyIterator，您不能使用修改运算符，例如 ++ 或 --，因为这些是非常量方法，会修改迭代器本身。

因此，如果您想提供某种const_iterator，您将无法实施。

图书馆用户/开发者会感到困惑吗？

最后，回答您的问题：是的，我想是的，因为 const iterator 与 const_iterator 的行为（和期望）不同。