为何保证vector容量不超，循环调用push_back仍会崩溃？

嘿，这个问题刚好戳中了vector迭代器失效和循环逻辑的细节坑！咱们结合你给出的三个版本代码，一步步拆解崩溃的原因：

先明确核心规则 #

哪怕vector没有触发内存扩容（capacity保持不变），每次调用push_back都会让尾后迭代器（end()）失效，只有指向现有元素的迭代器和引用仍然有效。这是你之前的认知里没考虑到的关键细节，也是导致崩溃的根源。

逐个分析版本崩溃原因 #

Version1：范围for循环的隐性陷阱 #

范围for循环的底层逻辑是：循环开始前就获取容器的begin()和end()，之后全程用这两个初始迭代器判断终止条件。

你的代码里，虽然提前reserve了足够容量（不会扩容），但每次push_back都会让vector的实际end()往后移动，可循环里用的还是最开始的那个旧end()。当你遍历完原有的3个元素后，循环不会终止——它会继续尝试访问超出原容器初始范围的内存（因为旧end()已经不指向当前容器的尾部了），直接触发越界访问崩溃。

Version2：失效的尾后迭代器 #

你提前保存了curEnd = v2.end()，但这个迭代器在第一次push_back后就失效了（哪怕内存地址没变，标准也明确标记尾后迭代器失效）。

在Visual Studio的调试模式下，STL会对迭代器的有效性做严格检查，一旦检测到你使用了失效的迭代器（这里用curEnd作为循环终止条件），就会直接抛出错误崩溃。哪怕在Release模式下可能侥幸运行，这也是标准定义的未定义行为，绝对不能这么写。

Version3：无限循环触发扩容 #

这个版本的循环条件是iter != v3.end()，而每次push_back都会让v3.end()往后移动一位。初始size是3，你reserve了6的容量：

• 前3次循环：每次push_back后size增加1，end()也后移1，iter和end()同步推进，看起来没问题；
• 第4次循环：iter指向刚push进去的第4个元素，push_back后size变成7，超过了reserve的6，触发内存扩容——此时所有迭代器（包括iter）全部失效，后续++iter就会访问野指针，直接崩溃。

正确的写法示例 #

要避免这个问题，核心是只遍历vector初始状态下的元素，而不是依赖动态变化的end()或失效的迭代器。比如：

std::vector<int> v{3, 4, 5};
v.reserve(v.size() * 2);
// 保存初始元素数量，只遍历这些元素
const size_t initial_size = v.size();
for (size_t i = 0; i < initial_size; ++i) {
    v.push_back(v[i]);
}

或者用迭代器的正确写法：

std::vector<int> v{3, 4, 5};
v.reserve(v.size() * 2);
auto iter = v.begin();
// 保存初始的尾后迭代器，但只用来遍历初始元素
const auto initial_end = v.end();
while (iter != initial_end) {
    v.push_back(*iter);
    ++iter;
}

这样就能保证只处理初始的3个元素，不会触发迭代器失效或越界问题。

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