c++ - 为什么标准在移动赋值运算符中使用交换？

Question

我今天正在试验 std::exchange。根据cppreference page关于std::exchange，这个函数既可以用在移动构造函数中，也可以用在移动赋值运算符中。来自 cppreference 的例子是这样的:

struct S
{
  int* p;
  int n;

  S(S&& other)
    :p{std::exchange(other.p, nullptr)}
    ,n{std::exchange(other.n, 0)}
  {}

  S& operator=(S&& other) {
    p = std::exchange(other.p, nullptr); // move p, while leaving nullptr in other.p
    n = std::exchange(other.n, 0); // move n, while leaving zero in other.n
    return *this;
  }
};

我有点不明白。在 move constructor 中使用 std::exchange 是可以的，因为新的(构造的)对象将接管已经存在的(旧的)对象的内脏，并且旧对象的资源指针将被分配 nullptr 值，所以在 move ctor 之后，旧对象将被销毁，但资源将继续存在于新对象中。

但我认为对于移动赋值运算符，它的工作方式应该有所不同。受让人对象应该接管被分配对象的资源，被分配对象应该接管受让人对象的资源。在此之后，当分配的对象被销毁时，它会销毁受让人之前使用的资源。换句话说，该机制应该交换资源。在此代码中，当分配对象的资源指针将被分配为 nullptr 时，我们将发生资源泄漏(曾经存在于受让人中的资源)。我理解正确吗？还是我遗漏了什么？

我想还有一些我不知道的东西，因为官方文档中使用了这段代码。有人可以帮助我了解这里发生了什么吗？

Answer 1

首先，没有“官方文档”。 cppreference 很流行，但它只是一个网站，而且是一个由社区编辑的网站。它当然不是“标准”，并且(像任何网站一样)它包含错误并非闻所未闻……就像这个。

事实上，这是一个糟糕的例子——资源不仅没有被正确清理，甚至从来没有在一开始就被创建。

您可以使用更好的示例来编辑您所指的页面；它只是一个 wiki。