Elimina sul posizionamento nuovo

Question

Sono consapevole che chiamare l'eliminazione su una variabile creata utilizzando il posizionamento nuovo e quindi accedere a quel blocco di memoria ha un comportamento non definito.

int* x = new int[2]; 
char* ch = new(x) char(); 
*ch = 't'; 
delete ch; 

Ma se il blocco di memoria, invece di heap viene allocata sulla pila e poi noi chiamiamo delete su quella variabile e poi accedere alla memoria, ottengo un'eccezione che il tipo blocco è valido.

int x[2]; 
char* ch = new(x) char(); 
*ch = 't'; 
delete ch; 

Così la lista delle domande è:

• è l'eccezione a causa di chiamare di eliminare su una pila?
• Va bene usare il posizionamento nuovo sul blocco di memoria nello stack?
• In caso affermativo, come eliminare il puntatore del carattere.
• È possibile assegnare più variabili su un singolo blocco della memoria utilizzando il nuovo inserimento?

Answer 1

L'eccezione dovuta alla chiamata di eliminazione su uno stack?

Sì. Anche se per chiarire un po ', questa non è un'eccezione C++. È un errore rilevato dal runtime. Se il runtime non è così intelligente, potresti anche imbatterti in comportamenti indefiniti.

Va bene utilizzare il posizionamento nuovo sul blocco di memoria nello stack?

Sì. Si potrebbe anche dare un'occhiata a alloca() e Variable-length arrays (VLA) - questi sono altri due meccanismi di allocazione della memoria in pila. Nota che VLA fa parte degli standard C99 e non C++ 11 (e precedenti), ma è supportato dalla maggior parte dei compilatori di produzione come un'estensione (potrebbe apparire in C++ 14).

In caso affermativo, come eliminare il puntatore del carattere.

Non si dovrebbe. Quando si utilizza un posizionamento nuovo, non si chiama delete, è sufficiente richiamare un distruttore. Per un dato oggetto o di tipo T è necessario chiamare o->~T(); anziché delete o;. Se è necessario, tuttavia, gestire il codice che chiama delete o delete [] su un oggetto di questo tipo, potrebbe essere necessario sovraccaricare gli operatori delete e delete[] e fare in modo che tali operatori non facciano nulla (il distruttore è già in esecuzione in quel punto).

È possibile assegnare più variabili su un singolo blocco di memoria utilizzando il nuovo inserimento?

Sì. Tuttavia, è necessario fare particolare attenzione per assicurarsi di soddisfare alignment requirements.