क्या यह लैम्बडा के लिए मान्य है, अनिवार्य रूप से, अपने आप को बंद कर दें?

Question

क्या यह लैम्ब्डा रिकर्सन मान्य है?

#include <functional> 
#include <iostream> 

int main() { 
    std::function<int(int)> g = [&g](int k) { 
     return (k ? k * g(k-1) : 1); 
    }; 

    std::cout << g(10); // 3628800 
} 

यह appears to compile and run ok, लेकिन मैं एक ही बयान है कि मैं इसे आरंभ में g से अधिक बंद करने के बारे में घबरा रहा हूँ। 1-10 के पैमाने पर सख्त वैधता ...?

Answer 1

बिंदु है जिस पर आप संदर्भ द्वारा g पर कब्जा, यह घोषित किया गया है, इसलिए नाम उपयोग के लिए उपलब्ध है:

3.3.2/1 एक नाम के लिए घोषणा की बात अपने के तुरंत बाद है पूरा declarator (खण्ड 8) और उसके प्रारंभकर्ता

आप सीमित विधियों में वस्तुओं का उपयोग करने के पहले वे initialised कर रहे हैं अनुमति दी जाती है इससे पहले कि - मूल रूप से, कुछ भी है कि मूल्य पर निर्भर नहीं करता ठीक है:

3.8/6 किसी ऑब्जेक्ट के जीवनकाल से पहले शुरू हो गया है लेकिन ऑब्जेक्ट पर कब्जा करने के बाद आवंटित किया गया है [...] मूल वस्तु को संदर्भित करने वाला कोई भी ग्लूबल उपयोग किया जा सकता है लेकिन केवल तरीकों से सीमित है। [...] glvalue के गुणों का उपयोग जो उसके मूल्य पर निर्भर नहीं है अच्छी तरह से परिभाषित है।

तो मेरी समझ से, आप जो कर रहे हैं वह अच्छी तरह से परिभाषित है।

(हालांकि, अल्ट्रापेडेंटिक होने के नाते, मुझे नहीं लगता कि यह निर्दिष्ट किया गया है कि स्वचालित ऑब्जेक्ट के लिए संग्रहण आवंटित किया जाता है, और 8.3.2/5 कहता है कि परिभाषित किए बिना "एक वैध ऑब्जेक्ट को संदर्भित करने के लिए एक संदर्भ प्रारंभ किया जाएगा" "मान्य" है, इसलिए तर्क देने का दायरा है कि यह अच्छी तरह से परिभाषित नहीं है)।