¿Por qué se invoca "operador delete" cuando llamo "eliminar" en un puntero nulo?

Question

Al leer las respuestas a this question noté que las respuestas (this por ejemplo) implican que se puede llamar a operator delete incluso cuando la sentencia delete se ejecuta en un puntero nulo.

Así que escribí un pequeño fragmento:

class Test { 
public: 
    void* operator new(size_t) { /*doesn't matter*/ return 0; } 
    void operator delete(void* ptr) { 
     ptr; //to suppress warning and have a line to put breakpoint on 
    } 
}; 

int main() 
{ 
    Test* ptr = 0; 
    delete ptr; 
} 

y - sorprendentemente para mí - Test::operator delete() se invoca con ptr sosteniendo un puntero nulo.

Según tengo entendido, operator new asigna memoria y operator delete devuelve la memoria al asignador. Si llamo a la instrucción delete en un puntero nulo, significa que no había ningún objeto detrás del puntero y que no hay memoria para regresar al asignador.

delete declaración incluye invocar un destructor. Cuando paso un puntero nulo, el destructor seguramente no se invoca; C++ se ocupa de eso. Entonces, ¿por qué se invoca operator delete en este caso?

Answer 1

El idioma en el próximo estándar de C++ 0x (sección 5.3.5 [expr.delete]) es el siguiente:

Si el valor del operando de la expresión de supresión no es un valor de puntero nulo , la expresión de supresión llamará a la función de desasignación (3.7.4.2). De lo contrario, es sin especificar si se llamará a la función de desasignación . [Nota: La función de desasignación se llama independientemente de si el destructor para el objeto o algún elemento de la matriz arroja una excepción. - nota final]

Por lo tanto, es un comportamiento no especificado, algunos compiladores puede llamar operator delete cuando se elimina un puntero NULL y otros no.

EDITAR: El término función de desasignación utilizado por la norma parece estar causando cierta confusión. Viene con una referencia. Algunos lenguaje clave del 3.7.4.2 [basic.stc.dynamic.deallocation] que puede ayudar a aclarar:

Si una clase T tiene una función miembro llamada cancelación de asignación operator delete con exactamente un parámetro, que es una función (no-colocación) la función de cancelación de asignación de costumbre.

El estándar es también muy claro que operator delete necesidades definidas por el usuario para aceptar un parámetro que es un valor de puntero nulo:

El valor de la primer argumento suministrado a una función de cancelación de asignación puede ser una valor de puntero nulo; de ser así, y si la función de desasignación es una suministrada en la biblioteca estándar, la llamada no tiene efecto.

Pero debido al comportamiento no especificado 5.3.5, no debe confiar en que se llame a su operator delete cuando el puntero es nulo.

Answer 2

Operator delete es como cualquier otro operador, ¿por qué no se invocará? No puede examinar sus argumentos antes de invocar al.

Esto es como preguntar por qué operator+ se invoca cuando se está añadiendo 0.