लैम्ब्डा एक बूल में क्यों परिवर्तित होता है जिसका मूल्य सत्य है?

Question

#include <iostream> 

void IsTrue(const bool value) { 
    if (value) { 
    std::cout << "value is True!\n"; 
    } 
} 

int main() 
{ 
    IsTrue([]() { ; /* some lambda */ }); 

    return 0; 
} 

आउटपुट:

value is True! 

क्यों लैम्ब्डा जीसीसी & बजना पर true को मूल्यांकन करता है? एमएसवीसी इसे नहीं बना सकता (लैम्ब्डा को बूल में परिवर्तित नहीं कर सकता)।

क्या यह एक कंपाइलर बग है? या मानक के कौन सा अनुच्छेद यह अनुमति देता है?

Answer 1

सी ++ 14 मानक (§5.1.2) का कहना है:

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

चूंकि एक फ़ंक्शन पॉइंटर bool पर स्पष्ट रूप से परिवर्तनीय है, तो आपको जो परिणाम दिखाया गया है, आपको मिलती है। यह पूरी तरह से कानूनी है।

एमएसवीसी इसे संकलित नहीं करता है क्योंकि यह रूपांतरण ऑपरेटर विभिन्न कॉलिंग सम्मेलनों (__stdcall, __cdecl, आदि) के साथ अधिभारित है। x64 के लिए संकलन करते समय उन सभी कॉलिंग सम्मेलनों का उपयोग नहीं किया जाता है, इसलिए केवल एक रूपांतरण ऑपरेटर है और यह ठीक से संकलित करता है।