संदर्भ स्थिर चर परिभाषा में कब्जा

Question

#include <iostream> 

void foo(int k) { 
    static auto bar = [&]{ 
     std::cout << k << std::endl; 
    }; 
    bar(); 
} 

int main() { 
    foo(1); foo(2); foo(3); // output is correct: 1, 2, 3 
} 

चेक समारोह foo, एक कैसे स्थिर लैम्ब्डा संदर्भ द्वारा कश्मीर कैप्चर कर रहा है। ऐसा लगता है, और यह int के बजाय अधिक जटिल डेटाटाइप के साथ हो रहा है।

क्या यह उम्मीद है? क्या कोई गारंटी है कि के का पता foo के प्रत्येक आमंत्रण के लिए समान होगा, या यह UB है?

अग्रिम धन्यवाद, और खेद अगर यह पहले से उत्तर दिया गया (मैं सफलता के बिना एक समान प्रश्न खोजने की कोशिश की थी)

Answer 1

यह अपरिभाषित व्यवहार है।

प्रति पैरा

5.2.2 सी ++ 11 समारोह कॉल भाव के बारे में स्टैंडर्ड और उनके मापदंडों के प्रारंभ के/4:

[...] एक पैरामीटर के जीवनकाल समाप्त होता है जब समारोह जिसमें परिभाषित रिटर्न है। प्रत्येक पैरामीटर का प्रारंभ और विनाश कॉलिंग फ़ंक्शन के संदर्भ में होता है। [...]

इसलिए, आपका लैम्ब्डा एक संदर्भ संग्रहीत करेगा जो फंक्शन कॉल रिटर्न के तुरंत बाद लटकता हो जाता है।

इस मामले में, कार्यान्वयन मुक्त (और संभावना) प्रत्येक कार्य कॉल, जो शायद कारण है कि आप की उम्मीद उत्पादन देख रहे हैं है के लिए एक ही पते पर समारोह पैरामीटर बनाना है।

हालांकि, इस व्यवहार स्टैंडर्ड द्वारा अनिवार्य नहीं है - इसलिए, आप उस पर निर्भर नहीं होना चाहिए (यदि यह मामला था, अपने कोड कानूनी होगा की वजह से 3.8/7)।

Answer 2

कारण यह शायद "काम" है अपने उदाहरण में है कि कॉल स्टैक हमेशा एक ही तरीके अस्तर किया जाता है। इसके बजाय इसे आज़माएं और देखें कि क्या आपको अभी भी "अपेक्षित" आउटपुट मिलता है या नहीं।

#include <iostream> 

void foo(int k) { 
    static auto bar = [&]{ 
     std::cout << k << std::endl; 
    }; 
    bar(); 
} 

void baz(int k) { 
    std::cout << "baz: "; 
    foo(k); 
} 

int main() { 
    foo(1); baz(2); foo(3); 
}