erase函数触发运行时错误？请求排查C++ vector代码问题

这问题我太熟了！你踩中了C++ vector迭代器失效的经典陷阱——当你调用a.erase(itr)删除元素后，原来的itr就变成无效迭代器了，后续循环里执行itr++相当于访问非法内存，必然触发运行时错误。

错误原因详解 #

vector的底层是连续内存，erase操作会把被删除元素后面的所有元素向前移动一位来填补空缺。这时候原来指向被删除元素的迭代器就失去了意义，变成了悬空迭代器，继续对它做自增、解引用操作都是未定义行为——之前插入非零数字时看似正常，只是凑巧没触发崩溃，本质上还是非法操作，绝对不能依赖。

两种正确的修复方案 #

方案1：利用erase的返回值更新迭代器

vector::erase()会返回一个指向被删除元素下一个位置的有效迭代器，我们可以用这个返回值来替代原来的迭代器，只有在没删除元素的时候才手动自增：

vector<int> a; 
a.push_back(0); 
int cnt = 0; 
for (auto itr = a.begin(); itr != a.end();) { // 这里去掉循环里的itr++
    if(*itr == 0) { 
        cnt++; 
        itr = a.erase(itr); // 用erase的返回值更新迭代器
    } else {
        itr++; // 仅当未删除元素时自增
    }
}

方案2：用remove_if + erase的区间版本（更简洁）

如果只是要删除所有满足条件的元素，推荐用STL的remove_if配合区间erase，这是C++里删除容器元素的惯用写法，效率也更高：

#include <algorithm> // 需要包含这个头文件

vector<int> a; 
a.push_back(0); 
// remove_if会把所有0移到容器末尾，返回指向第一个0的迭代器
auto new_end = remove_if(a.begin(), a.end(), [](int val){ return val == 0; });
int cnt = a.end() - new_end; // 计算被删除的元素数量
a.erase(new_end, a.end()); // 删除末尾的所有0

额外提醒 #

永远记住：对于vector、string这类连续内存的容器，erase、insert操作都会导致迭代器失效，必须通过返回值或者重新获取迭代器的方式来保证操作的合法性。

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