移动构造函数和右值引用

Question

class Foo {
    int m_num;
public:
    Foo() {}

    Foo(int& n) {m_num = n;}

    Foo(int&& n) {m_num = n;}

    Foo(const Foo& src) {m_num = src.m_num;}

    Foo(Foo&& src) {m_num = src.m_num;}

    Foo& operator =(const Foo& src) {
        m_num = src.m_num;
        return *this;
    }

    Foo& operator =(Foo&& src) {// move
        m_num = src.m_num;
        return *this;
    }

    int& operator =(const int& src) {return m_num = src;}

    int& operator =(int&& src) {return m_num = src;}
};

为什么当我调用Foo f4(Foo(2)); 时它调用Foo(int&& n) 构造函数而不是Foo(Foo&& src) 构造函数？ 另外为什么不传递作为右值引用调用移动构造函数的 num ？ 例如，Foo f = num 不调用移动构造函数。

int main() {
    int&& num = 5;
    /*int num{ 5 };*/ // initializer-list
    Foo f = num; // custom constructor
    f = num; // assignment operator
    Foo f2 = 6; // custom move constructor
    f2 = 10; // custom move assignment
    f2 = f; // assignment operator
    Foo f3(f); // custom constructor
    // f3(f2); // ERROR
    f3 = (f2); // assignment operator

    Foo f4(Foo(2));

Answer 1

在Foo(2) 中，整数是右值，需要来自int&& 的右值引用构造函数。

万一

 Foo f = num; // custom constructor 

不调用右值构造函数，因为命名值永远不会被视为右值。您必须致电std::move(num) 才能使其工作。

标准以这种方式定义它，以避免在命名值被意外移动并在以后使用时造成混淆。即使变量是右值引用，您也必须明确说明移动。

编辑

根据cppreference，c++17 编译器必须省略的复制/移动构造函数（即在这种情况下它不能调用或要求存在复制/移动构造函数，这就是为什么你只看到构造函数来自int&&):

Foo f4(Foo(2));

这里引用 cppreference 的一段话（不如标准，但足够接近）：

语言规则确保不会发生复制/移动操作， 甚至在概念上：

• 在初始化一个变量时，当初始化表达式 是与 变量类型：

  T x = T(T(T())); // 只调用一次 T 的默认构造函数，初始化 x