개인 소멸자가있는 개체 삭제

Question

다음 코드에서 개인 소멸자가있는 개체를 삭제하는 것이 가능한 방법은 무엇입니까? 실제 프로그램을 다음 샘플로 축소했지만 여전히 컴파일되고 작동합니다.

class SomeClass; 

int main(int argc, char *argv[]) 
{ 
    SomeClass* boo = 0; // in real program it will be valid pointer 
    delete boo; // how it can work? 

    return -1; 
} 

class SomeClass 
{ 
private: 
    ~SomeClass() {}; // ! private destructor ! 
}; 

Answer 1

:

예를 들어, g ++는 당신에게이 문제에 대한 경고를 줄 것이다. C++ 표준은이 경우 (5.3.5/5)에 정의되지 않은 동작을 얻을 것이다 말한다 :

삭제되는 개체가 삭제 및 전체 클래스의 시점에서 불완전한 클래스 유형이있는 경우가 아닌 사소한있다

소멸자 또는 할당 해제 함수의 경우 동작이 정의되지 않습니다.

는 boost::checked_delete을 사용할 수 이러한 경우를 감지하려면

template<typename T> 
inline void checked_delete(T* p) 
{ 
    typedef char type_must_be_complete[ sizeof(T)? 1: -1 ]; 
    (void) sizeof(type_must_be_complete); 
    delete p; 
} 

Answer 2

이 코드는 정의되지 않은 동작 (UB)을 발생시킵니다. C++의 UB에서 delete까지는 사소한 소멸자가있는 불완전한 유형의 객체입니다. 그리고 코드에서 타입은 delete의 시점에서 불완전하며, 사소한 소멸자가 있습니다. 컴파일러는 일반적으로 C++에서 공식적으로 이것은 제약 조건 위반이 아니기 때문에 이것에 대한 경고를 발행합니다.

엄밀히 말하자면 코드는 "작동하지"않습니다. 은을 컴파일하고 실행하면 은 정의되지 않음을 수행합니다.

컴파일러는이 오류를 catch 할 필요가 없습니다. 그 이유는 객체가 소멸자 소멸자를 가지고 있다면 완벽하게 괜찮을 수 있기 때문입니다. 컴파일러는이 유형의 소멸자가 결국 어떤 종류의 소멸자인지 알 수 없으므로 이것이 오류인지 여부를 확실히 말할 수 없습니다.

Answer 3

operator delete을 호출 할 때 SomeClass 유형이 완전히 선언되지 않았기 때문에.

그러한 포인터를 삭제하는 것은 정의되지 않은 동작이지만 실제로는 대부분의 컴파일러가 포인터가 NULL이 아닌 경우 메모리를 해제하고 소멸자를 호출하지 않습니다. 당신은 불완전한 클래스 형식의 개체를 삭제하려고

foo.cpp: In function 'int main(int, char**)': 
foo.cpp:6: warning: possible problem detected in invocation of delete operator: 
foo.cpp:5: warning: 'boo' has incomplete type 
foo.cpp:1: warning: forward declaration of 'struct SomeClass' 
foo.cpp:6: note: neither the destructor nor the class-specific operator delete will be called, even if they are declared when the class is defined.