¿Para qué es esta enumeración en el destructor?

Question

// Destructor. If there is a C object, delete it. 
// We don't need to test ptr_ == NULL because C++ does that for us 

    ~scoped_ptr() { 
     enum { type_must_be_complete = sizeof(C) }; 
     delete ptr_; 
    } 

Nota: C es un parámetro de plantilla

Sé que no podemos borrar un puntero nulo, se produce una excepción. Entonces, en este caso, la definición enum debe estar haciendo algo para evitar eso. En producción, a veces no queremos finalizar un programa simple porque tenemos un puntero nulo, es posible que deseemos ver un escenario alternativo, cuando el puntero es nulo. Y este código se usa en producción, casi en todas partes?

Gracias chicos.

Answer 1

es efectivamente una afirmación estática para la eliminación. la implementación quiere saber si se trata de un tipo cuya declaración es visible antes de eliminar la variable, en lugar de una declaración directa.

su compilador emitirá un error cuando se pide que el tamaño de un tipo incompleto:

struct S; 
enum { Size = sizeof(S) }; 

actualización

medida que su compilador y Matthieu M. le dirá - delete -ing un tipo incompleto no está definido.

Answer 2

El impulso checked_deleter parece mejor:

template<class T> struct checked_deleter 
{ 
    typedef void result_type; 
    typedef T * argument_type; 
    void operator()(T * p) const; 
}; 

Debido a que algunos compilador puede devolver 0, mientras que T es undefine, en ese caso

enum { type_must_be_complete = sizeof(T) }; 

es una aserción estática válida, pero no se checked_deleter.

http://www.boost.org/doc/libs/1_59_0/libs/core/doc/html/core/checked_delete.html#core.checked_delete.checked_deleter