运算符 = 使用移动分配和按值复制分配传递的模棱两可的重载

Question

如果我定义了一个复制赋值运算符，该运算符使用 thing 类的值传递调用复制构造函数：

thing& operator= (thing x) {

和同一类的移动赋值运算符：

thing& operator= (thing&& x) {

尝试调用移动赋值会导致 gcc 出错：

error: ambiguous overload for ‘operator=’ (operand types are ‘thing’ and ‘std::remove_reference<thing&>::type {aka thing}’)

但是，如果复制分配改为使用按引用传递：

thing& operator= (thing& x) {

编译没问题，两个运算符都可以调用。为什么是这样？

完整的C++11测试代码：

#include <iostream>
#include <utility>

using namespace std;

class thing {
    public:
        thing () { }
        thing (thing& x) {
            cout << "Copy constructor.\n";
        }
        thing (thing&& x) {
            cout << "Move constructor.\n";
        }
        thing& operator= (thing x) {
            cout << "Copy assign using pass by value.\n";
            return *this;
        }
        thing& operator= (thing&& x) {
            cout << "Move assign.\n";
            return *this;
        }
};


int main (void) {
    thing a, b;
// Invoke move assignment:
    a = move(b);
    return 0;
}                        

Answer 1

• 调用move(b)会返回rvalue。

• operator=(thing &&x) 和 operator=(thing x) 都可以接受 rvalues 作为输入。

• 因此，这两个重载是模棱两可的，编译器理所当然地抱怨，因为它无法在它们之间进行选择。