c++ - 如果在 foreach 循环之后立即爆发，修改 unordered_set 是否定义明确？

Question

考虑以下程序。中间的循环尝试用另一项恰好替换一项，然后跳出循环。

#include <unordered_set>
#include <stdio.h>

int main(){
    std::unordered_set<int> foo{1,2,3};
    printf("Set Before:\n");
    for (int x : foo)
        printf("%d\n", x);
    for (int x : foo) {
        if (x == 1) {
            foo.erase(1);
            foo.insert(4);
            break;
        }
    }
    printf("Set After:\n");
    for (int x : foo)
        printf("%d\n", x);
}

上面的代码是否定义明确？

Answer 1

Is the code above well-defined?

是的。删除将使您现在所在的迭代器无效，这将使它的后续增量成为未定义的行为 - 但没有后续增量，因为您无条件地 breaking。

---

尽管不是遍历每个元素直到找到 1，您可以尝试删除它并查看是否有任何作用:

if (foo.erase(1)) {
    foo.insert(4);
}