क्यों C++ 11 एक noncopyable functor को std :: function में नहीं ले जा सकता है?

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

'ए :: ए': निजी सदस्य कक्षा में 'ए'

घोषित जब मैं संदर्भ या const से कुछ पर कब्जा मैं एक गैर copyable लैम्ब्डा कर सकते हैं की तरह लगता है का उपयोग नहीं कर सकते हैं। हालांकि जब मैं ऐसा करता हूं तो यह वास्तव में std::function को देने के लिए काम करता है।

Answer 1

संक्षिप्त उत्तर यह है कि सी ++ 11 विनिर्देश के लिए ACopyConstructiblestd::function के साथ उपयोग करने के लिए आवश्यक है।

लंबा उत्तर यह आवश्यकता मौजूद है क्योंकि std::function कन्स्ट्रक्टर के भीतर आपके मज़ेदार के प्रकार को मिटा देता है। ऐसा करने के लिए, std::function वर्चुअल फ़ंक्शंस के माध्यम से अपने मज़ेदार के कुछ सदस्यों तक पहुंच जाना चाहिए। इनमें कॉल ऑपरेटर, कॉपी कन्स्ट्रक्टर और विनाशक शामिल हैं। और चूंकि इन्हें वर्चुअल कॉल के माध्यम से एक्सेस किया जाता है, इसलिए वे वास्तव में std::function की कॉपी कन्स्ट्रक्टर, विनाशक या कॉल ऑपरेटर का उपयोग करते हैं या नहीं।

Answer 2

यह विजुअल स्टूडियो में एक बग है। यह एक प्रतिलिपि बनाने की कोशिश करता है (जब वास्तव में इसे एक चाल को आगे बढ़ाने की कोशिश करनी चाहिए), जिसके लिए एक सुलभ प्रतिलिपि बनाने की आवश्यकता होती है। सबसे अच्छा समाधान कॉपी कन्स्ट्रक्टर/असाइनमेंट ऑपरेटर घोषित करना है और उन्हें कभी परिभाषित नहीं करना है। कक्षा अभी भी गैर-प्रतिलिपि होगी लेकिन कोड संकलित होगा, क्योंकि वीएस कभी भी कॉपी कन्स्ट्रक्टर को कॉल करने का प्रयास नहीं करेगा।