Dove nel C++ Standard si dice :: delete può cambiare lvalue?

Question

Mi sono imbattuto nel mio primo compilatore che cambia il lvalue passato a :: delete, ma non azzera il lvalue. Questo è quanto segue:

Foo * p = new Foo(); 
Foo * q = p; 
assert(p != 0); 
assert(p == q); 
::delete p; 
assert(p != q); 
assert(p != 0); 

Si noti che p non è zero dopo l'operazione di cancellazione e che è stato modificato dal vecchio valore. Un collega mi ha detto che questo non è insolito nella sua esperienza avendo lavorato con alcuni compilatori C++ mainframe che avrebbero cambiato p in 0xFFFFFFFF, così come altri compilatori che avrebbero cambiato p a 0.

Dove nello standard C++ dice che un compilatore è autorizzato a fare questo?

La ricerca attraverso StackOverflow, ho trovato questa domanda: Why doesn’t delete set the pointer to NULL? che ha avuto una risposta che di cui Bjarne Stroustrup's response che include l'istruzione:

C++ consente esplicitamente un'implementazione di cancellazione per azzerare un operando lvalue, e ho avuto sperato che le implementazioni lo farebbero, ma quell'idea non sembra essere diventata popolare con gli implementatori.

Ho letto e riletto la sezione 5.3.5 e 12.5 di final committee draft C++0x standard, ma non vedo la parte "esplicita". Sto solo guardando nella parte sbagliata dello standard? O c'è una catena di logica che si trova nelle sezioni, ma io non sto semplicemente collegando correttamente.

Non ho più la mia copia del Manuale di riferimento Annotated C++. Era nel ARM che un compilatore poteva fare questo?

[Modifica: correzione del riferimento di sezione da 3.5.3 a 5.3.5. Aggiungo anche un interessante paradosso come contrappunto all'affermazione di Henk secondo cui p non è definito dopo l'eliminazione.]

C'è un paradosso interessante se p è inizializzato su null.

Foo * p = 0; 
Foo * q = p; 
assert(p == 0); 
assert(p == q); 
::delete p; 
assert(p == q); 
assert(p == 0); 

In questo caso, tuttavia, il comportamento è ben documentato. Quando delete ottiene un puntatore nullo, si suppone di non fare nulla, quindi p rimane invariato.

Answer 1

Potrebbe non essere così esplicito. In 5.3.5/7 dice che l'espressione delete chiamerà una funzione deallocator. Quindi in 3.7.3.2/4 si dice che l'utilizzo di un puntatore che è stato deallocato non è definito. Poiché il valore del puntatore non può essere utilizzato dopo la deallocazione, se il puntatore mantiene il valore o il valore viene modificato dall'implementazione non fa alcuna differenza.

5.3.5/7

L'eliminazione espressione chiamerà una funzione deallocazione (3.7.3.2).

3.7.3.2/4

Se l'argomento fornito a una funzione deallocazione nella libreria standard è un puntatore che non è il valore puntatore nullo (4.10), la funzione deallocazione deve deallocare la memorizzazione referenziato dal puntatore, rendendo non validi tutti i puntatori che fanno riferimento a qualsiasi parte dell'archivio deallocato. L'effetto dell'utilizzo di un valore di puntatore non valido (incluso il passaggio a una funzione di deallocazione) non è definito.

I riferimenti sono dallo standard corrente. Nello standard imminente 5.3.5/7 è stato riformulato:

C++ 0x FD 5.3.5/7

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