能否在范围for循环中修改std::vector？相关未定义行为疑问

给定代码：

std::vector<int> v = {1, 2, 3, 4, 5};

for (auto & i : v)
{
    if (foo(i))
    {
        v.push_back(bar());
    }
}

1. 这段代码存在未定义行为的判断是否正确？ #

正确。

C++的范围for循环本质基于迭代器实现：它会在循环启动前获取容器的begin()和end()迭代器，后续每次循环都用当前迭代器和初始的end()做比较。当调用push_back()时，若vector需要扩容，所有已有的迭代器、指针和引用都会直接失效——此时循环中使用的引用i会变成悬空引用，后续操作完全符合未定义行为的范畴。

哪怕vector不需要扩容（容量足够），范围for循环也不会自动更新end()迭代器，更关键的是：标准明确规定，遍历过程中对vector执行插入操作会导致原end()迭代器失效，循环中持续用失效的end()做比较判断，依然属于未定义行为，程序行为不可预测。

2. 提前调用reserve()能否消除未定义行为？ #

不能。

调用reserve()只能保证vector不会因扩容导致已有元素的引用/迭代器失效，但无法解决范围for循环的核心问题：它在循环开始时就固定了end()的位置，后续push_back()添加元素后，原end()迭代器会直接失效。循环过程中持续使用这个失效的end()进行条件判断，依然是未定义行为。

如果需要在遍历过程中向vector添加元素，建议改用普通的索引循环或手动管理迭代器的循环，比如：

std::vector<int> v = {1, 2, 3, 4, 5};
v.reserve(v.size() + 10); // 预先预留足够空间
for (size_t i = 0; i < v.size(); ++i) {
    if (foo(v[i])) {
        v.push_back(bar());
    }
}

内容的提问来源于stack exchange，提问作者Stéphane