क्या संकलक किसी फ़ंक्शन की अस्वीकृति का निर्णय ले सकता है?

Question

एक उदाहरण

class X 
{ 
    int value; 
public: 
    X (int def = 0) : value (def) {} 

    void add (int i) 
    { 
     value += i; 
    } 
}; 

जाहिर है, समारोह void X::add (int) किसी भी अपवाद फेंक कभी नहीं होगा करते हैं।

मेरा सवाल है, क्या संकलक कोड का विश्लेषण कर सकता है और अपवादों को संभालने के लिए मशीन कोड उत्पन्न नहीं करने का निर्णय ले सकता है, भले ही फ़ंक्शन noexcept के रूप में चिह्नित न हो?

Answer 1

यदि संकलक साबित कर सकता है कि कोई फ़ंक्शन कभी नहीं फेंकता है, तो इसे अपवादों को संभालने के लिए कोड को हटाने के लिए "As-If" नियम (§1.9, "C++ मानक का प्रोग्राम निष्पादन") द्वारा अनुमत किया जाता है।

हालांकि यह तय करना संभव नहीं है कि कोई फ़ंक्शन सामान्य में कभी फेंक नहीं देगा, क्योंकि यह हलिंग समस्या को हल करने के लिए है।