Tự sát hướng đối tượng hoặc xóa điều này;

Question

Mã sau đây được biên dịch bằng MSVC9.0 chạy và xuất ra Destructor bốn lần, hợp lý.

#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(); 
} 

Tôi nghĩ rằng 4 dòng đầu tiên của mã không chính xác dẫn đến hành vi không xác định (mặc dù không hoàn toàn chắc chắn về điều delete this;). Tôi muốn có xác nhận hoặc < trình giữ chỗ cho từ trái nghĩa của xác nhận> trong số đó. Nhưng tôi có những nghi ngờ nghiêm trọng về dòng 5 và 6. Nó được phép gọi một cách rõ ràng destructor, phải không? Nhưng liệu cuộc đời của đối tượng được coi là đã kết thúc sau đó? Đó là, là lời gọi của một thành viên khác sau khi cuộc gọi rõ ràng của destructor cho phép (được xác định)?

Để tóm tắt, các phần nào của mã trên (nếu có) dẫn đến hành vi không xác định (nói kỹ thuật)?

Answer 1

p-> ~ SomeClass(); // line 5

p-> CommitSuicide(); // line 6

Dòng (6) chắc chắn gọi hành vi không xác định.

Tức là, là yêu cầu của một thành viên khác sau khi cuộc gọi rõ ràng của destructor được cho phép (được xác định)?

Không! Giả định của bạn là chính xác.

Answer 2

delete this; là tiền phạt. Cuối cùng p->CommitSuicide(); cho hành vi không xác định vì bạn đã phá hủy đối tượng trong "dòng 5".

Answer 3

"xóa này" là ok miễn là bạn không cố gọi bất kỳ mã nào của đối tượng đó sau khi xóa (thậm chí không phải là phá hủy). Vì vậy, một đối tượng tự xóa shoud chỉ được đặt ở heap và shoud có một destructor riêng để bảo vệ từ sáng tạo trên stack.

Tôi không biết liệu cuộc gọi trực tiếp đến trình phá hủy có dẫn đến hành vi không xác định hay không nhưng một người dùng xóa do người dùng xác định sẽ không được thực thi.