Perché il compilatore richiede `delete [] p` versus` delete p [] `?

Question

In C++, se si vuole allocare dinamicamente un array, si può fare qualcosa di simile:

int *p; 
p = new int[i]; // i is some number 

Tuttavia, per cancellare la matrice, che fai ...

delete[] p; 

Perché isn' t it delete p[]? Non sarebbe più simmetrico con il modo in cui è stato originariamente creato? Qual è il motivo (se esiste) del perché il linguaggio è stato progettato in questo modo?

Answer 1

Una ragione potrebbe essere quella di rendere questi casi più distinti.

int ** p; 
delete[] p 
delete p[1]; 

Se fosse delete p[] poi un errore di un carattere avrebbe consquences abbastanza brutto.

Answer 2

Poiché l'array decade per puntare quando passa come parametro alla funzione (o all'operatore). Quindi eliminare p [] sarebbe semplicemente equivalente a eliminare p.

[modifica] Possiamo pensare di eliminazione come dell'operatore modello speciale. L'operatore dovrebbe essere in grado di distinguere tra p e p [] per scegliere la "specializzazione" giusta (eliminazione di array o array). Tuttavia, le regole di deduzione degli argomenti del modello rendono impossibile questa scelta (a causa del decadimento dell'array non possiamo distinguere tra p [] e p quando deduciamo l'argomento).

Quindi non possiamo usare all'operatore nome eliminare sia per casees e la necessità di introdurre un altro operatore delete [] con nome differente (suffisso [] può essere trattata come parte del nome dell'operatore) per caso array.

[modifica 2] Nota. delete p [] non è affatto una sintassi valida secondo lo standard corrente. Il ragionamento qui sopra mostra solo problemi che potrebbero emergere se provassimo a interpretare delete p [] usando concetti C++ esistenti.