Dlaczego C++ 11 nie przenosi niezideikowalnego funktora do funkcji 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”: nie ma dostępu do prywatnych członka zadeklarowana w klasie „A”

Wydaje się, że kiedy coś uchwycić poprzez odniesienie lub const mogę zrobić non-copyable lambda. Jednak kiedy to zrobię, to faktycznie działa, aby dać to std::function.

Answer 1

Krótka odpowiedź brzmi, że specyfikacja C++ 11 wymaga, aby numer A był CopyConstructible używany z std::function.

Odpowiedź jest długa, ponieważ std::function wymazuje typ twojego funktora w konstruktorze. Aby to zrobić, std::function musi uzyskać dostęp do niektórych członków funktora za pośrednictwem funkcji wirtualnych. Należą do nich operator połączenia, konstruktor kopii i destruktor. A ponieważ są one dostępne za pośrednictwem wywołania wirtualnego, są one "używane" niezależnie od tego, czy faktycznie używasz konstruktora kopiowania, destruktora lub operatora połączenia w trybie std::function.

Answer 2

To błąd w Visual Studio. Próbuje usunąć kopię (gdy faktycznie powinna próbować usunąć ruch), co wymaga dostępnego konstruktora kopii. Najlepszym rozwiązaniem jest po prostu zadeklarowanie operatora kopiowania/operatora przypisania i nigdy go nie definiować. Klasa nadal będzie nie do kopiowania, ale kod się skompiluje, ponieważ VS nigdy nie będzie próbował wywołać konstruktora kopiowania.