unordered_set::erase(pos) 是否保留元素的顺序？

Question

我在 C++14 的标准中读到，使用 erase(iterator pos) 的 unordered_set 时元素的顺序被保留。

我用 g++-6.2.0 和 clang-3.9 尝试了以下代码（虽然在 linux 上，这个 gcc 的 stdlib）。我认为两者都应该能够通过 C++14 规范来处理：

#include <unordered_set>
#include <iostream>
using std::unordered_set; using std::cout;

// output
template<typename Elem, typename Comp>
std::ostream& operator<<(std::ostream&os, const unordered_set<Elem,Comp>&data) {
    for(auto &e : data) { os << e << ' '; } return os << '\n'; }

int main() {
  unordered_set<int> nums{ 1,2,3,4,5,6,7,8,9,10 };
  cout << nums; // MSVC: 9 1 2 3 4 5 6 7 8 10
  for(auto it = nums.begin(); it!=nums.end(); ++it) {
    if(*it % 2 == 0) {
      nums.erase(it);
    }
  }
  cout << nums; // MSCV: 9 1 3 5 7
}

是的，元素的顺序是任意的。这里 MSVC++ 19.00 有 9 1 2 3 4 5 6 7 8 10。并且在擦除所有偶数元素后，剩余元素的顺序仍然相同9 1 3 5 7。

虽然使用 g++ 和 clang++，但我得到了一个完全错误的输出

10 9 8 7 6 5 4 3 2 1
9 8 7 6 5 4 3 2 1

这似乎表明元素的顺序在调用之间没有保留，但只是......我不知道。

发生了什么事？

Answer 1

我猜这个循环是错误的：

for(auto it = nums.begin(); it!=nums.end(); ++it) {
    if(*it % 2 == 0) {
        nums.erase(it);
    }
}

如果执行了 erase，则 it 无效并且您不能增加它。据推测它会导致上述行为。

你应该使用这样的东西：

for(auto it = nums.begin(); it!=nums.end();) {
    if(*it % 2 == 0) {
        nums.erase(it++);
    } else {
        ++it;
    }
}