使用swap实现移动赋值

Question

我发生了一些我认为完全合理的事情，但我希望人们对此发表意见，以防我完全错过了什么。所以首先，我对T& operator=(T&& rhs) 的理解是，我们不在乎当我们完成时rhs 的内容是什么，只是内容已经移入this 并且@ 987654326@ 可以安全销毁。

话虽如此，复制赋值运算符的常见异常安全实现，假设交换成本低廉，如下所示：

T& operator=(const T& rhs) {
    if(this != &rhs) {
        T(rhs).swap(*this);
    }
    return *this;
}

因此，实现移动赋值运算符的一种自然方式如下：

T& operator=(T&& rhs) {
    if(this != &rhs) {
        T(std::move(rhs)).swap(*this);
    }
    return *this;
}

但后来我突然想到，rhs 不必为空！那么，为什么不直接做一个简单的swap？

T& operator=(T&& rhs) {
    rhs.swap(*this); // is this good enough?
    return *this;
}

我认为这满足了移动分配操作员需要做的事情......但就像我说的，这只是发生在我身上，所以我认为我可能遗漏了一些东西.

我能想到的唯一“缺点”是this 拥有的东西与使用移动构造/交换的版本相比，使用普通交换可能会更长寿。

想法？

Answer 1

“移动赋值运算符需要做什么”

我总是找到处理&& 变量的最佳方法是说“没有人关心我将这个变量置于什么状态”。你可以离开它。您可以从中复制。你可以换进去。您可以做的事情还有很多。

您的代码是正确的。 && 可以处于任何状态（只要它是可破坏的）。

对象迟早会被销毁（可能更早），实现者应该意识到这一点。如果析构函数将delete 原始指针，这一点很重要，如果相同的原始指针位于多个对象中，这将导致双重删除。