ऑब्जेक्ट ओरिएंटेड आत्महत्या या इसे हटाएं;

Question

MSVC9.0 रनों के साथ संकलित निम्नलिखित कोड और आउटपुट लॉजिकल है।

#include <iostream> 
class SomeClass 
{ 
public: 
    void CommitSuicide() 
    { 
     delete this; 
    } 
    void Reincarnate() 
    { 
     this->~SomeClass(); 
     new (this) SomeClass; 
    } 
    ~SomeClass() 
    { 
     std::cout << "Destructor\n"; 
    } 
}; 

int main() 
{ 
    SomeClass* p = new SomeClass; 
    p->CommitSuicide(); 
    p = new SomeClass; 
    p->Reincarnate(); 
    p->~SomeClass(); //line 5 
    p->CommitSuicide(); 
} 

मुझे लगता है कि पहले 4 मुख्य में कोड की लाइनों अपरिभाषित व्यवहार में परिणाम नहीं है (हालांकि पूरी तरह delete this; बात के बारे में निश्चित नहीं)। मैं पुष्टिकरण के एंटोनिम> के लिए पुष्टिकरण या < प्लेसहोल्डर रखना चाहता हूं। लेकिन मुझे लाइन 5 और 6 के बारे में गंभीर संदेह है। इसे विनाशक को स्पष्ट रूप से कॉल करने की अनुमति है, है ना? लेकिन क्या उस वस्तु का जीवनकाल उसके बाद खत्म हो गया है? अर्थात, विनाशक (परिभाषित) की स्पष्ट कॉल के बाद किसी अन्य सदस्य का आदान-प्रदान है?

संक्षेप में, उपर्युक्त कोड (यदि कोई है) के कौन से हिस्सों में अपरिभाषित व्यवहार (तकनीकी रूप से बोलने) का परिणाम है?

Answer 1

पी-> ~ कुछ क्लास(); // लाइन 5

पी-> CommitSuicide(); // लाइन 6

रेखा (6) निश्चित रूप से अनिर्धारित व्यवहार का आह्वान करती है।

क्या विनाशक (परिभाषित) की स्पष्ट कॉल के बाद किसी अन्य सदस्य का आदान-प्रदान है?

नहीं! आपकी धारणा सही है।

Answer 2

delete this; ठीक है। अंतिम p->CommitSuicide(); अपरिभाषित व्यवहार देता है क्योंकि आपने ऑब्जेक्ट को "लाइन 5" में पहले ही नष्ट कर दिया है।

Answer 3

"इसे हटाएं" ठीक है जब तक कि आप हटाने के बाद उस वस्तु के किसी भी कोड को कॉल करने का प्रयास नहीं करते हैं (विनाशक भी नहीं)। तो एक स्वयं को हटाने वाली वस्तु को केवल ढेर पर रखा जाना चाहिए और ढेर पर सृजन से बचाने के लिए एक निजी विनाशक है।

मुझे नहीं पता कि विनाशक को सीधा कॉल अपरिभाषित व्यवहार की ओर जाता है लेकिन उपयोगकर्ता परिभाषित डिलीट ऑपरेटर निष्पादित नहीं होता है।