एक स्थिर स्थानीय चर

Question

के लिए अनिर्धारित संदर्भ यह सबसे आसान उदाहरण है जिसके साथ मैं समस्या उत्पन्न कर सकता हूं।

template<class T> 
struct X 
{ 
    static void foo() 
    { 
     static int z = 0; 
     []{ z = 1; }(); 
    } 
}; 

int main() 
{ 
    X<int>::foo(); 
    return 0; 
} 

मैं MinGW 4.6 और 4.7 के साथ यह कोशिश की है, उबंटू में भी जी ++ 4.6 और उन सभी मुझे लिंक त्रुटि "` z 'को अपरिभाषित संदर्भ "देते हैं। तो अब यह मुझे आश्चर्यचकित करता है कि यह कानूनी भी है। वीसी 10 में इसके साथ कोई समस्या नहीं है।

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

Answer 1

जी ++ निम्नलिखित स्वीकार करता है, लेकिन कुलपति ++ नहीं करता है:

[&z]{ z = 1; }(); 

यहाँ z पर कब्जा कर लिया जा रहा है तो ग्राम ++ एक अपरिभाषित संदर्भ के बारे में शिकायत नहीं है। हालांकि:

5.1.2/10:

एक पर कब्जा-सूची में पहचानकर्ता अयोग्य नाम लुकअप (3.4.1) के लिए सामान्य नियमों का उपयोग कर देखा जाता है

; इस तरह के प्रत्येक लुकअप को स्थानीय वैम्बा अभिव्यक्ति के दायरे तक पहुंचने वाली स्वत: संग्रहण अवधि के साथ एक चर मिलेगा।

zनहीं स्वत: भंडारण है। z इसलिए कब्जा नहीं किया जा सकता है। जी ++ व्यवहार इसलिए गलत है, और वीसी ++ सही है।

अपने कोड में, कि कुलपति ++ स्वीकार करता है और जी ++ नहीं करता है:

[]{ z = 1; }(); 

z कुलपति ++ के रूप में स्थिर भंडारण है, जो एक लैम्ब्डा शरीर में अनुमति दी है द्वारा पहुँचा है। g ++ स्पष्ट रूप से उपरोक्त स्थिर चर के लिए z नाम को हल नहीं करता है और इसलिए अपरिभाषित संदर्भ फेंकता है, जबकि यह नहीं होना चाहिए। ;

tl डॉ यह शायद ग्राम में एक बग ++

संपादित है: It is indeed a bug और 4.7 में तय हो गई है।

Answer 2

मुझे समझ में नहीं आता कि यह सामान्य कक्षाओं के लिए क्यों काम करता है, न कि टेम्पलेट्स के लिए। लेकिन आप अगर आप संदर्भ द्वारा स्थानीय चर z कब्जा काम करने के लिए अपने उदाहरण प्राप्त कर सकते हैं:

static void foo() 
{ 
    static int z = 0; 
    [&z]{ z = 1; }(); // Note: [&z] 
} 

विकिपीडिया अधिक जानकारी here है।