在没有移动构造函数的情况下调用复制构造函数？这是为什么？

Question

我正在阅读 C++11，我有以下问题。假设我有以下粗略代码

class foo
{
public:
    foo()
    {std::cout << "Regular constructor \n";}

    foo(const foo& a) 
    {std::cout << "Copy constructor \n";}

    foo& operator=(const foo& a) 
    {std::cout << "Copy Assignment operator \n";}

    foo(foo&& a)
    {
        std::cout << "Move constructor \n";
    }

    foo& operator=(foo&& a) 
    {std::cout << "Move Assignment operator \n";}

    int a;
};


foo myfunction()
{
    foo d;
    d.a =120;
    return d;
}

现在如果我做这样的事情

foo a = myfunction();

我知道将调用移动构造函数，因为 myfunction() 返回一个右值类型。 现在我注意到，如果我从类中删除移动构造函数代码，则会调用复制构造函数。我的问题是为什么会这样？如果 myfunction 的返回类型是 foo&& 并且复制构造函数接受 foo& 那么为什么要调用复制构造函数？我正在使用 Vs2012。

Answer 1

如果myfunction的返回类型是foo&&

但事实并非如此！返回类型为foo。 const foo& 愉快地绑定到 foo 右值。

提示：“右值”和“右值引用”是两个相关但不同的概念。 （请记住，在将右值引用引入语言之前，C++ 已经有几十年的右值了。）

Answer 2

根据 C++11 标准的第 12.8/9 段：

如果X 类的定义没有显式声明移动构造函数，当且仅当

— X 没有用户声明的复制构造函数，
— X 没有用户声明的复制赋值运算符，
— X 没有用户声明的移动赋值运算符，并且
— X 没有用户声明的析构函数。

由于您有一个用户声明的复制构造函数，因此移动构造函数是不可访问的，它会退回到调用复制构造函数。

如果myfunction 的返回类型是foo&& 并且复制构造函数接受foo& 那么为什么要调用复制构造函数？

这里有两个问题：myfunction 按值返回 foo，而不是 foo&&。此外，您的构造函数采用 const foo& 实际上可以绑定到右值（这不是这里发生的事情）。