为什么C ++ 11的move构造函数/赋值运算符不按预期运行

Question

#include <iostream>

using namespace std;

struct A
{
    A()
    {
        cout << "A()" << endl;
    }

    ~A()
    {
        cout << "~A()" << endl;
    }

    A(A&&)
    {
        cout << "A(A&&)" << endl;
    }

    A& operator =(A&&)
    {
        cout << "A& operator =(A&&)" << endl;
        return *this;
    }
};

struct B
{
    // According to the C++11, the move ctor/assignment operator
    // should be implicitly declared and defined. The move ctor
    // /assignment operator should implicitly call class A's move
    // ctor/assignment operator to move member a.
    A a;
};

B f()
{
    B b;

    // The compiler knows b is a temporary object, so implicitly 
    // defined move ctor/assignment operator of class B should be
    // called here. Which will cause A's move ctor is called.
    return b; 
}

int main()
{
    f();
    return 0;
}

我的预期输出应为：

A()
A(A&&)
~A()
~A()

但是，实际输出为：（C ++编译器为：Visual Studio 2012）

A()
~A()
~A()

这是VC ++的错误吗？ 还是只是我的误会？

Answer 1

根据此博客文章 ，VC ++ 2012当前实现了N2844 + DR1138 ，但没有实现N3053 。 因此，编译器不会为您隐式生成移动构造函数或赋值运算符。 如果添加显式默认值并将构造函数移至B ，则将获得期望的输出。

Answer 2

Visual C ++ 2012未实现右值引用和移动操作的最终C ++ 11规范（该规范在标准化过程中多次更改）。 您可以在Visual C ++ Team Blog帖子“ Visual C ++ 11中的C ++ 11功能”的 rvalue引用下找到更多信息。

具体来说，在您的示例中，这以两种方式体现出来：

• A用户定义的移动操作的定义不会取消隐式声明的复制操作。

• B没有隐式定义的移动操作。

Answer 3

我认为移动构造函数的声明不会阻止复制ctor的生成。 ...而且似乎编译器比copy构造函数更喜欢copy构造函数。

实际上，根据12.8 [class.copy]第7段，移动构造函数的存在应防止复制构造函数：

如果类定义未明确声明一个副本构造函数，则将隐式声明一个副本构造函数。 如果类定义声明了move构造函数或move赋值运算符，则隐式声明的copy构造函数将定义为delete； 否则，将其定义为默认值（8.4）。

但是，移动构造的细节一直更改到过程后期，并且VC ++似乎并没有实现实际的标准，而是实现了较早的修订。