如何判断std::vector::begin()迭代器失效？C++扩容规则问询

示例代码 #

#include <iostream>
#include <iterator>
#include <vector>
 
void print(int id, const std::vector<int>& container)
{
    std::cout << id << ". ";
    for (const int x : container)
        std::cout << x << ' ';
    std::cout << '\n';
}
 
int main ()
{
    std::vector<int> c1(3, 100);
    print(1, c1);
 
    auto it = c1.begin();
    it = c1.insert(it, 200);
    print(2, c1);
 
    c1.insert(it, 2, 300);  //ME: why begin() still valid?
    print(3, c1);
 
    // `it` no longer valid, get a new one:
    it = c1.begin();
 
    std::vector<int> c2(2, 400);
    c1.insert(std::next(it, 2), c2.begin(), c2.end());
    print(4, c1);
 
    int arr[] = {501, 502, 503};
    c1.insert(c1.begin(), arr, arr + std::size(arr));
    print(5, c1);
 
    c1.insert(c1.end(), {601, 602, 603});
    print(6, c1);
}

疑问解答 #

1. 先澄清：失效的是旧迭代器it，而非begin()成员函数

你代码里的注释混淆了核心点：std::vector::begin()本身不会失效——它是vector的成员函数，每次调用都会返回指向当前vector首元素的有效迭代器，只要vector对象还存活，调用它就没问题。真正失效的是你之前保存的迭代器副本it。

当执行c1.insert(it, 2, 300)时，如果插入后vector的实际元素数量（size()）超过了当前的内存容量（capacity()），就会触发内存重分配：vector会申请一块更大的新内存，把旧元素迁移过去，然后释放旧内存。这时候所有指向旧内存的迭代器（包括之前的it）都会变成野指针，彻底失效。

2. C++标准对vector重分配时机的严格定义

C++标准明确规定：只有当插入元素后，vector的size()超过当前的capacity()时，才会触发内存重分配。

• size()：vector当前实际存储的元素数量
• capacity()：vector在不重新分配内存的前提下，最多能容纳的元素数量

不同编译器的vector实现可能有不同的扩容策略（比如按2倍或1.5倍扩容），但重分配的触发条件是统一的——仅当size超过capacity时才会发生。

3. 什么时候需要重新获取迭代器？

只要发生以下情况，所有指向vector元素的迭代器、指针、引用都会失效：

• 触发了内存重分配（插入后size > capacity）
• 在vector非末尾位置执行删除操作（比如erase首元素）

如果插入操作没有触发重分配（插入后size ≤ capacity），那么：

• 插入点之前的迭代器仍然有效
• 插入点及之后的迭代器失效

回到示例代码：

• 第一次插入it = c1.insert(it, 200);，insert会返回指向新插入元素的有效迭代器，此时如果没触发重分配，其他迭代器（比如begin()返回的）仍有效，但代码里已经更新了it。
• 第三次插入c1.insert(it, 2, 300)，如果这次插入导致size超过capacity，之前的it就会失效，所以后面必须重新调用c1.begin()获取新的有效迭代器。

总结：只要执行了可能触发重分配的操作，就不要再使用之前保存的迭代器，必须重新获取。如果不确定是否会触发重分配，最稳妥的做法就是每次修改vector后重新获取迭代器。

内容的提问来源于stack exchange，提问作者John