Possedere buffer nell'heap

A volte si desidera il controllo diretto su un'area di memoria dell'heap. Essere proprietari di un buffer significa allocarlo e decidere quando eliminarlo. 🛠️

Un buffer è una porzione contigua di memoria dell'heap che contiene molti elementi consecutivi, come l'area di memoria alla base di una lista di numeri.

Per essere proprietari di un buffer, prima bisogna allocatearlo, chiedendo al sistema memoria sufficiente nell'heap per contenere gli elementi necessari.

L'allocazione fornisce un pointer al primo elemento del buffer. Da lì si può raggiungere ogni posizione attraversando la memoria.

Con il puntatore si possono memorizzare valori in ogni posizione tramite index, riempiendo il buffer con i dati necessari al programma.

La lettura funziona allo stesso modo: si sceglie un index e il puntatore conduce direttamente a quell'elemento del buffer.

La memoria allocata manualmente deve essere rilasciata dal programma. Al termine, esegua free sul buffer, così il sistema potrà riutilizzare quello spazio.

Ogni allocazione richiede un free corrispondente. Dimenticare di rilasciare un buffer causa una leak di memoria che spreca lentamente la memoria del programma.

I tipi standard come List sono proprietari dei propri buffer e li liberano automaticamente; per questo la maggior parte del codice non alloca manualmente.

Quando si è proprietari di un buffer, si è responsabili dell'intero suo lifetime: crearlo, usarlo in sicurezza e distruggerlo esattamente al momento giusto.

Anche se di solito un tipo gestisce la memoria al posto dell'utente, sapere come funzionano i buffer di cui si ha la ownership aiuta a scrivere codice più veloce e controlled.

Ricordiamo qual è il suo compito dopo aver allocato un buffer.

Essere proprietari di un buffer significa allocare, usare e liberare personalmente la memoria dell'heap. I tipi standard come List gestiscono questo lifetime al posto dell'utente. 🎯