क्या रिटर्न स्टेटमेंट कॉपी मान

Question

मैं इस बारे में सोच रहा हूं क्योंकि स्कोप मुद्दों के कारण। उदाहरण के लिए, कोड

typedef struct { 
    int x1;/*top*/ 
    int x2;/*bottom*/ 
    int id; 
} subline_t; 



subline_t subline(int x1, int x2, int id) { 
    subline_t t = { x1, x2, id }; 
    return t; 
} 

int main(){ 
    subline_t line = subline(0,0,0); //is line garbage or isn't it? the reference 
    //to subline_t t goes out of scope, so the only way this wouldn't be garbage 
    //is if return copies 
} 

तो मेरा प्रश्न है, क्या रिटर्न स्टेटमेंट हमेशा कॉपी करेगा? इस मामले में ऐसा लगता है, इसलिए मुझे विश्वास है कि रिटर्न प्रतिलिपि बनाता है। अगर यह प्रतिलिपि करता है, तो क्या यह हर मामले में कॉपी करेगा?

Answer 1

हां, उस मामले में एक प्रतिलिपि बनाई जाएगी। यदि आप इस तरह की फ़ंक्शन घोषणा बदलते हैं:

subline_t &subline(int x1, int x2, int id) { 

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

यह C++ के लिए सामान्य Return Value Optimization से संबंधित है जो आपके द्वारा वर्णित मामले में वास्तविक प्रतिलिपि संचालन करने से बच सकता है। अंतिम परिणाम (या होना चाहिए) जैसा कि एक प्रति किया गया था, लेकिन आपको अनुकूलन के बारे में पता होना चाहिए। इस अनुकूलन की उपस्थिति, कुछ मामलों में, कार्यक्रम के देखने योग्य व्यवहार को बदल सकती है।

Answer 2

आपके मामले में, यह एक प्रति

यदि आपका कोड

subline_t& subline(int, int) 

था तो यह एक संदर्भ है, जो अपरिभाषित व्यवहार में प्राप्त होते हैं वापसी होगी वापस आ जाएगी।

Answer 3

संरचना के लिए subline_t आपने परिभाषित किया है, हाँ, यह हमेशा एक प्रतिलिपि वापस करेगा।

Answer 4

हाँ, एक समारोह के लिए मामलों में एक struct, की एक ऐसी struct इसे कॉपी जाएगा (लेकिन संकलक प्रतिलिपि दूर अनुकूलन करने के लिए शक्ति दी गई है return वापस जाने के लिए, अनिवार्य रूप से जहां यह साबित कर सकते हैं अनुकूलन शब्दार्थ अहानिकर है की घोषणा की, आप कर सकते हैं कारण "जैसा कि" प्रतिलिपि की गारंटी थी)।

हालांकि, ने इसे सी ++ के रूप में टैग किया है, सी नहीं, क्यों नहीं, struct को कन्स्ट्रक्टर के साथ आपूर्ति क्यों नहीं करें ...? लगता है स्पष्ट और अधिक प्रत्यक्ष ... -!)

Answer 5

हाँ, वापसी एक प्रति

subline_t subline(int x1, int x2, int id) { 
     subline_t t = { x1, x2, id }; 
     return t; 
} 

आप एक referencer डाल है, तो इसका एक प्रति नहीं है

subline_t & subline(int x1, int x2, int id) { 
     subline_t t = { x1, x2, id }; 
     return t; // will result in corruption because returning a reference 
} 

Answer 6

यह हमेशा होगा एक प्रतिलिपि वापस करें।

यदि आप वापसी पर ऑब्जेक्ट की प्रतिलिपि बनाने के प्रदर्शन हिट से बचना चाहते हैं, तो आप एक पॉइंटर घोषित कर सकते हैं, नए का उपयोग करके ऑब्जेक्ट का एक उदाहरण बना सकते हैं, और पॉइंटर वापस कर सकते हैं। उस स्थिति में, सूचक की प्रतिलिपि बनाई जाएगी, लेकिन वस्तु नहीं होगी।

Answer 7

बस एफवाईआई, क्योंकि इस मामले में आप केवल एक संरचना (ure) का उपयोग कर रहे हैं, यह सी भाषा में समान व्यवहार है।

हालांकि इस एक भाषा की सुविधा है, यह है सिफारिश की है कि यह सी में

Answer 8

returing वस्तुओं नहीं किया जाएगा ++ मूल्य से और नहीं किया संदर्भ द्वारा।

संदर्भ subline_t को टी गुंजाइश

नहीं से बाहर चला जाता है, वस्तु copyed है।

वापसी कथन हमेशा

हाँ कॉपी करेंगे और नहीं ... शब्दार्थ यह नकल की तरह बर्ताव करता है, लेकिन वहाँ कुछ है कि वापसी मान अनुकूलन कि प्रतिलिपि निर्माता बचाता है कहा जाता है।

foo make_foo() 
{ 
    foo f(1,2,3); 
    return f; 
} 

foo ff=make_foo(); /// ff created as if it was created with ff(1,2,3) -- RVO 
foo ff2; 
ff2=make_foo(); /// instance of foo created and then copied to ff2 and then old 
       /// instance destroyed 

Answer 9

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

हालांकि, सी ++ में ऐसा करने का मूर्ख तरीका रचनाकारों और असाइनमेंट सूचियों के साथ है। यह कोड और डेटा संरचनाओं को बेहतर ढंग से समाहित करता है, और आपको इंटरमीडिएट ऑब्जेक्ट्स की पर्याप्तता से बचने की अनुमति देता है जो कंपाइलर्स निर्माण/विनाश/प्रतिलिपि के लिए स्वतंत्र हैं।

struct subline_t { 
     int x1;/*top*/ 
     int x2;/*bottom*/ 
     int id; 

// constructor which initialises values with assignment list. 
    subline_t(int the_x1, int the_x2, int the_id) : 
    x1(the_x1), 
    x2(the_x2), 
    id(the_id) 
    { 
    } 
}; 


int main(){ 
    subline_t line2(0,0,0); // never requires a copy or assignment. 
} 

Answer 10

लौटा हुआ वर्ग या संरचना प्रतिलिपि बनाई जा सकती है या नहीं, भले ही संकलक प्रतिलिपि का उपयोग करता हो। What are copy elision and return value optimization? के उत्तरों को देखें, संक्षेप में, चाहे यह कॉपी किया गया हो या नहीं, कई चीजों पर निर्भर करता है।

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

अंत में, यदि आप कॉपी एलिशन पर भरोसा नहीं कर सकते हैं और आप प्रतियों से बचना चाहते हैं, तो आप संदर्भ के बजाय unique_ptr का उपयोग और वापसी कर सकते हैं। ऑब्जेक्ट की प्रतिलिपि नहीं बनाई जाएगी, हालांकि unique_ptr स्वयं कॉपी हो सकता है या नहीं (फिर से, कॉपी एलिशन पर निर्भर करता है!)। unique_ptr की प्रतिलिपि बनाना/स्थानांतरित करना बहुत सस्ता है यदि unique_ptr की प्रतिलिपि कुछ कारणों से नहीं होती है।

#include <memory> 

struct A { 
public: 
    int x; 
    int y; 

    A(int x, int y) : x(x), y(y) { 
    } 
}; 

std::unique_ptr<A> returnsA() { 
    return std::make_unique<A>(3, 4); 
} 

int main() { 
    auto a = returnsA(); 
} 

ध्यान दें कि आप (दुर्भाग्य से) एक निर्माता अपने struct के लिए घोषित करना चाहिए, वरना make_unique सी के ++ अपर्याप्तता के कारण संकलन नहीं होगा:

यहाँ एक उदाहरण unique_ptr का उपयोग कर रहा है।