¿Por qué no en C++ de 11 se mueven constructor/asignación acto operador como se esperaba

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; 
} 

Mi salida esperada debería ser:

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

Sin embargo, la salida real es: (El compilador de C++ es: Visual Studio 2012)

A() 
~A() 
~A() 

¿Este es un error de VC++? o solo mi malentendido?

Answer 1

Según this blog post, VC++ 2012 actualmente implementa N2844 + DR1138, pero no N3053. Como resultado, el compilador es no generando implícitamente constructores mover o operadores de asignación para usted. Si agrega valores predeterminados explícitos y mueve constructores a B, obtendrá el resultado esperado.

Answer 2

no creo que se evita la generación de la ctor copia de la declaración del movimiento constructor. ... y parece que el compilador prefiere el constructor de copias sobre el constructor de movimientos.

En realidad, de acuerdo con 12.8 [class.copy] apartado 7, la presencia de un constructor movimiento debe evitar que el constructor de copia:

Si la definición de clase no declara explícitamente un constructor de copia, uno se declara implícitamente . Si la definición de clase declara un constructor de movimiento o un operador de asignación de movimiento, el constructor de copia declarado implícitamente se define como eliminado; de lo contrario, se define como predeterminado (8.4).

Sin embargo, los detalles de la construcción de movimientos se cambiaron hasta el final del proceso y parece que VC++ no implementa el estándar real sino una revisión anterior.

Answer 3

Visual C++ 2012 no implementa la especificación final C++ 11 para referencias rvalue y mover las operaciones (la especificación cambió varias veces durante el proceso de normalización). Usted puede encontrar más información en el blog del equipo de post Visual C++, "C++11 Features in Visual C++ 11", bajo rvalue referencia.

En su ejemplo concreto, esto se manifiesta de dos maneras:

• la definición de las operaciones de movimiento definidos por el usuario en A no suprimen las operaciones de copia declaradas implícitamente.

• No hay definido implícitamente las operaciones de movimiento de B.