क्या लैम्ब्डा क्षय टेम्पलेट कोड में पॉइंटर को कार्य करने के लिए चाहिए?

Question

मैंने कहीं पढ़ा है कि कैप्चर सूची खाली होने पर एक लैम्ब्डा फ़ंक्शन पॉइंटर को कार्य करने का क्षय होना चाहिए। केवल एक ही संदर्भ जो मैं पा सकता हूं वह n3052 है। जी ++ के साथ (4.5 & 4.6) यह अपेक्षा के अनुसार काम करता है, जब तक कि लैम्ब्डा टेम्पलेट कोड के भीतर घोषित नहीं किया जाता है।

उदाहरण के लिए निम्न कोड को संकलित करता है:

void foo() { 
    void (*f)(void) = []{}; 
} 

लेकिन यह अब और जब टेम्प्लेट संकलन नहीं करता है (अगर foo वास्तव में कहीं भी कहा जाता है):

template<class T> 
void foo() { 
    void (*f)(void) = []{}; 
} 

संदर्भ में ऊपर, मैं डॉन इस व्यवहार की व्याख्या नहीं देखते हैं। क्या यह g ++ की अस्थायी सीमा है, और यदि नहीं, तो क्या यह (तकनीकी) कारण है कि इसे अनुमति न दें?

Answer 1

मैं इस बात का कोई कारण नहीं सोच सकता कि इसे विशेष रूप से अस्वीकार कर दिया जाएगा। मुझे लगता है कि यह जी ++ की अस्थायी सीमा है।

मैं भी कुछ अन्य बातें करने की कोशिश की:

template <class T> 
void foo(void (*f)(void)) {} 

foo<int>([]{}); 

काम करता है।

typedef void (*fun)(void); 

template <class T> 
fun foo() { return []{}; } // error: Cannot convert. 

foo<int>()(); 

यही नहीं करता है (लेकिन करता है, तो foo पैरामिट्रीकृत नहीं है)।

नोट: मैंने केवल जी ++ 4.5 में परीक्षण किया है।