सी ++ अस्थायी - "शुद्ध वर्चुअल विधि"

Question

जैसा कि मैं अस्थायी समझता हूं, निम्नलिखित कोड काम करना चाहिए, लेकिन ऐसा नहीं है।

struct base 
{ 
    virtual~base() {} 
    virtual void virt()const=0; 
}; 
struct derived:public base 
{ 
    virtual void virt()const {} 
}; 

const base& foo() {return derived();} 

int main() 
{ 
    foo().virt(); 
    return 0; 
} 

virt के लिए कॉल() एक "शुद्ध आभासी समारोह कहा जाता है" त्रुटि दिखाता है। वह क्यों है, और मुझे क्या करना चाहिए?

Answer 1

ऐसा लगता है कि आप अस्थायी जीवनकाल को बढ़ाने के लिए const संदर्भ की अपेक्षा कर रहे हैं। ऐसी कुछ स्थितियां हैं जहां यह नहीं होती है। उन स्थितियों में से एक है जब एक अस्थायी लौटा रहा है:

दूसरा संदर्भ [जिसमें temporaries पूर्ण अभिव्यक्ति के अंत से एक अलग बिंदु पर नष्ट कर रहे हैं] जब एक संदर्भ के लिए एक अस्थायी करने के लिए बाध्य किया जाता है। अस्थायी जो संदर्भ बाध्य है या अस्थायी है कि एक subobject संदर्भ को छोड़कर संदर्भ के जीवनकाल के लिए बनी ही है जो करने के लिए की पूरी वस्तु है:

[...]

• फ़ंक्शन रिटर्न स्टेटमेंट (6.6.3) में लौटाए गए मूल्य के अस्थायी बाध्यता का जीवनकाल विस्तारित नहीं होता है; रिटर्न स्टेटमेंट में पूर्ण अभिव्यक्ति के अंत में अस्थायी नष्ट हो जाता है।

के बाद वस्तु foo() द्वारा लौटाए के एक सदस्य फ़ंक्शन को कॉल एक lvalue करने वाली rvalue रूपांतरण की जरूरत होगी और वस्तु अमान्य (प्रकार base से प्राप्त नहीं) है, तो आप अपरिभाषित व्यवहार मिलता है:

यदि ऑब्जेक्ट जिस पर glvalue संदर्भित करता है वह T प्रकार का ऑब्जेक्ट नहीं है और T से व्युत्पन्न प्रकार का ऑब्जेक्ट नहीं है, या यदि ऑब्जेक्ट अनियंत्रित है, तो इस प्रोग्राम को जरूरी एक प्रोग्राम में अपरिभाषित व्यवहार है।

Answer 2

आप को नष्ट कर रहे अस्थायी के संदर्भ को वापस कर रहे हैं, जब कथन के अंत में फ़ंक्शन समाप्त होता है और आपको अपरिभाषित व्यवहार मिलता है।

आप अस्थायी के किसी भी प्रकार का संदर्भ वापस नहीं कर सकते हैं और यदि आप base मूल्य से वापस लौटते हैं तो आपको स्लाइसिंग मिल जाएगी, इसलिए यदि आप वास्तव में यह काम करना चाहते हैं, तो आपको std::unique_ptr<base> वापस करना चाहिए।

Answer 3

मुझे नहीं लगता कि आप इस तरह की वस्तुओं के संदर्भ वापस कर सकते हैं। व्युत्पन्न() उदाहरण foo() रिटर्न जैसे ही दायरे से बाहर हो जाता है।

base *foo() { return new derived(); } 

और

foo()->virt(); 

काम करना चाहिए है।

Answer 4

कॉल के दौरान कोई ऑब्जेक्ट नहीं है, स्थानीय ऑब्जेक्ट हटा दिया गया था। देखने के लिए कोई vtable नहीं होगा। आज़माएं:

base& foo() { return *new derived(); } 

Answer 5

आपकी अस्थायी 'व्युत्पन्न()' ऑब्जेक्ट को स्टैक पर आवंटित किया गया है। ऑब्जेक्ट अप-कास्टिंग के साथ इसका कुछ संबंध हो सकता है।

आधार आधार & foo() {व्युत्पन्न * डी = नया व्युत्पन्न(); वापसी * ​​डी; }

मेरे लिए ठीक काम करता है।

Answer 6

इस के लिए समस्या टुकड़ा बदलें:

class A { 
public: 
    const base &foo() { return d; } 
private: 
    derived d; 
}; 

इस तरह ली गई वस्तु के जीवनकाल एक के जीवन के रूप में रूप में लंबे समय है, और किसी भी समस्याओं कभी नहीं होगा।