c++ - 通过无效的迭代器删除 vector 中的元素，但它不会崩溃

Question

int main()
{
    vector<int> v;
    v.reserve(10);
    for(int i=0;i<10;i++)
        v.push_back(i);

    for(vector<int>::const_iterator iter=v.begin();iter!=v.end();iter++) {
        if(*iter==5)
            v.erase(iter);
    }

    for(vector<int>::const_iterator iter=v.begin();iter!=v.end();iter++)
        cout<<*iter<<endl;

    return 0;
}

我确定iter是.应该是下面这样的，不然会崩溃

for(vector<int>::const_iterator iter=v.begin();iter!=v.end();) {
    if(*iter==5)
       iter=v.erase(iter);
    else
        iter++;
}

但是，当我运行第一个程序时，它输出:0,1,2,3,4,6,7,8,9。看了一遍又一遍的C++入门书，google了一下，还是一头雾水。

Answer 1

来自 erase :

Invalidates iterators and references at or after the point of the erase, including the end() iterator.

基本上，这意味着第一个代码片段是未定义的行为。

而且，由于它是未定义的行为，任何事情都可能发生(不需要崩溃，程序可能会在未来某个时刻突然崩溃时按照您的预期运行)。