COM IU अज्ञात :: रिलीज कार्य का यह कार्यान्वयन क्यों करता है?

Question

उदाहरण मैंने देखा है COM IUnknown::Release() समारोह कार्यान्वयन से ऐसा ही कुछ है:

ULONG Release() 
{ 
    InterlockedDecrement(&m_count); 
    if(m_count == 0) { 
     delete this; 
    } 
    return m_count; 
} 

तो, अगर m_count 0 है, इसलिए हम हटा रहे हैं, "इस" वस्तु, और रेफरी गिनती लौटने। जो मुझे समझ में नहीं आता है वह क्यों काम करता है?!?

1. वस्तु को हटाया जा रहा कॉल स्टैक को बर्बाद नहीं होगा या यह ठीक है क्योंकि यह धागा द्वारा आयोजित किया जा रहा है, इसलिए यह वस्तु के साथ कोई संबंध नहीं है है ???

2. यदि ऑब्जेक्ट हटा दिया गया है, तो यह कैसे संभव है कि हम m_count वापस कर सकें, इसे हटा दिया जाना चाहिए था। मैं खुद को आश्वस्त कर सकता था कि यह ठीक है अगर हटाए जाने के बाद कोड हार्ड-कोड 0 लौटाएगा, लेकिन यह सदस्य कैसे वापस आ सकता है?!?

आपकी मदद के लिए बहुत बहुत धन्यवाद! :-)

Answer 1

वह कोड फर्जी है। के बाद कोई भी m_count पर भरोसा नहीं कर सकता है। सही कोड हमेशा इस तरह है:

ULONG Release() 
{ 
    ULONG count = InterlockedDecrement(&m_count); 
    if(count == 0){ delete this; } 
    return count; 
} 

Answer 2

आप क्या देखते अपरिभाषित व्यवहार है। कॉल स्टैक delete this; और delete this by itself is always safe लेकिन renders this pointer invalid द्वारा बदला नहीं गया है जिसका अर्थ है कि अब आप इसे अस्वीकार नहीं कर सकते हैं।

आपके द्वारा देखी जाने वाली दो संभावित स्पष्टीकरण हैं। या तो कार्य में कार्यान्वयन this सूचकांक को वापस करने पर m_count प्राप्त करने के लिए सूचक नहीं है - यह इसे एक रजिस्टर पर लोड किया गया है और केवल उस मान का उपयोग करता है और इसलिए this को संदर्भित नहीं किया गया है और आप किसी भी समस्या का पालन नहीं करते हैं या delete ऑब्जेक्ट द्वारा कब्जा कर लिया गया स्मृति समाप्त हो गया है, अभी भी प्रक्रिया पता स्थान में मैप किया गया है और तकनीकी रूप से सुलभ बना हुआ है और इसलिए this सफल और m_count सफलतापूर्वक पढ़ा गया है। मुझे लगता है कि उत्तरार्द्ध अधिक संभावना है।

जो भी स्पष्टीकरण अनिश्चित व्यवहार है, आप उस पर भरोसा नहीं कर सकते हैं, user Remus Rusanuin his answer का सुझाव देता है।