सी ++ 0x रावल्यू संदर्भ डिफ़ॉल्ट क्यों नहीं हैं?

Question

आगामी सी ++ मानक, सी ++ 0x की शानदार नई सुविधाओं में से एक, "रावल संदर्भ" हैं। एक rvalue संदर्भ, एक lvalue (सामान्य) संदर्भ के समान है, सिवाय इसके कि यह एक अस्थायी मूल्य (सामान्य रूप से, एक अस्थायी केवल एक const संदर्भ के लिए बाध्य किया जा सकता है) करने के लिए बाध्य किया जा सकता है:

void FunctionWithLValueRef(int& a) {...} 
void FunctionWithRValueRef(int&& a) {...} 

int main() { 
    FunctionWithLValueRef(5); // error, 5 is a temporary 
    FunctionWithRValueRef(5); // okay 
} 

तो, वे क्यों किया सामान्य संदर्भों पर प्रतिबंधों को हटाने के बजाय उन्हें अस्थायी रूप से बाध्य करने की अनुमति देने के बजाय एक नया प्रकार का आविष्कार किया?

Answer 1

यह व्यर्थ होगा। आप इस कार्य को फ़ंक्शन में बदल देंगे, और परिवर्तन तुरंत खो जाएगा क्योंकि वास्तव में यह चीज़ अस्थायी थी।

नए प्रकार का कारण यह तय करने में सक्षम होना चाहिए कि वास्तव में एक रावल्यू क्या है और क्या नहीं। केवल तभी आप उन्हें उपयोग की जाने वाली अच्छी चीजों के लिए उपयोग कर सकते हैं।

string toupper(string && s) { // for nonconst rvalues 
    for(char &c : s) make_uppercase(c); 
    return move(s); // move s into a returned string object 
} 

string toupper(string const& s) { // for the rest 
    // calls the rvalue reference version, by passing 
    // an rvalue copy. 
    return toupper(string(s)); 
} 

अब, अगर आप कुछ rvalue है और यह toupper के पास, rvalue सीधे, संशोधित किया जा सकता है क्योंकि हम जानते हैं अस्थायी वैसे भी एक थ्रो-दूर की बात है, तो हम सिर्फ रूप में अच्छी तरह कर सकते हैं यह और डॉन बदल ' इसे कॉपी करने की जरूरत नहीं है। साथ ही, वही अवलोकन का उपयोग मूव-कन्स्ट्रक्टर और मूव-असाइनमेंट नामक चीज़ के लिए किया जाता है। दाईं ओर की तरफ कॉपी नहीं किया गया है, लेकिन इसकी चीजें अभी चुराई गई हैं और *this पर चली गई हैं।

यदि आप कहें कि रावल गैर-कॉन्स लैवल्यू संदर्भों से जुड़ सकते हैं, तो आपके पास यह पता लगाने का कोई तरीका नहीं होगा कि क्या अंत में एक लवल्यू (नामित ऑब्जेक्ट) या एक रावल्यू (अस्थायी) संदर्भ है।

---

यह शायद अधिक छोटे से पता है, लेकिन वैसे भी उपयोगी है, आप एक सदस्य समारोह पर lvalue या rvalue रेफरी-क्वालिफायर डाल सकते हैं। यहाँ एक उदाहरण है, जो स्वाभाविक रूप से निहित वस्तु पैरामीटर के लिए rvalue संदर्भ की मौजूदा अर्थ विज्ञान फैली हुई है:

struct string { 
    string& operator=(string const& other) & { /* ... */ } 
}; 

अब, आप अब और नहीं कह सकता

string() = "hello"; 

कौन सा भ्रामक है और वास्तव में नहीं बना है ज्यादातर समय समझ में आता है। ऊपर & क्या कह रहा है कि असाइनमेंट ऑपरेटर केवल लालच पर ही लगाया जा सकता है। && डालकर, रावल के लिए भी किया जा सकता है।

Answer 2

क्योंकि संदर्भ में एक नए किस्म को जोड़ने के लिए एक विधि के दो भार के लिखने के लिए आपको अनुमति देता है:

void CopyFrom(MyClass &&c) 
{ 
    dataMember.swap(c); 
} 

void CopyFrom(const MyClass &c) 
{ 
    dataMember.copyTheHardWay(c); 
} 

संस्करण है कि संदर्भ की नई तरह स्वीकार करता है चर यह प्राप्त संशोधित करने के लिए अनुमति दी है, क्योंकि उस चर प्रतिसाद नहीं कहीं और इस्तेमाल नहीं किया जा रहा है। तो यह इसकी सामग्री को "चोरी" कर सकता है।

यह सुविधा पूरी वजह से जोड़ा गया था; एक प्रकार का संदर्भ बनाए रखना वांछित लक्ष्य प्राप्त नहीं करेगा।