Eliminación de objetos con destructor privado

Question

¿Cómo es posible que se permita eliminar objetos con destructor privado en el siguiente código? Reduje el programa real a la siguiente muestra, pero aún compila y funciona.

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

Usted está intentando eliminar objeto de tipo clase incompleta. C++ estándar dice que obtendrá un comportamiento indefinido en este caso (5.3.5/5):

Si el objeto se va a eliminar tiene tipo de clase incompleta en el punto de eliminación y la clase completa tiene un no trivial destructor o una función de desasignación, el comportamiento no está definido.

para detectar tales casos se puede utilizar 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

Este código provoca un comportamiento indefinido (UB). Es UB en C++ a delete un objeto de tipo incompleto que tiene un destructor no trivial. Y en su código el tipo SomeClass está incompleto en el punto delete, y tiene un destructor no trivial. Los compiladores suelen emitir una advertencia al respecto, ya que formalmente en C++ esto no es una violación de restricción.

Por lo tanto, estrictamente hablando, su código no "funciona". Simplemente compila y hace algo undefined cuando se ejecuta.

El compilador simplemente no es necesario para detectar este error. La razón de esto es que esto podría estar perfectamente bien si su objeto tiene un trivial destructor. El compilador no tiene forma de saber qué clase de destructor tendrá este tipo, por lo que no puede decir con certeza si se trata de un error o no.

Answer 3

Porque el tipo SomeClass no está completamente declarado al invocar operator delete.

Eliminar dicho puntero es un comportamiento indefinido, pero en la práctica la mayoría de los compiladores simplemente liberarían la memoria (si el puntero no era NULL) y no llamarían al destructor.

Por ejemplo, g ++ le dará una advertencia acerca de este tema:

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.