¿Por qué C++ 11 no puede mover un functor no copiable a una función std ::?

Question

//------------------------------------------------------------------------------ 
struct A 
{ 
    A(){} 
    A(A&&){} 
    A& operator=(A&&){return *this;} 
    void operator()(){} 

private: 
    A(const A&); 
    A& operator=(const A&); 

    int x; 
}; 

//------------------------------------------------------------------------------ 
int main() 
{ 
    A a; 
    std::function<void()> func(std::move(a)); 
} 

'A :: A': no ​​se puede miembro privado de acceso declarado en la clase 'A'

Parece que cuando capturo algo por referencia o const PUEDO lambda no copiable. Sin embargo, cuando lo hago, realmente funciona para darle un std::function.

Answer 1

La respuesta corta es que la especificación C++ 11 requiere que su A sea CopyConstructible para ser utilizado con std::function.

La respuesta larga es que este requisito existe porque std::function borra el tipo de su functor dentro del constructor. Para hacer esto, std::function debe acceder a ciertos miembros de su functor a través de funciones virtuales. Estos incluyen el operador de llamada, el constructor de copia y el destructor. Y dado que se accede a ellos a través de una llamada virtual, se "usan" independientemente de si realmente usa std::function como constructor de copias, destructor o operador de llamadas.

Answer 2

Es un error en Visual Studio. Intenta eludir una copia (cuando en realidad debería tratar de eludir un movimiento), lo que requiere un constructor de copia accesible. La mejor solución es simplemente declarar el operador de asignación/constructor de copia y nunca definirlos. La clase seguirá siendo no copiable pero el código se compilará, porque VS nunca intentará llamar al constructor de copia.