错误：使用复制和交换习语的交换函数中“operator=”的重载不明确

Question

在将常量引用作为成员的类中使用 copy-and-swap idiom 时， 出现上述错误。

示例代码：

#include <iostream>
#include <functional>

using std::reference_wrapper;

class I_hold_reference;
void swap(I_hold_reference& first, I_hold_reference& second);

class I_hold_reference{
    inline I_hold_reference(const int& number_reference) : my_reference(number_reference){}
    friend void swap(I_hold_reference& first, I_hold_reference& second);
    inline I_hold_reference& operator=(I_hold_reference other){
        swap(*this, other);
        return *this;
    }
    inline I_hold_reference& operator=(I_hold_reference&& other){
        swap(*this, other);
        return *this;
    }
private:
    reference_wrapper<const int> my_reference;
};

void swap(I_hold_reference& first, I_hold_reference& second){
    first = I_hold_reference(second.my_reference); //error: use of overloaded operator '=' is ambiguous (with operand types 'I_hold_reference' and 'I_hold_reference')
}

当复制赋值运算符被更改为通过引用而不是按值获取其参数时，该错误已得到修复。

    inline I_hold_reference& operator=(I_hold_reference& other){ ... }

为什么这可以修复错误？ 一种可能的暗示是链接问题中引用的Important optimization possibility 丢失了。参考文献是这样吗？ 这种变化的其他影响是什么？

有一个依赖此运算符的代码库，没有其他成员存在，只有提到的引用。是否需要以某种方式使代码库适应这种变化，或者它是否安全？

Answer 1

如果您仔细按照链接的描述进行操作，您会发现您必须只有一个 operator= 重载，并且需要按值获取其参数。因此，简单地删除 operator=(I_hold_reference&&) 重载将使您的代码可编译。

但是，这不是唯一的问题。您的 swap 不会交换！相反，它会将second 的副本分配给first，并保持second 不变。

这就是你想要的：

class I_hold_reference
{
    I_hold_reference(const int& number_reference)
     : my_reference(number_reference){}

    friend void swap(I_hold_reference& first, I_hold_reference& second)
    {
        using std::swap;
        swap(first.my_reference, second.my_reference);
    }

    I_hold_reference& operator=(I_hold_reference other)
    {
        swap(*this, other);
        return *this;
    }
private:
    reference_wrapper<const int> my_reference;
};

注意：我删除了不必要的inlines，因为成员函数是隐式内联的。我还在你的类中声明了swap 函数。您可以在您分享的链接中找到对此的解释。

此外，在这个特定的示例中，首先没有必要使用复制和交换习语。 std::reference_wrapper 不是手动维护的资源，这意味着它内置了正确的复制和移动语义。因此，在这个特定的示例中，编译器生成的复制和移动运算符将具有与此处手动创建的完全相同的行为。所以，你应该使用那些，而不是以任何方式写你自己的。另一方面，如果这只是一个玩具示例，并且在实际类中有 更多资源需要手动管理，那么这就是要走的路。

Answer 2

使用转发引用&& 将绑定到任何右值（临时 / 转发引用）。这些类别也可以作为值传递，然后是模棱两可的。也就是说，例如 临时 是模棱两可的，而左值则不会（使用值重载）。

非常量引用永远不能绑定到临时或转发引用。 const 引用虽然可以，但不是模棱两可的。