std::vector::push_back致begin/end迭代器地址变化的技术疑问

我正在学习C++迭代器，在实操练习中发现调用std::vector::push_back()后，std::vector::begin()和std::vector::end()返回的迭代器地址会发生变化，导致此前存储的迭代器在进行边界检查等操作时失效。更困惑的是，失效的旧迭代器似乎仍能正确访问元素值。

复现代码 #

#include <cstdio>
#include <vector>

int main()
{
    printf("std vector push back changes begin and end\n");

    auto show_vector_stats = []( std::vector<int> &iras32_source )
    {
        printf("Begin: %p | End: %p | Diff: %d | Size: %d\n", iras32_source.begin(), iras32_source.end(), iras32_source.end() -iras32_source.begin(), iras32_source.size() );
    };

    //Create a vector
    std::vector<int> as32_my_array;
    show_vector_stats( as32_my_array );
    //add first element
    as32_my_array.push_back( 999 );
    show_vector_stats( as32_my_array );
    //Store iterator and index of first element
    int index_first_element = 0;
    std::vector<int>::iterator iterator_first_element = as32_my_array.begin();
    printf("Index from Iterator: %d\n", iterator_first_element -as32_my_array.begin());
    //Store more elements
    as32_my_array.push_back( 2 );
    show_vector_stats( as32_my_array );

    for (int s32_cnt = 0; s32_cnt < 10; s32_cnt++)
    {
        as32_my_array.push_back( 101 +s32_cnt);
    }
    show_vector_stats( as32_my_array );
    //Access by previously stored index and iterators
    printf("Access by index: %d | Address of element: %p\n", as32_my_array[index_first_element], &as32_my_array[index_first_element] );
    printf("Access by iterator: %d | Address of element: %p\n", *iterator_first_element, iterator_first_element );
    printf("Index from Iterator: %d\n", iterator_first_element -as32_my_array.begin());

    return 0;
}

运行输出 #

std vector push back changes begin and end
Begin: 00000000 | End: 00000000 | Diff: 0 | Size: 0
Begin: 00fc1a80 | End: 00fc1a84 | Diff: 1 | Size: 1
Index from Iterator: 0
Begin: 00fc1b70 | End: 00fc1b78 | Diff: 2 | Size: 2
Begin: 00fcac28 | End: 00fcac58 | Diff: 12 | Size: 12
Access by index: 999 | Address of element: 00fcac28
Access by iterator: 999 | Address of element: 00fc1a80
Index from Iterator: -9322

Process returned 0 (0x0)   execution time : 0.050 s
Press any key to continue.

我的疑问：
我原本以为迭代器是索引的现代化替代方案，但存储的旧迭代器与新的begin()计算索引会得到错误结果。文档中未提及push_back可能导致begin()返回不同地址，因此我有以下疑问：迭代器是否仅适用于只读循环？我是否在地址解析上存在错误？

解答 #

核心原因：vector的内存重分配机制 #

std::vector底层是连续的动态数组，当push_back()时如果当前容量不足以容纳新元素，vector会重新分配一块更大的内存空间，把原有的元素全部拷贝/移动到新内存后释放旧内存。这直接导致所有旧迭代器、指针、引用失效——它们指向的是已经被释放的旧内存地址。

旧迭代器仍能访问值的本质 #

这是未定义行为。旧内存被释放后，操作系统不会立即覆盖其内容，短时间内可能还能读到旧值，但这种行为完全不可靠，后续任何内存操作都可能覆盖该区域，引发程序崩溃或异常结果，绝对不能依赖。

针对疑问的解答 #

1. 迭代器并非仅适用于只读循环
   迭代器可用于读写操作，但需保证其生命周期内vector未发生内存重分配。如果要在修改vector后继续使用迭代器，可采取这些方案：

   • 提前用reserve()预分配足够容量，避免后续重分配；
   • 修改后重新获取迭代器（如再次调用begin()）；
   • C++11及以上可使用emplace_back()，但它同样会触发重分配，仅元素构造方式更高效。

2. 地址解析没有错误
   你的输出明确显示了问题：每次push_back触发内存重分配后，vector的begin地址都会变化（从00fc1a80到00fc1b70再到00fcac28）。旧迭代器指向的是已释放的旧内存，和新begin地址计算差值自然会得到错误结果。

补充建议 #

• 牢记：当vector发生内存重分配（push_back/emplace_back/insert等操作可能触发）时，所有已保存的迭代器、指针、引用都会失效；
• 若需保存元素位置，使用索引比迭代器更安全——索引基于元素的相对位置，只要元素未被删除，索引就始终有效；
• 查看容器文档时重点关注「迭代器失效规则」，不同容器的规则差异极大（比如list的迭代器在push_back后不会失效）。

内容的提问来源于stack exchange，提问作者05032 Mendicant Bias