क्या सी ++ 0x समर्थन __stdcall या बाहरी "सी" कैप्चर-कुछ भी नहीं है lambdas?

Question

कल मैं इस बारे में सोच रहा था कि विंडोज एपीआई कार्यों के लिए कॉलबैक लिखने के लिए सी ++ 0x लैम्ब्डा फ़ंक्शंस की सुविधा का उपयोग करना संभव होगा या नहीं।

उदाहरण के लिए, अगर मैं EnumChildProc के रूप में EnumChildWindows के साथ लैम्ब्डा का उपयोग करना चाहता हूं तो क्या होगा? कुछ की तरह:

EnumChildWindows(hTrayWnd, CALLBACK [](HWND hWnd, LPARAM lParam) { 
     // ... 
     return static_cast<BOOL>(TRUE); // continue enumerating 
    }, reinterpret_cast<LPARAM>(&myData)); 

एक अन्य प्रयोग किया जाएगा सी दिनचर्या के लिए extern "C" कॉलबैक लिखने के लिए। उदा .:

my_class *pRes = static_cast<my_class*>(bsearch(&key, myClassObjectsArr, myClassObjectsArr_size, sizeof(my_class), extern "C" [](const void *pV1, const void *pV2) { 
     const my_class& o1 = *static_cast<const my_class*>(pV1); 
     const my_class& o2 = *static_cast<const my_class*>(pV2); 

     int res; 
     // ... 
     return res; 
    })); 

क्या यह संभव है?

मैं समझ सकता हूं कि चरम पर कब्जा करने वाले लैम्ब्स कभी भी सी के साथ संगत नहीं होंगे, लेकिन कम से कम मुझे लगता है कि कैप्चर-कुछ नहीं लैम्बडा संगत हो सकता है।

Answer 1

काम करने के लिए सूचक के लिए are implicitly convertible पर कब्जा किए बिना Lambdas (बंद प्रकार द्वारा परिभाषित एक गैर-स्पष्ट रूपांतरण फ़ंक्शन द्वारा)।

एफसीडी यह निर्दिष्ट नहीं करता कि कौन सी भाषा उस फ़ंक्शन पॉइंटर प्रकार के फ़ंक्शन प्रकार को जोड़ती है, इसलिए यदि आपको इस फ़ंक्शन पॉइंटर को सी फ़ंक्शंस में पास करने की आवश्यकता है, तो C++ फ़ंक्शंस और सी फ़ंक्शंस के कॉलिंग कन्वेंशन को होना आवश्यक है वही। मेरा मानना ​​है कि विंडोज़ पर, हालांकि यह मामला है। तो तुम 5.1.2/6 पर Windows API कार्यों

typedef void(*callbackType)(void *userData); 
extern "C" void someCFunction(callbackType callback); 

int main() { 
    someCFunction([](void *userData) { /* ... */ }); 
} 

FCD शब्दों के लैम्ब्डा पारित करने के लिए सक्षम होना चाहिए:

कोई लैम्ब्डा पर कब्जा के साथ एक लैम्ब्डा अभिव्यक्ति के लिए बंद करने के प्रकार एक सार्वजनिक गैर आभासी है गैर-स्पष्ट कॉन्स्ट रूपांतरण फ़ंक्शन को पॉइंटर पर समान पैरामीटर और रिटर्न प्रकार को बंद करने के प्रकार के फ़ंक्शन कॉल ऑपरेटर के रूप में कार्य करने के लिए। इस रूपांतरण फ़ंक्शन द्वारा लौटाए गए मान को उस फ़ंक्शन का पता दिया जाएगा, जब इसे लागू किया जाता है, तो बंद करने के प्रकार के फ़ंक्शन कॉल ऑपरेटर को आविष्कार करने के समान ईएफएफ ईटीटी होता है।

मुझे लगता है कि अंतिम स्टैंडर्ड एक नोट है कि कहते हैं, सी लिंकेज समारोह संकेत और सी ++ लिंकेज समारोह संकेत दोनों को ही रूपांतरण समारोह है कि वहाँ सी समारोह संकेत करने के लिए परिवर्तनीयता के रूप में इस कार्यक्षमता के लक्ष्य में से एक है होना चाहिए।

Answer 2

कोई विशेष कारण नहीं है कि इसे लैम्ब्स को कैप्चर करने के लिए विस्तारित नहीं किया जाना चाहिए। इसके लिए कुछ गतिशील कोड पीढ़ी की आवश्यकता होती है, लेकिन यह कंपाइलर लेखकों की बुद्धि से परे नहीं होनी चाहिए, और यह पुराने सी एपीआई के साथ परिमाण को आसान बनाने के आदेशों के साथ अंतःक्रिया करेगा - बिना किसी शून्य के * के माध्यम से पैरामीटर पारित करने की आवश्यकता नहीं है (जो सभी नहीं एपीआई भी पेशकश करते हैं)।

Answer 3

एक पर कब्जा कम लैम्ब्डा का रूपांतरण से समारोह सूचक परिणामों की भाषा लिंकेज सी ++ 11 मानक में निर्दिष्ट नहीं किया गया था लेकिन defect report 1557 में संबोधित किया गया था कहते हैं जो:

5.1.2 [expr .prim.lambda] अनुच्छेद 6 बंद प्रकार के रूपांतरण फ़ंक्शन के फ़ंक्शन प्रकार की भाषा लिंक निर्दिष्ट नहीं करता है।

और संकल्प था कि भाषा लिंकेज सी ++ होना चाहिए:

कोई लैम्ब्डा पर कब्जा के साथ एक लैम्ब्डा अभिव्यक्ति के लिए बंद करने के प्रकार के लिए एक सार्वजनिक गैर आभासी गैर स्पष्ट स्थिरांक रूपांतरण कार्य है सी ++ भाषा संबंध (7.5 [dcl.link]) के साथ काम करने के लिए सूचक। बंद पैरामीटर और रिटर्न प्रकार को बंद करने के प्रकार के फ़ंक्शन कॉल ऑपरेटर के रूप में रखना। मान दिया ...

हम मसौदा सी ++ 14 मानक में इस भाषा का दर्जा है, क्योंकि DRWP ऐसा लगता है इस के लिए सी ++ 11 लागू नहीं होता पा सकते हैं,।