कौन सा मानक शब्द हमें बताता है कि रीफ-टू-कॉन्स्ट अस्थायी आजीवन विस्तार केवल "एक बार काम करता है"?

Question

मैं चैट में निम्न उदाहरण में दिखाया गया था:

#include <iostream> 
struct foo { ~foo() { std::cout << "destroying!\n"; } }; 
const foo& func(const foo& a, const foo&) { return a; } 

int main() 
{ 
    foo x; 
    const foo& y = func(foo(), x); 
    std::cout << "main\n"; 
} 

Output:

destroying! 
main 
destroying! 

यह प्रदर्शित करने के लिए कि foo अस्थायी के जीवनकाल main की सम्पूर्णता पर लागू नहीं होता दिखाई देता है, भले ही यह हो जाता है उस दायरे में एक ref-to-const तक बाध्य।

संभवतः, जीवनकाल विस्तार केवल "एक बार काम करता है"; अर्थात, यह लागू होता है जब func के तर्क शुरू किए जाते हैं, लेकिन लगातार बाइंडिंग के माध्यम से पारित नहीं किया जाता है।

क्या मेरी व्याख्या सही है? यदि ऐसा है (और यदि कोई व्यक्तिगत अनुच्छेद सीधे लागू होता है) मानक व्यवहार क्या है जो इस व्यवहार को परिभाषित करता है?

Answer 1

यह दो अंक रिपोर्ट, http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_active.html#1299 और http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_active.html#1568 का विषय है।

पूर्व समस्या रिपोर्ट, जिसमें से मैं संवाददाता हूं, इन सभी मामलों को कवर करने का इरादा था, जहां एक संदर्भ अस्थायी वस्तु से जुड़ा हुआ है, लेकिन इसका उद्देश्य जीवन भर में विस्तारित नहीं है। इस मुद्दे के शरीर में विवरण केवल अस्थायी अभिव्यक्तियों के साथ उलझन में आने वाले प्रावधानों का उल्लेख करता है (जो वास्तव में तय करता है कि उनका मूल्यांकन किस प्रकार किया जाता है या नहीं)। लेकिन मानक में इनके साथ अंतराल और xvalues ​​भी उलझन में हैं। एक उदाहरण जहां static_cast के संदर्भ में होता है वह मुद्दा संख्या # 1568 है (जिसमें "अस्थायी परिवर्तनीय" का उपयोग इस मामले को और भ्रमित करता है)।

वास्तव में, यह:

एक समारोह कॉल (5.2 में एक संदर्भ पैरामीटर के लिए एक अस्थायी बाध्य।2) कॉल युक्त पूर्ण अभिव्यक्ति के पूरा होने तक जारी रहता है।

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

Answer 2

आप लगभग सही हैं। यह व्यवहार वास्तव में फ़ंक्शन कॉल से आता है, न कि किसी भी प्रकार के "केवल एक बार काम करता है" नियम के कारण।

इधर, पूरे जीवन भर के विस्तार "सुविधा" के लिए शब्दों है उचित नियम के साथ बोल्ड में जोर दिया:

[C++11: 12.2/5]:[..] अस्थायी करने के लिए जो संदर्भ बाध्य है या अस्थायी है कि एक subobject जो के संदर्भ में ही है की पूरी वस्तु संदर्भ के जीवन भर के लिए बनी रहती है को छोड़कर:

• [..]
• फ़ंक्शन कॉल (5.2.2) में संदर्भ पैरामीटर के लिए अस्थायी बाध्य कॉल युक्त पूर्ण अभिव्यक्ति को पूरा होने तक जारी रहता है।
• [..]

Answer 3

यहाँ लागू होता है सामान्य ज्ञान है जो नियम। मानक खराब शब्द है, और वास्तव में इसकी गारंटी देता है। लेकिन इसे लागू करने के लिए व्यावहारिक तरीका नहीं है।

Answer 4

शायद मैं थोड़ा धीमा हूं लेकिन मेरे लिए यह स्पष्ट नहीं हुआ कि इस प्रश्न का समाधान अन्य उत्तरों को पढ़ने से क्या है। इस प्रकार मैंने दिखाए गए कोड को संशोधित किया और दूसरों के लिए सारांशित करना चाहता था: जवाब है, आपको अपरिभाषित व्यवहार मिलता है यदि आप y तक पहुंचते हैं!

भागो इस कोड:

struct foo { 
    int id; 
    foo(int id) : id(id) { std::cout << "ctor " << id << std::endl; }; 
    ~foo() { std::cout << "dtor " << id << std::endl; } 
}; 
const foo& func(const foo& a, const foo&) { return a; } 

int main(int argc, char** argv) { 
    foo x(1); 
    const foo& y = func(foo(2), x); 
    std::cout << "main " << y.id << std::endl; 
    return 0; 
} 

उत्पादन मेरे लिए है:

ctor 1 
ctor 2 
dtor 2 
main 2 
dtor 1 

लेकिन लाइन main 2अपरिभाषित व्यवहार है।