std के विनाशक ओवरराइडिंग: अपवाद

Question

निम्न प्रोग्राम g ++ 4.4 में संकलित नहीं होता है यदि line 8 टिप्पणी की गई है। क्यूं कर? ऐसा लगता है कि जब मैं std::exception कन्स्ट्रक्टर ओवरराइड करता हूं, तो मुझे इसके विनाशक को भी ओवरराइड करना होगा। इसके लिए क्या कारण है?

#include<iostream> 
#include<exception> 
using namespace std; 

class A : public exception { 
public: 
    A(string msg) : _msg(msg) {} 
    //~A() throw(){};      // line 8 
    const char* what() const throw() { return _msg.c_str();}  
private: 
    string _msg; 
}; 

int main() 
{ 
} 

संकलन त्रुटि है:

error: looser throw specifier for ‘virtual A::~A()’ 

Answer 1

इसका कारण यह है नाशक थ्रो() विनिर्देशक की आवश्यकता है। यदि आप इसे अपनी कक्षा में निर्दिष्ट नहीं करते हैं तो संकलक आपके वर्ग के लिए यह स्वयं का डिफ़ॉल्ट विनाशक लिखता है, और डिफ़ॉल्ट विनाशक यह निर्दिष्ट नहीं करता है कि आप अपवाद नहीं फेंकते हैं।

यह सही है, के बाद से std :: अपवाद के सार्वजनिक नाशक भी निर्दिष्ट throw()

~A() throw(){}; 

मानक (N3225) 12.4.4 से: एक वर्ग के कोई उपयोगकर्ता- है

हैं घोषित विनाशक, एक विनाशक को निश्चित रूप से घोषित किया गया है> डिफ़ॉल्ट (8.4)। एक अंतर्निहित- घोषित विनाशक अपनी कक्षा का एक इनलाइन सार्वजनिक सदस्य है।

इसलिए, यदि आप स्वयं विनाशक घोषित नहीं करते हैं तो संकलक अगले विनाशक बनाता है। यदि आपके सभी अपवाद सदस्य विध्वंसक जहां nothrow योग्य हैं, तो संकलक शायद throw() निर्दिष्ट के साथ एक विनाशक उत्पन्न करेगा।

~A(){}; 

और तकनीकी रूप से एक इस नाशक से एक अपवाद फेंक सकता है, लेकिन है कि, बहुत बुरा प्रोग्रामिंग शैली होगा इसलिए एक अपवाद std::exception गारंटी से पाने है कि आप एक std::exception व्युत्पन्न वर्ग का नाशक में किसी भी अपवाद फेंक नहीं है ।

संपादित नई compilers एक नाशक अगर std :: स्ट्रिंग के नाशक noexcept निर्दिष्ट है एक noexcept विनिर्देशक है कि प्रदान करेगा। और अन्य कंपाइलर्स भी noexcept विनाशक उत्पन्न करेंगे यदि सभी सदस्य के विनाशक अपवाद नहीं फेंकते हैं (योग्यता योग्य नहीं हैं)। यह अध्याय 15.4 में सी ++ 11 मानक द्वारा अनिवार्य है। [वगैरह.spec]

14 एक स्पष्ट रूप से घोषित विशेष सदस्य समारोह (खंड 12) में एक अपवाद-विशिष्टता होगी। तो च है एक परोक्ष घोषित डिफ़ॉल्ट निर्माता, कॉपी निर्माता,, ले जाने के निर्माता, नाशक कॉपी काम ऑपरेटर, या असाइनमेंट ऑपरेटर ले जाते हैं, अपनी अंतर्निहित अपवाद-विशिष्ट कटियन विशिष्ट प्रकार आईडी टी es तभी टी द्वारा अनुमति दी है अगर एफ के निहित डीफिशन द्वारा सीधे लागू किए गए फ़ंक्शन का अपवाद-विशिष्टता; एफ सभी अपवादों को अनुमति देता है यदि कोई भी फ़ंक्शन सीधे इनकार करता है, तो सभी अपवादों को अनुमति देता है, और f कोई अपवाद की अनुमति नहीं देगा यदि प्रत्येक फ़ंक्शन इसे सीधे आमंत्रित करता है तो कोई अपवाद नहीं देता है। [...]