Удаление объекта с помощью частного деструктора

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

Вы пытаетесь удалить объект неполного типа класса. C++ Standard говорит, что вы получите неопределенное поведение в этом случае (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). Это UB в C++ - delete - объект неполного типа, имеющий нетривиальный деструктор. И в вашем коде тип SomeClass является неполным в точке delete, и он имеет нетривиальный деструктор. Компиляторы обычно выдают предупреждение об этом, поскольку на C++ формально это не является нарушением ограничения.

Итак, строго говоря, ваш код не работает. Это просто компилирует и делает что-то не определено при запуске.

Компилятор просто не обязан улавливать эту ошибку. Причина этого в том, что это может быть совершенно нормально, если у вашего объекта есть тривиальный дескриптор. Компилятор не знает, какой деструктор этого типа в конечном итоге будет иметь, поэтому он не может точно сказать, является ли это ошибкой или нет.

Answer 3

Поскольку тип SomeClass не объявлен полностью при вызове operator delete.

Удаление такого указателя является неопределенным поведением, но на практике большинство компиляторов просто освобождают память (если указатель не был 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.