在迭代期间在集合上调用 erase()

Question

我有以下代码：

#include<bits/stdc++.h>
using namespace std;

int main()
{
    set<string> S;
    S.insert("item1");
    S.insert("item2");
    S.insert("item3");
    S.insert("item4");
    int i=0;
    for (set<string>::iterator it = S.begin(); it != S.end(); it++)
        {
            string temp = *it;
            if (i++%2)
            {
                S.erase(temp); // Causes Seg Fault on next iteration
            }
        }
    cout<<"Items Removed\n";
    return 0;
}

上面的代码尝试根据一个简单的条件从集合中删除元素。当使用 mingw-w64 (gcc 7.1.0 x86_64-posix-seh-rev0) 编译时出现分段错误，它在我的系统上失败。

现在我假设这是因为erase() 使当前元素的迭代器无效，从而导致it++ 失败。但我很困惑为什么这在我尝试过的所有在线 IDE 上都能正常工作（Repl.it、IdeOne、CodeChef、Coilru、Cpp.sh）。想法？

Answer 1

正如您所意识到的，std::set::erase 将使擦除元素的迭代器无效。然后代码指向undefined behavior，这意味着一切皆有可能，但没有任何保证；即使它看起来运行良好，但你根本不能依赖它。