Perché "operator delete" viene richiamato quando chiamo "delete" su un puntatore nullo?

Question

Durante la lettura delle risposte a this question ho notato che le risposte (this per esempio) implicano che operator delete può essere chiamato anche quando l'istruzione delete viene eseguita su un puntatore nullo.

così ho scritto un piccolo frammento:

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; 
} 

e - sorprendentemente per me - Test::operator delete() viene richiamato con ptr in possesso di un puntatore nullo.

Come ho capito, operator new alloca la memoria e operator delete restituisce la memoria all'allocatore. Se chiamo l'istruzione delete su un puntatore nullo significa che non c'era alcun oggetto dietro il puntatore e che non c'è memoria per tornare all'allocatore.

delete include il richiamo di un distruttore. Quando passo un puntatore nullo il distruttore non è sicuramente invocato - C++ si prende cura di questo. Allora perché è invocato lo operator delete in questo caso?

Answer 1

La lingua del futuro standard C++ 0x (sezione 5.3.5 [expr.delete]) è la seguente:

Se il valore dell'operando di l'espressione di eliminazione non è un valore di puntatore nullo, l'espressione di eliminazione chiamerà una funzione di deallocazione (3.7.4.2). Altrimenti, è non specificato se verrà chiamata la funzione di deallocazione . [Nota: la funzione di deallocazione si chiama indipendentemente dal fatto che il distruttore per l'oggetto o qualche elemento dell'array generi un'eccezione. - nota end]

Così è un comportamento non specificato, alcuni compilatori può chiamare operator delete quando un puntatore NULL viene eliminato e altri non possono.

MODIFICA: il termine funzione di deallocation utilizzato dallo standard sembra causare confusione. Viene fornito con un riferimento. Alcuni lingua chiave dal 3.7.4.2 [basic.stc.dynamic.deallocation] che può aiutare a chiarire:

Se una classe T ha una funzione membro deallocazione denominata operator delete esattamente un parametro, quindi che la funzione è una normale (non-placement) Funzione deallocazione.

Lo standard è anche molto chiaro che definiti dall'utente operator delete necessità di accettare un parametro che rappresenta un valore di puntatore nullo:

Il valore del primo argomento fornito a una funzione deallocazione può essere valore del puntatore nullo; in tal caso, e se la funzione di deallocazione è fornita nella libreria standard, la chiamata non ha alcun effetto.

Ma a causa del comportamento non specificato 5.3.5, non si dovrebbe fare affidamento sul vostro operator delete essere chiamato quando il puntatore è nullo.

Answer 2

L'eliminazione dell'operatore è come qualsiasi altro operatore, perché non dovrebbe essere invocato? Non può esaminare i suoi argomenti prima che venga invocato il.

Questo è come chiedere perché operator+ è invocato quando si aggiunge 0.