Mover constructor y operador de asignación: ¿por qué no hay un valor predeterminado para las clases derivadas?

Question

¿Por qué el constructor de movimiento predeterminado o el operador de asignación no se creó para las clases derivadas? Para demostrar lo que quiero decir; teniendo este código de configuración:

#include <utility> 

struct A 
{ 
    A() { } 
    A (A&&) { throw 0; } 
    A& operator= (A&&) { throw 0; } 
}; 

struct B : A 
{ }; 

cualquiera de las siguientes líneas de lanza:

A x (std::move (A()); 
A x; x = A(); 

pero ninguno de estos procedimientos hace:

B x (std::move (B()); 
B x; x = B(); 

En caso de que importa, he probado con GCC 4.4 .

EDITAR: La prueba posterior con GCC 4.5 mostró el mismo comportamiento.

Answer 1

Leyendo a través de 12.8 en el 0x FCD (12.8/17 en particular para el cursor de movimiento), esto parece ser un error de GCC. Veo que ocurre lo mismo en 4.5 que en 4.4.

Me puede estar faltando un caso de esquina en las funciones eliminadas, o algo similar, pero todavía no veo ninguna indicación de eso.