एकाधिक रिटर्न स्टेटमेंट के मामले में 'std :: move` समझदार के साथ वापस आ रहा है?

Question

मुझे पता है कि यह आम तौर पर std::move साथ वापस जाने के लिए एक अच्छा विचार नहीं है हूँ, अर्थात

bigObject foo() { bigObject result; /*...*/ return std::move(result); } 

बजाय बस

bigObject foo() { bigObject result; /*...*/ return result; } 

क्योंकि यह वापसी मान अनुकूलन के रास्ते में हो जाता है। लेकिन

 return std::move(result); 

में कई अलग अलग रिटर्न के साथ एक समारोह, विशेष रूप से की तरह

class bar { 
    bigObject fixed_ret; 
    bool use_fixed_ret; 
    void prepare_object(bigObject&); 
public: 
    bigObject foo() { 
    if(use_fixed_ret) 
     return fixed_ret; 
    else{ 
     bigObject result; 
     prepare_object(result); 
     return result; 
    } 
    } 
}; 

मुझे लगता है कि सामान्य वापसी मान अनुकूलन इस तरह के एक समारोह में असंभव है कुछ के मामले में क्या है, तो यह एक अच्छा विचार हो सकता है डाल करने के लिए

यहाँ, या मैं नहीं बल्कि करना चाहिए (IMO भद्दा है, लेकिन यह बहस का मुद्दा है)

bigObject foo() { 
    bigObject result; 
    if(use_fixed_ret) 
     result = fixed_ret; 
    else{ 
     prepare_object(result); 
    } 
    return result; 
    } 

Answer 1

स्थानीय चर के लिए, वहाँमें std::move करने के लिए उन्हें कोई आवश्यकता नहीं है 210 बयान समय † के अधिकांश, भाषा वास्तव में की मांग के बाद से है कि इस अपने आप होता है:

§12.8 [class.copy] p32

जब एक प्रतिलिपि आपरेशन के इलिजन के लिए मानदंडों को पूरा कर रहे हैं या तथ्य के लिए सेव पूरी की जाएगी कि स्रोत ऑब्जेक्ट एक फ़ंक्शन पैरामीटर है, और प्रतिलिपि बनाने वाली ऑब्जेक्ट को प्रतिलिपि के लिए कन्स्ट्रक्टर का चयन करने के लिए एक लवल्यू, ओवरलोड रिज़ॉल्यूशन द्वारा नामित किया गया है, जैसा कि ऑब्जेक्ट को रावल्यू द्वारा निर्दिष्ट किया गया था। यदि ओवरलोड रिज़ॉल्यूशन विफल रहता है, या यदि चयनित कन्स्ट्रक्टर के पहले पैरामीटर का प्रकार ऑब्जेक्ट के प्रकार (संभावित रूप से सीवी-क्वालिफाइड) के लिए एक रावल्यू संदर्भ नहीं है, तो ऑब्जेक्ट को एक लवल्यू के रूप में देखते हुए ओवरलोड रिज़ॉल्यूशन फिर से किया जाता है। [नोट: इस दो चरण के अधिभार रिज़ॉल्यूशन को निष्पादित किया जाना चाहिए चाहे कॉपी प्रतिलिपि हो। यह कथन को निर्धारित करने के लिए कन्स्ट्रक्टर को निर्धारित करता है, और कॉल का विस्तार होने पर भी चयनित कन्स्ट्रक्टर को सुलभ होना चाहिए। अंत टिप्पणी]

---

कॉपी इलिजन † बहुत जहां यह लागू किया जा सकता (§12.8/31) में प्रतिबंधित है। ऐसा एक प्रतिबंध यह है कि स्रोत ऑब्जेक्ट का प्रकार वापसी-कथन से निपटने के दौरान फ़ंक्शन के सीवी-अयोग्य रिटर्न प्रकार के समान होना चाहिए। यह स्थानीय चर के सबबजेक्ट्स के लिए भी लागू नहीं है जो दायरे से बाहर निकलने वाले हैं।