向std::vector插入元素时同时访问是否会导致未定义行为？

之前看到讨论vector插入元素时引用和迭代器会失效，但好奇通过索引访问vector是否会引发未定义行为，同时想确认以下代码的正确性：

std::vector<int> data {0, 1, 2};
// EDIT: Fixing error '... i < data.size(); ...'
for (int i = 0; i < 10; ++i) {
  auto end = data.size();
  // Using 'for (const auto &v : data) {' below seems to be causing segfault
  // on some platforms and not on others, but clearly is wrong use of a reference
  for (int j = 0; j < end; ++j) {
    data.emplace_back(data.at(j) + end);
  }
}

核心结论：这段代码是正确的，索引访问不会引发未定义行为 #

为什么索引访问是安全的？ #

vector的底层是连续内存，当插入元素导致容量不足时，会触发内存重新分配：申请一块更大的新内存，将旧元素拷贝/移动到新内存，再释放旧内存。此时：

• 旧的迭代器、元素引用会失效（因为指向了已释放的旧内存）
• 但索引访问是基于vector当前维护的底层数组，扩容后vector会更新内部的数组指针，data.at(j)或data[j]会直接访问新数组的对应位置，而原来的元素已经被迁移到新数组中。只要j的取值不超过内层循环开始时的end（即当时vector的有效元素范围），就不会出现越界或无效访问的问题。

为什么范围for循环会出问题？ #

用户注释里提到的for (const auto &v : data)本质上依赖迭代器实现：范围for会先获取vector的begin()和end()迭代器，再基于迭代器遍历。如果遍历过程中调用emplace_back触发扩容，所有迭代器都会失效，继续使用失效的迭代器会导致未定义行为（比如段错误），不同平台表现不同正是未定义行为的典型特征。

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