c++ - pop_back() 是否真的使 std::vector 上的 *all* 迭代器无效？

Question

std::vector<int> ints;

// ... fill ints with random values

for(std::vector<int>::iterator it = ints.begin(); it != ints.end(); )
{
    if(*it < 10)
    {
        *it = ints.back();
        ints.pop_back();
        continue;
    }
    it++;
}

此代码无效，因为调用 pop_back() 时，它 无效。但我没有找到任何文档讨论 std::vector::pop_back() 中迭代器的失效。

你有相关链接吗？

Answer 1

调用pop_back()删除 vector 中的最后一个元素，因此该元素的迭代器无效。 pop_back() 调用不会使最后一个元素之前的项目的迭代器无效，只有重新分配才会这样做。来自 Josuttis 的“C++ 标准库引用”:

Inserting or removing elements invalidates references, pointers, and iterators that refer to the following element. If an insertion causes reallocation, it invalidates all references, iterators, and pointers.