const 容器是否只有 const 迭代器？

Question

为什么const STL 容器只返回const_iterators？

例如 std::vector 和 std::list 都具有方法 begin 重载 如：

iterator begin();
const_iterator begin() const;
const_iterator cbegin() const;

我认为我仍然可以修改 const 向量的值，但不能修改向量本身。根据标准库没有区别：

const std::vector<int>

和

const std::vector<const int>

Answer 1

假设你有

iterator begin() const;

而不是

const_iterator begin() const;

现在，想想当你拥有时会发生什么

const vector<Foo> v;

你将能够做类似的事情

*v.begin() = other_foo;

如果您想保留逻辑常量，这当然不合法。因此，解决方案是在 const 实例上调用迭代器时将返回类型设为 const_iterator。

这种情况类似于具有指针成员的const 类。在这些情况下，您可以修改指针指向的数据（但不能修改指针本身），因此不会保留逻辑常量。标准库向前迈进了一步，不允许通过返回 const_iterators 的 const 重载对标准容器进行此类修改。

Answer 2

如果您将向量声明为

const std::vector<int> foo;

那么向量本身就是const，这意味着你不能push_back、erase等。但是，你可以修改它的元素

for (std::vector<int>::iterator it = foo.begin(); it != foo.end(); ++it)
{
    int& x = *it;
    x++;           // This is fine!
}

当你迭代一个向量时，你强制向量的元素是const。所以你可以通过添加和删除东西来修改向量，但你不能修改实际的元素。

std::vector<Foo> values;  // Neither the vector nor its elements are const

for (std::vector<Foo>::const_iterator it = values.cbegin(), it != values.cend(); ++it)
{
    Foo const& foo = *it;         // I may not try to modify foo
    it->CallToNonConstMethod();   // Can't do this either
}