सी ++ स्थिरांक lvalue संदर्भ

Question

मैं मान लिया जाये कि है:

• वर्ग एक जो गैर copyable है
• वर्ग बी जो एक सदस्य के रूप में स्थिरांक एक & है एक (और इसके constructer में एक एक लेता है और यह सेट इसके प्रारंभ सूची)
• एक समारोह में A GenerateA();

इसका मतलब यह है कि यह करने के लिए वैध होना चाहिए: बी (GenerateA()) ?

यानी, क्या कॉन्स्ट रेफ का मतलब है कि ए उत्पन्नकर्ता ए() रिटर्न का कोई प्रति नहीं किया जाता है? और क्या इसका मतलब यह है कि लौटा अस्थायी का दायरा तब तक बढ़ाया जाता है जब तक बी मौजूद है?

संपादित करें: टिप्पणियों से युद्ध प्रश्न: यह एक स्थानीय एक को GenerateA() से एक एक & वापस जाने के लिए स्वीकार्य है, अगर lvalue एक स्थिरांक एक & है?

धन्यवाद!

Answer 1

के रूप में यह पहले से ही दूसरों के द्वारा कहा गया है, A GenerateA() अगर A copyable नहीं है संकलन नहीं कर सकते।

स्थिरांक रेफरी के बारे में: नहीं, अस्थायी के जीवनकाल बी के जीवनकाल मानक [12.2.5] के लिए बढ़ा दिया नहीं किया जाएगा राज्यों:

एक में एक संदर्भ सदस्य के लिए एक अस्थायी बाध्य कन्स्ट्रक्टर का सीटीओ-प्रारंभकर्ता (12.6.2) तब तक बना रहता है जब तक कि निर्माता बाहर निकलता है। [...] फ़ंक्शन रिटर्न स्टेटमेंट (6.6.3) में लौटाए गए मान के लिए अस्थायी बाध्य कार्य पूरा होने तक जारी रहता है।

तो हाँ, एक अस्थायी के जीवनकाल का विस्तार कुछ संदर्भों में मौजूद है (और कुछ समय वास्तव में उपयोगी है: see this article), लेकिन एक आप प्रस्तुत में नहीं।

अपने अंतिम प्रश्न के संबंध में, GenerateA() से स्थानीय चर के संदर्भ को वापस करने के लिए कानूनी नहीं है (और परिणाम को बाध्यकारी संदर्भ में किसी भी मदद से नहीं होगा)।

Answer 2

हाँ और नहीं।

हाँ, स्थिरांक संदर्भ अस्थायी चर के लिए बाध्य होगा। नहीं, कॉन्स संदर्भ जो वर्ग के सदस्य हैं, वे स्वचालित अवधि के साथ जीवनकाल का विस्तार नहीं करते हैं।

Answer 3

यदि A गैर-प्रतिलिपि योग्य है, तो फ़ंक्शन A GenerateA() अमान्य है क्योंकि मान द्वारा लौटने से एक प्रतिलिपि बनाने की आवश्यकता होती है।

यदि फ़ंक्शन इसके बजाय संदर्भ देता है (यानी A &GenerateA()) और संदर्भ स्थानीय रूप से बनाए गए A ऑब्जेक्ट के लिए है, तो जैसे ही फ़ंक्शन निकलता है, यह अमान्य हो जाता है। सी ++ में कचरा संग्रह का कोई भी रूप नहीं है, इसलिए जब तक उपयोग में है तब तक ऑब्जेक्ट के जीवनकाल को "विस्तारित" करने का कोई तरीका नहीं है।

Answer 4

यहाँ एक उदाहरण है:

#include <iostream> 
using namespace std; 

int& GenX(bool reset) 
{ 
    static int* x = new int; 
    *x = 100; 
    if (reset) 
    { 
     delete x; 
     x = new int; 
     *x = 200; 
    } 
    return *x; 
} 

class YStore 
{ 
public: 
    YStore(int& x); 
    int& getX() { return my_x; } 
private: 
    int& my_x; 
}; 

YStore::YStore(int& x) 
: my_x(x) 
{ 
} 

int main() 
{ 
    YStore Y(GenX(false)); 
    cout << "X: " << Y.getX() << endl; 
    GenX(true); // side-effect in Y 
    cout << "X: " << Y.getX() << endl; 
    return 0; 
} 

आउटपुट:

X: 100 
X: 200