व्युत्पन्न वर्ग कन्स्ट्रक्टर पर कोई भी वादा नहीं: क्या इसका उपयोग बेस कन्स्ट्रक्टर पर ध्यान देने के बिना किया जा सकता है?

Question

मान लीजिए मैं एक वर्ग

class C : public B { 
    public: 
    C() noexcept; 
} 

noexcept विनिर्देशक आधार वर्ग द्वारा एक ही वादा आवश्यकता होती है है? यही है, जब मैं अस्वीकरण का उपयोग करने पर विचार कर रहा हूं, तो क्या मैं सिर्फ सी :: सी() के व्यवहार को देखता हूं या क्या मुझे यह भी विचार करने की आवश्यकता है कि बी :: बी() अपवाद फेंक सकता है या नहीं?

उदाहरण के लिए, यदि बी :: बी अपवाद फेंकता है, तो क्या यह सी :: सी या उस कोड पर प्रचारित करता है जो एक नए वर्ग के उदाहरण के लिए पूछ रहा था? - यदि सी :: सी को प्रचारित किया जाता है, तो यह एक कारण होगा कि कन्स्ट्रक्टर के लिए कोई संदर्भ नहीं है यदि बेस क्लास कन्स्ट्रक्टर के लिए अस्वीकार्य नहीं है।

Answer 1

तकनीकी रूप से † आधार वर्ग निर्माता की कोई आवश्यकता noexcept घोषित करने की नहीं है, लेकिन जब एक व्युत्पन्न निर्माता कि noexcept घोषित किया जाता है द्वारा कहा जाता है कि यह, फेंक नहीं करना चाहिए।

तो हाँ, आपको यह विचार करने की आवश्यकता है कि बेस क्लास कन्स्ट्रक्टर फेंक सकता है (अपवाद या अन्यथा)।

मुझे लगता है कि मेरा प्रश्न पूछने का एक बेहतर तरीका यह है: अपवाद कहां जाता है?

कॉल

इस तरह प्रवाह:

caller 
    -> derived constructor (the noexcept applies to this) 
    -> subobject constructors (includes bases) 
    - derived constructor body (not a call, but part of the derived constructor that is executed after the subobjects are constructed) 

तो, अगर एक subobject निर्माता फेंकता है (चाहे वह एक आधार या सदस्य होना), यह पहली व्युत्पन्न निर्माता है, जो न और करता है को जाता है ^†† अपवाद को निगल सकता है ताकि कन्स्ट्रक्टर को अस्वीकार न किया जाए, तो यह कॉलर को प्रचारित करेगा। लेकिन चूंकि यह है, std::terminate बुलाया जाता है।

तो आधार वास्तव में के रूप में आवश्यक व्युत्पन्न द्वारा, तो यह आवश्यकता को पूरा करता है और अपने आप में noexcept घोषित किया जा सकता तो वहाँ rarly कारण ऐसा करने के लिए नहीं है फेंक नहीं है †। शायद, यदि बेस क्लास लाइब्रेरी का हिस्सा है जिसे सी ++ 03 का समर्थन करना चाहिए, जबकि व्युत्पन्न कक्षा बाद के मानक को मान सकती है, तो यह समझ में आ जाएगा।

^†† यह फ़ंक्शन-ट्राई-ब्लॉक से पकड़ सकता है, लेकिन वे हमेशा फिर से फेंक देंगे।