क्या आप चाल शब्दार्थ को समझते हैं?

शुभ दोपहर

कल मैंने ईमानदारी से सोचा था कि मुझे पता चला है कि सी ++ 11 में कैसे संदर्भ कार्य होता है। मैंने सोचा कि जब तक मैं एक रेक में नहीं आया।

इसलिए, मैं आपके दिमाग को लंबा करने का सुझाव देता हूं और फ़ंक्शन को स्थानांतरित करने का प्रयास करता हूं___rr। इस तरह के एक समझ परीक्षण: सफलता एक फ़ंक्शन के रूप में गिना जाता है जो सही ढंग से काम करता है, बशर्ते कि आपने इसे कभी भी डिबग नहीं किया है। कट के तहत नौकरी का विवरण।

तो, हालत।
मान लीजिए कि निम्नलिखित कोड है:

टेम्पलेट < वर्ग U >
क्लास कंटेनर
{
यू सदस्य ;

जनता :

U & Get ( ) { रिटर्न सदस्य ; }
const U & Get ( ) const { रिटर्न सदस्य ; }

जनता :

टेम्पलेट < वर्ग टी > शून्य डमी ( कास्ट कंटेनर < टी > & ) ; // कॉपी
टेम्पलेट < वर्ग T > शून्य डमी ( कंटेनर < T > && ) ; // चलते हैं

जनता :

// टी कंटेनर के साथ संगत होने की उम्मीद है
टेम्पलेट < वर्ग टी >
शून्य Fwd ( T && rr )
{
सदस्य = Move_if_rr < T > ( rr। Get ( ) ) ;
// डमी (std :: आगे <T> (rr))
}
} ;

कंटेनर जानबूझकर बॉयलरप्लेट बनाया जाता है ताकि वास्तविक सदस्य प्रकार अज्ञात हो।
डमी फ़ंक्शंस की आवश्यकता केवल मूव_फ्री_र्र (नीचे) के शब्दार्थ को स्पष्ट करने के लिए होती है।
ऊपर दिए गए कोड में कोई भी शब्दार्थ भार नहीं है, सभी मैचों को यादृच्छिक मानें।

एक फ़ंक्शन Move_if_rr लिखना आवश्यक है जो निम्नलिखित नियमों को पूरा करता है:
यदि कंटेनर में आगे टिप्पणी की गई है।
* Move_if_rr का उपयोग करने से सदस्य फ़ील्ड के स्थानांतरित-असाइनमेंट के लिए कॉल किया जाना चाहिए।
यदि कंटेनर में आगे टिप्पणी की गई है। डीडी कॉल डमी , प्रतिलिपि के रूप में चिह्नित हैं:
* Move_if_rr का उपयोग करने से सदस्य फ़ील्ड के कॉपी-असाइनमेंट के लिए कॉल किया जाना चाहिए।
दोनों नियम मानते हैं कि कंटेनर प्रकार को कंटेनर के तर्क के रूप में पारित किया गया था।

टिप्पणियों में निर्णय अपेक्षित हैं।

UPD1। कोड को बाहर करने के लिए, आप highlight.hohli.com का उपयोग कर सकते हैं (आपको "फ़ॉन्ट टैग का उपयोग करें (हाबराहा के लिए))"

UPD2। उन लोगों के लिए जो यह नहीं समझते हैं कि मूव_आईएफ_आरआर क्या है:
यह std का एक विस्तारित संस्करण है :: आगे: std का उपयोग करते हुए :: आगे, आप टेम्पलेट तर्क के रूप में एक प्रकार निर्दिष्ट नहीं कर सकते हैं, और दूसरा पैरामीटर के रूप में, Move_if_rr इस समस्या को हल करता है। क्यों?
क्योंकि यदि किसी प्रकार को मेरे लिए rvalue लिंक द्वारा पारित किया गया था, तो इसके सभी आंतरिक घटकों को भी rvalue लिंक द्वारा पारित माना जा सकता है। केवल यहाँ यह है कि इसे संकलक को कैसे समझाया जाए, अगर मैंने स्पष्ट रूप से यह संकेत नहीं दिया कि यह विशेष प्रकार मुझे कैसे पारित किया गया था, लेकिन मानक आगे संकेतन का उपयोग किया?
एक उदाहरण:
मान लीजिए कि ऐसा कोई समारोह था:

टेम्पलेट < वर्ग टी >
शून्य f ( T && rr )
{
SendData ( std :: आगे < T > ( rr ) ) ;
}

और फिर कार्यक्रम में कुछ बदल गया, और एक समग्र प्रकार इसमें आने लगा (इसमें पुराना प्रकार एक क्षेत्र की तरह है)। इस क्षेत्र को अग्रेषण के साथ कैसे स्थानांतरित किया जाए, पहले की तरह? C Move_if_rr ऐसा दिखता है:

टेम्पलेट < वर्ग टी >
शून्य f ( T && rr )
{
SendData ( std :: Move_if_rr < T > ( rr। GetSomeElement ( ) ) ) ;
}

UPD 3. स्थिति थोड़ी पैराफ्रेस्ड है, क्योंकि पिछले सूत्रीकरण ने हमें कंस्ट्रक्टरों के शब्दार्थ (Fwd के बजाय, एक कंस्ट्रक्टर का उपयोग किया गया था) से चिपके रहने की अनुमति दी।

UPD 4. आप इस कोड की शुरुआत में इसे डालकर समाधान की जाँच कर सकते हैं, पूरी तरह से सही संस्करण यहाँ पाया जा सकता है , वहाँ भी एक विकल्प है SergX - mpl का उपयोग किए बिना