GCC 4.9 的 unordered_set 和 std：：move

GCC 4.9's unordered_set and std::move

本文关键字：std set move unordered GCC      更新时间：2023-10-16

当在GCC 4.9上移动unordered_set，然后重用从移动对象时，当我添加它时，我得到一个除零。

我的理解(来自http://en.cppreference.com/w/cpp/utility/move)是，只要不违反其先决条件，就可以使用从移动对象。在move -from集合上调用clear()是可以的(这在前提条件的上下文中是有意义的)，但是我不清楚添加新元素是否违反了任何前提条件。

示例代码:

#include <unordered_set>
using namespace std;
void foo(unordered_set<int> &&a) {
  unordered_set<int> copy = std::move(a);
}
void test() {
  unordered_set<int> a;
  for (int i = 0; i < 12; ++i) a.insert(i);
  foo(std::move(a));
  a.clear();
  a.insert(34); // divide by zero here
}
int main() {
  test();
}​

这段代码在GCC4.7上工作得很好-这是GCC4.9的unordered_set实现中的问题，还是我对违反从对象移动的前提条件的理解?

这是pr61143。

在gcc-4.10中已经修复了这个问题，并且在4.9.1中也及时进行了反向移植。

Marc Glisse已经向您介绍了GCC错误，但是回答您的问题:

这是一个问题…在我的理解中，违反了移动对象的前提条件意味着什么?

不，它不是，你的理解是正确的。使问题中的代码工作不仅仅是一个GCC扩展，您的程序是完全有效的。标准库中定义的类型的移出对象应该保持可用。您不知道它的状态，但是，作为一个例子，任何容器都是空的，或者是非空的，所以一个移动的容器也可能是空的或者是非空的。其中哪一个是未指定的，但您的程序可以检查，并且标准库实现必须对程序的检查结果表现得适当。
相关文章：