सी ++ 11

Question

में रैल्यू संदर्भों का उपयोग करना मैं एक वेक्टर को भरने वाले फ़ंक्शन को कार्यान्वित करना चाहता हूं और फिर एक रावल्यू संदर्भ देता हूं। मैं की तरह थक कुछ:

std::vector<int> &&fill_list() { 
    std::vector<int> res; 
    ... do something to fill res ... 
    return res; 
} 

int main(int argc, char **argv) { 
    std::vector<int> myvec = fill_list(); 
    return 0; 
} 

लेकिन वह काम नहीं करता, मैं निम्न त्रुटि:

error: invalid initialization of reference of type 'std::vector<int>&&' from expression of type 'std::vector<int>' 

तो, सब में, यह कैसे ऐसा करने का सही तरीका क्या है? मुझे नहीं लगता कि मुझे अभी तक रैवल्यू संदर्भ मिलते हैं।

Answer 1

आप उलझन में प्रतीत होते हैं कि एक रेवल्यू संदर्भ क्या है और यह अर्थशास्त्र को स्थानांतरित करने से कैसे संबंधित है।

पहली बात यह है कि: &&का मतलब स्थानांतरित नहीं है। यह एक विशेष संदर्भ प्रकार से अधिक कुछ नहीं है। यह है अभी भी एक संदर्भ।यह एक मूल्य नहीं है; यह मान नहीं है; यह एक मूल्य के लिए संदर्भ है। जिसका अर्थ है कि इसमें संदर्भ प्रकार की सभी सीमाएं हैं। विशेष रूप से, यह उस मान को संदर्भित करना चाहिए जो अभी भी मौजूद है। तो एक लटकती आर-वैल्यू संदर्भ लौटना एक लापरवाही एल-वैल्यू संदर्भ लौटने से बेहतर नहीं है।

"मूविंग" एक ऑब्जेक्ट दावा किसी अन्य ऑब्जेक्ट की सामग्री के स्वामित्व का दावा करने की प्रक्रिया है। आर-मान संदर्भ स्थानांतरित करें अर्थशास्त्र को स्थानांतरित करें, लेकिन केवल && होने का अर्थ यह नहीं है कि कुछ भी स्थानांतरित हो गया है। आंदोलन केवल तब होता है जब एक चालक कन्स्ट्रक्टर (या असाइनमेंट ऑपरेटर ले जाएं) कहा जाता है; जब तक कि उन दो चीजों में से एक नहीं कहा जाता है, कोई आंदोलन नहीं हुआ है।

आप उपयोगकर्ता के लिए अपने कार्य से बाहर एक std::vector की सामग्री को स्थानांतरित करना चाहते हैं, तो आप बस ऐसा करते हैं:

std::vector<int> myvec = fill_list(); 

दो में से एक:

std::vector<int> fill_list() { 
    std::vector<int> res; 
    ... do something to fill res ... 
    return res; 
} 

fill_list() के इस प्रयोग को देखते हुए चीजें घटित होंगी या तो वापसी को समाप्त किया जाएगा, जिसका मतलब है कि कोई प्रतिलिपि या चलती है। res सीधे myvec में बनाया गया है। या res को वापसी मूल्य में स्थानांतरित किया जाएगा, जो तब myvec की चाल-प्रारंभिकता करेगा। तो फिर, कोई प्रतिलिपि नहीं।

, तो आप इस था:

std::vector<int> myvec; 
myvec = fill_list(); 

फिर, यह में चले गए होंगे। कोई प्रतिलिपि नहीं

सी ++ 11 जानता है कि चीजों को स्पष्ट रूप से स्थानांतरित करना सुरक्षित है। संदर्भ या कुछ के बजाय मूल्य से मूल्य लौटाना हमेशा स्थानांतरित करने के लिए एक सुरक्षित समय है। इसलिए, यह चलेगा।

Answer 2

यदि आप अपने कार्य से && हटाते हैं तो इसे काम करना चाहिए, लेकिन यह एक संदर्भ नहीं होगा। fill_list() एक वेक्टर बनायेगा और इसे वापस कर देगा। वापसी के दौरान एक नया वेक्टर बनाया जाएगा। Fill_list() के अंदर बनाया गया पहला वेक्टर नए वेक्टर में कॉपी किया जाएगा और फिर नष्ट हो जाएगा। यह कॉपी कन्स्ट्रक्टर का काम है।

Answer 3

rvalue संदर्भ की चर्चा आप पढ़ सकते हैं क्या Bjarne Stroustrup, सी ++ के लेखक, यहाँ उनके बारे में क्या कहना है के लिए: अपने विशिष्ट उदाहरण को संबोधित करते

http://www2.research.att.com/~bs/C++0xFAQ.html#rval

, संक्षिप्त उत्तर है की वजह से है कि नाम वापसी मूल्य अनुकूलन - जो एक वास्तविक मानक C++ कम्पाइलर सुविधा है भी पूर्व सी ++ 11 - अगर आप बस लौट-दर-मूल्य संकलक अप रेस टाई और होगा myvec कुशलता की तरह आप चाहते हैं:

std::vector<int> fill_list() { 
    std::vector<int> res; 
    ... do something to fill res ... 
    cout << &res << endl; // PRINT POINTER 
    return res; 
} 

int main(int argc, char **argv) { 
    std::vector<int> myvec = fill_list(); 
    cout << &myvec << endl; // PRINT POINTER 
    return 0; 
} 

दो "प्रिंट पॉइंटर" लाइनें दोनों मामलों में समान सूचक प्रिंट करेंगी।

उपरोक्त में वेक्टर मायवेक और वेक्टर रेज एक ही भंडारण के साथ एक ही वेक्टर होगा। कोई कॉपी कन्स्ट्रक्टर या चालक कन्स्ट्रक्टर नहीं कहा जाएगा। एक अर्थ में res और myvec एक ही वस्तु के दो उपनाम होंगे।

यह एक चालक कन्स्ट्रक्टर का उपयोग करने से भी बेहतर है। myvec का निर्माण किया गया है और जगह में "भरा" है।

कंपाइलर को "इनस्थल" मोड में फ़ंक्शन को संकलित करके कॉलर स्टैक फ्रेम में कॉलर स्टैक फ्रेम में तत्काल स्टैक स्थिति को ओवरले करने के द्वारा प्राप्त किया जाता है, और कैली रिटर्न के बाद बस इसे छोड़ देता है।

इस परिस्थिति में हम कहते हैं कि निर्माता elided है। अधिक जानकारी के लिए यहाँ देखें:

http://en.wikipedia.org/wiki/Return_value_optimization

घटना है कि आप की तुलना में एक XValue में एक वापसी-दर-मूल्य परिणाम के रूप में एक गैर-निर्माता संदर्भ में fill_list का परिणाम बताए गए थे, में (छोटे के लिए "समाप्ति" मान, एक प्रकार का रावल्यू), लक्ष्य चर के चाल असाइनमेंट ऑपरेटर को उपलब्ध होने पर वरीयता दी जाएगी।

Answer 4

रिटर्न स्टेटमेंट एक त्रुटि है क्योंकि आप एक लालू संदर्भ (रिटर्न प्रकार) को एक लवल्यू (वेक्टर रेस) में बांधने का प्रयास करते हैं। एक रावल्यू संदर्भ केवल एक रावल्यू के लिए बाध्य किया जा सकता है।

इसके अलावा, जैसा कि अन्य लोगों ने पहले से ही उल्लेख किया है, एक स्थानीय चर लौटने पर जब रिटर्न टाइप एक संदर्भ प्रकार खतरनाक है, क्योंकि स्थानीय ऑब्जेक्ट रिटर्न स्टेटमेंट के बाद नष्ट हो जाएगा, तो आपको एक संदर्भ मिलता है जो एक अमान्य वस्तु को संदर्भित करता है।

यदि आप रिटर्न स्टेटमेंट के दौरान कॉपी निर्माण से बचना चाहते हैं, तो केवल एक गैर-संदर्भ प्रकार का उपयोग कर कॉपी एलिशन नामक सुविधा के कारण पहले से ही काम कर सकता है। आपके fill_list फ़ंक्शन में वेक्टर रेज सीधे आपके मुख्य फ़ंक्शन में वेक्टर myvec में बनाया जा सकता है, इसलिए कोई भी प्रतिलिपि या चाल निर्माण नहीं किया जाता है। लेकिन मानक द्वारा आवश्यक इस सुविधा की अनुमति नहीं है, कुछ संकलक कुछ संकलक में छोड़ा नहीं गया है।