शुद्ध सार आधार वर्ग

Question

पर आभासी desctructor मैं

struct IMyInterface 
{ 
    virtual method1() = 0; 
    virtual method2() = 0; 
}; 

जीसीसी का कहना है कि मैं

struct IMyInterface 
{ 
    virtual method1() = 0; 
    virtual method2() = 0; 
    virtual ~IMyInterface(){}; 
}; 

मैं देख रहा हूँ क्यों न होता है। इंटरफ़ेस (डुह) के बारे में एक शुद्ध इंटरफ़ेस है। विनाशक इंटरफ़ेस के ठोस कार्यान्वयन के आंतरिक कार्यान्वयन विवरण का हिस्सा है; यह इंटरफ़ेस का हिस्सा नहीं बनता है। मैं पूरी स्लाइसिंग समस्या को समझता हूं (या कम से कम मुझे लगता है कि मैं करता हूं)

तो मेरा सवाल यह है कि - क्या जीसीसी इस पर जोर देने का अधिकार है और यदि ऐसा है तो क्यों?

Answer 1

सी ++ spec के अनुसार, हाँ।

आप वर्चुअल क्योंकि अन्यथा नाशक घोषित करने के लिए, बाद में जरूरत

IMyInterface * ptr = getARealOne(); 
    delete ptr; 

व्युत्पन्न वर्ग पर नाशक फोन नहीं है (क्योंकि नाशक vtable में नहीं है)

यह करने की जरूरत है गैर-शुद्ध रहें क्योंकि बेस क्लास विनाशकों को हमेशा उप-वर्ग विनाशक द्वारा बुलाया जाता है।

आगे की व्याख्या करने के लिए, सी ++ में एक इंटरफ़ेस की अवधारणा नहीं है जैसे जावा या सी # करते हैं। यह केवल शुद्ध-आभासी तरीकों का उपयोग करने के लिए एक सम्मेलन है, और इसके बारे में एक इंटरफ़ेस के रूप में सोचें। सी ++ विनाशकों के बारे में अन्य नियमों को इसे गैर-शुद्ध होने की आवश्यकता होती है, जो अन्य भाषाओं में इंटरफेस की समानता को तोड़ती है, लेकिन इन नियमों के समय उन भाषाओं में मौजूद नहीं था।

Answer 2

यदि आप बेस क्लास में आभासी डीओआर घोषित नहीं करते हैं, तो बेस क्लास में पॉइंटर के माध्यम से व्युत्पन्न कक्षाओं की वस्तुओं को हटाने से गलत विनाशक को बुलाया जाता है, और इस प्रकार अपरिभाषित व्यवहार और संसाधन लीकिंग की ओर जाता है।

struct A { 

    virtual ~A() {} 

}; 

struct B : A { 

    std::string us_constitution; 
}; 


B* pb = new B(); 
A* pa = pb; 

delete pa; // without the virtual d'tor in the base class, 'B::us_constitution' would never be freed.