क्लास एक संदर्भ प्रतिलिपि रखने वाला वर्ग क्यों है?

Question

एक संदर्भ मैं निम्नलिखित कोड दुखी विफल उम्मीद करेंगे पकड़े एक वर्ग बीत रहा है, लेकिन यह संकलित:

#include <iostream> 

struct ReferenceHolder 
{ 
    std::string& str; 

    ReferenceHolder(std::string& str) 
    : str(str) 
    {} 
}; 

// Why does this compile? 
ReferenceHolder f() { 
    std::string str = "Hello"; 
    return ReferenceHolder(str); 
} 

int main() { 
    ReferenceHolder h = f(); 
    std::cout << "Should be garbage: " << h.str << '\n'; 
    return 0; 
} 

संकलक: जी ++ 4.7.2 (-std साथ = C++ 11)

संपादित करें: यहां तक ​​कि -फनो-एलिइड-कन्स्ट्रक्टर के साथ यह खुशी से संकलित करता है

Answer 1

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

संदर्भ डिफ़ॉल्ट-प्रारंभिकरण और प्रति-कार्य रोकता है; इसलिए निम्नलिखित कारणों से निम्नलिखित छोटे बदलाव विफल हो जाएंगे:

ReferenceHolder h; // ERROR: can't default-initialise the reference 
h = f();   // ERROR: can't reassign the reference. 

Answer 2

इस कोड में अपरिभाषित व्यवहार है, the classic answer from Eric Lippert देखें।

h में संदर्भ f() से वापसी मान में संदर्भ है, जो बदले अभिव्यक्ति में ReferenceHolder के लिए बाध्य है के लिए बाध्य है, और इसलिए h संदर्भ str इसके दायरे से बाहर f() से।