C++ STL中const_iterator和非const迭代器之间有什么区别？

Question

a const_iterator和an 之间的区别是什么iterator？你在哪一个使用另一个？

Answer 1

const_iterators不允许你改变他们指向的值,常规iterators.

与C++中的所有内容一样,总是更喜欢const,除非有充分的理由使用常规迭代器(即您希望使用它们不会const更改指向值的事实).

Answer 2

它们几乎应该是不言自明的.如果迭代器指向类型为T的元素,则const_iterator指向"const T"类型的元素.

它基本上等同于指针类型:

T* // A non-const iterator to a non-const element. Corresponds to std::vector<T>::iterator
T* const // A const iterator to a non-const element. Corresponds to const std::vector<T>::iterator
const T* // A non-const iterator to a const element. Corresponds to std::vector<T>::const_iterator

const迭代器总是指向同一个元素,因此迭代器本身就是const.但它指向的元素不一定是const,所以它指向的元素可以改变.const_iterator是指向const元素的迭代器,因此虽然可以更新迭代器本身(例如递增或递减),但它指向的元素不能更改.

Answer 3

不幸的是,STL容器的很多方法都使用迭代器而不是const_iterators作为参数.所以,如果你有一个const_iterator,你不能说"在这个迭代器指向的元素之前插入一个元素"(在我看来,这样的事情在概念上不是一个const违规).如果你想要这样做,你必须使用std :: advance()或boost :: next()将它转换为非const迭代器.例如.boost :: next(container.begin(),std :: distance(container.begin(),the_const_iterator_we_want_to_unconst)).如果container是std :: list,那么该调用的运行时间将为O(n).

因此,在STL容器方面,将const添加到任何"逻辑"的通用规则都不太通用.

但是,boost容器需要const_iterators(例如boost :: unordered_map :: erase()).因此,当您使用增强容器时,您可以"持久".顺便问一下,有人知道STL容器是否或何时会被修复？

Answer 4

最小的可运行示例

非常量迭代器允许您修改它们指向的内容：

std::vector<int> v{0};
std::vector<int>::iterator it = v.begin();
*it = 1;
assert(v[0] == 1);

Const 迭代器不会：

const std::vector<int> v{0};
std::vector<int>::const_iterator cit = v.begin();
// Compile time error: cannot modify container with const_iterator.
//*cit = 1;

如上所示，v.begin()被const重载，并根据容器变量的常量性返回iterator或返回const_iterator：

• begin() 如何知道要返回哪种返回类型（常量或非常量）？
• const 和非常量函数的重载如何工作？

const_iterator弹出的常见情况是 whenthis在const方法中使用：

class C {
    public:
        std::vector<int> v;
        void f() const {
            std::vector<int>::const_iterator it = this->v.begin();
        }
        void g(std::vector<int>::const_iterator& it) {}
};

const使thisconst，这使this->vconst。

您通常可以使用 忘记它auto，但是如果您开始传递这些迭代器，您将需要为方法签名考虑它们。

就像 const 和非常量一样，您可以轻松地从非常量转换为 const，但不能反过来：

std::vector<int> v{0};
std::vector<int>::iterator it = v.begin();

// non-const to const.
std::vector<int>::const_iterator cit = it;

// Compile time error: cannot modify container with const_iterator.
//*cit = 1;

// Compile time error: no conversion from const to no-const.
//it = ci1;

使用哪一个：类似于const intvs int：只要你可以使用 const 迭代器（当你不需要用它们修改容器时），就更喜欢它们，以更好地记录你的阅读意图而无需修改。

Answer 5

尽可能使用const_iterator,在没有其他选择时使用迭代器.