Categoria
Articoli tecnici organizzati per gruppo funzionale.
L'operatore standard 'new' fallisce e solleva l'eccezione 'std::bad_alloc' quando il gestore di memoria non è in grado di allocare la quantità di byte consecutivi richiesta sull'heap.
'std::string_view' è un visualizzatore non proprietario: inizializzarlo con il risultato di una funzione che restituisce un 'std::string' per valore memorizza un puntatore al buffer della stringa temporanea, che viene deallocato al termine dell'istruzione.
Utilizzare 'std::unique_ptr<T>' per gestire un array allocato con 'new T[N]' invoca 'delete ptr' anziché 'delete[] ptr', corrompendo l'heap di memoria e omettendo la distruzione degli elementi successivi.
Invocare 'delete ptr' su un array allocato con 'new Type[N]' invece di 'delete[] ptr' costituisce comportamento indefinito: impedisce l'invocazione dei distruttori per gli elementi dal secondo in poi e corrompe i metadati dell'allocatore.
Deallocare con 'delete base_ptr' un'istanza di una classe derivata attraverso un puntatore alla classe base priva di distruttore virtuale ('virtual ~Base()') genera comportamento indefinito e memory leak dei membri della classe derivata.
Assegnare lo stesso puntatore nativo 'T *raw = new T;' a due istanze indipendenti di 'std::shared_ptr' anziché usare copy o 'std::make_shared' crea due blocchi di controllo separati, provocando una doppia deallocazione (double free) alla loro distruzione.
Quando due oggetti mantengono reciprocamente un 'std::shared_ptr' l'uno verso l'altro, il contatore di riferimenti non scende mai a zero e la memoria non viene mai deallocata; si risolve trasformando uno dei due riferimenti in 'std::weak_ptr'.
'std::make_shared' alloca l'oggetto e il blocco di controllo dei riferimenti in un unico blocco contiguo di memoria; sebbene l'oggetto venga distrutto quando lo shared_ptr scade, la memoria fisica non può essere deallocata finché esiste anche un solo 'std::weak_ptr' attivo.