ओवरलोडेड ऑपरेटर का शॉर्ट सर्किट && और || में सी ++ 17

Question

मैं http://en.cppreference.com/w/cpp/language/operators में पढ़ें:

बूलियन तर्क ऑपरेटरों, ऑपरेटर & & और ऑपरेटर ||

के विपरीत बनाया-इन संस्करणों, भार के उनके बाएँ संकार्य सही से पहले क्रम नहीं है, और (सी ++ 17 तक) शॉर्ट सर्किट लागू नहीं कर सकते मूल्यांकन।

(मेरा जोर)।

ऑपरेटर & & और ऑपरेटर || के लिए सी ++ 17 सहायक शॉर्ट सर्किट के लिए कोई संसाधन या कोड उदाहरण नहीं मिला। क्या यह सी ++ 17 पैरामीटर पैक फोल्ड एक्सप्रेशन से संबंधित है? इसके साथ खेलने की कोशिश की लेकिन ओवरलोडेड ऑपरेटर & & और || के लिए शॉर्ट सर्किट व्यवहार नहीं बना सका सी ++ 17 गुना अभिव्यक्ति के साथ।

कोड:

class A { 
    bool val; 
public: 
    A(bool b) : val(b) { cout << "A born as " << boolalpha << val << endl;} 
    template<typename ...Args> 
    bool operator&&(Args&&... args) { 
     return (val && ... && args.val); 
    }  
}; 

int main() { 
    cout << boolalpha; 
    cout << (A{false} && A{true}) << endl; 
    cout << (A{true} && A{false}) << endl; 
    cout << (A{false} && A{false}) << endl; 
} 

आउटपुट:

A born as true 
A born as false 
false 
A born as false 
A born as true 
false 
A born as false 
A born as false 
false 

http://coliru.stacked-crooked.com/a/f0b5325899c2fe6b

नोट: के अनुक्रम बाएं से दाएं भी वर्तमान जीसीसी संस्करण में नहीं हो रहा है, के साथ संकलित सी ++ 17 झंडा।

Answer 1

यह कथन शॉर्ट-सर्किट मूल्यांकन के बारे में नहीं है। यह ऑपरेटरों का मूल्यांकन करने के आदेश के बारे में है।

प्री-सी ++ 17, अधिभारित ऑपरेटरों के मूल्यांकन के लिए आदेश & & और || संकलक परिभाषित किया गया था। सी ++ 17 & & और || के लिए बाएं से दाएं के मूल्यांकन के एक स्पष्ट क्रम को परिभाषित करता है, चाहे वे अधिभारित हों या नहीं।

शॉर्ट सर्किट मूल्यांकन अभी भी अंतर्निहित ऑपरेटरों पर लागू होता है।

ध्यान दें कि आपके द्वारा उद्धृत वास्तविक पृष्ठ पर, जो भाग हाइलाइट किया गया है वह एक विशिष्ट संस्करण पर लागू होता है। वह हिस्सा अनुक्रमिक आदेश के बारे में है, शॉर्ट-सर्किट मूल्यांकन के बारे में नहीं।