Warum kann C++ 11 einen nicht kopierbaren Funktor nicht in eine std :: -Funktion verschieben?

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‘: kann nicht privat Mitglied in der Klasse erklärte Zugriff ‚A‘

Es scheint, als wenn ich etwas mit Bezug zu erfassen oder const ich ein nicht-kopierbaren Lambda machen kann. Jedoch, wenn ich das tue, funktioniert es tatsächlich, es std::function zu geben.

Answer 1

Die kurze Antwort ist, dass die C++ 11 Spezifikation erfordert ACopyConstructible mit std::function verwendet werden.

Die lange Antwort ist diese Anforderung existiert, weil std::function den Typ Ihres Funktors innerhalb des Konstruktors löscht. Dazu muss std::function über virtuelle Funktionen auf bestimmte Mitglieder Ihres Funktors zugreifen. Dazu gehören der Aufrufoperator, der Kopierkonstruktor und der Destruktor. Und da diese über einen virtuellen Aufruf aufgerufen werden, werden sie "verwendet", unabhängig davon, ob Sie tatsächlich den Kopierkonstruktor, Destruktor oder Aufrufoperator von std::function verwenden.

Answer 2

Es ist ein Fehler in Visual Studio. Es versucht eine Kopie zu erstellen (wenn es eigentlich versuchen soll, eine Bewegung zu eliminieren), was einen barrierefreien Kopierkonstruktor erfordert. Die beste Lösung besteht darin, den Kopierkonstruktor/Zuweisungsoperator einfach zu deklarieren und niemals zu definieren. Die Klasse wird weiterhin nicht kopierbar sein, aber der Code wird kompiliert, weil VS niemals versuchen wird, den Kopierkonstruktor tatsächlich aufzurufen.