स्कोप ब्लॉक समाप्त होने से पहले गैर-नामित सी ++ ऑब्जेक्ट्स क्यों नष्ट हो जाते हैं?

Question

निम्न कोड एक, दो, तीन प्रिंट करता है। क्या यह सभी सी ++ कंपाइलर्स के लिए वांछित और सही है?

class Foo 
{ 
     const char* m_name; 
public: 
     Foo(const char* name) : m_name(name) {} 
     ~Foo() { printf("%s\n", m_name); } 
}; 

void main() 
{ 
     Foo foo("three"); 
     Foo("one"); // un-named object 
     printf("two\n"); 
} 

Answer 1

पूर्ण अभिव्यक्ति के अंत तक एक अस्थायी चर रहता है। यह अर्धविराम पर समाप्त होता है।

यह 12.2/3 में है:

अस्थायी वस्तुओं पूर्ण अभिव्यक्ति (1.9) कि (lexically) बिंदु है जहां वे शामिल होते हैं का मूल्यांकन करने में अंतिम चरण के रूप में नष्ट कर रहे हैं।

आपके व्यवहार की गारंटी है।

दो स्थितियां हैं, यदि मिले, तो अस्थायी जीवनकाल का विस्तार होगा। पहला यह है कि जब यह किसी ऑब्जेक्ट के लिए प्रारंभकर्ता होता है। दूसरा तब होता है जब एक संदर्भ अस्थायी से बंधे होते हैं।

Answer 2

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

यदि यह मामला नहीं था, तो कंपाइलर फ़ंक्शन कॉल में अस्थायी ऑब्जेक्ट्स को अनुकूलित करने में सक्षम नहीं होंगे।

Answer 3

हां, यह वांछित है।

Foo foo("three") एक सामान्य वस्तु बनाता है जो दायरा समाप्त होने पर नष्ट हो जाएगा।

Foo("one") एक अस्थायी वस्तु बनाता है, जो निर्देश के अंत में नष्ट हो जाता है [1]। क्यूं कर? क्योंकि निर्देश समाप्त होने के बाद आप इसका उपयोग नहीं कर सकते हैं।

[1] जानबूझकर सरलीकरण: मुझे अनुक्रम बिंदु कहा जाना चाहिए था।

Answer 4

अस्थायी वस्तुओं के जीवनकाल को नियंत्रित करने वाले नियमों के पास स्कोप की धारणा से कोई लेना देना नहीं है। स्कोप नाम की संपत्ति है, और अस्थायी वस्तुओं के नाम नहीं हैं। दूसरे शब्दों में, अस्थायी वस्तुओं का कोई दायरा नहीं है।

अधिकांश समय एक अस्थायी वस्तु का जीवनकाल उस अभिव्यक्ति को उत्पन्न करने वाली पूर्ण अभिव्यक्ति के अंत में समाप्त होता है, जो आपने अपने प्रयोग में देखा है। यह सामान्य नियम है जिसमें कुछ अपवाद हैं। मुख्य एक है कि अगर आप तुरंत अपने अस्थायी ऑब्जेक्ट के संदर्भ देते हैं, वस्तु के जीवनकाल संदर्भ

const Foo &rfoo = Foo("one"); 

ऊपर अस्थायी के जीवनकाल से मिलान करने के रूप में लंबे समय के रूप में rfoo जीवन जीने होगा बढ़ाया जाएगा है।

Answer 5

क्योंकि मानकों की समिति गुम हो गई। ऐसा इसलिए होता है क्योंकि उन्होंने इसे करने के लिए चुना है। इसे इस तरह से करने के लिए परिभाषित किया गया है। इसे गुमनाम के साथ एक अज्ञात उदाहरण माना जाना चाहिए जैसा कि इसे नाम दिया गया था। तात्कालिकता के बिंदु से ब्लॉक के अंत तक। जाहिर है, उन्होंने सोचा कि एकमात्र उपयोग अस्थायी लोगों को उन कार्यों में गुजरने के लिए था जहां इसे ढेर पर धकेल दिया गया था और फ़ंक्शन कॉल के अंत में ढेर से पॉप आउट किया गया था ...

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