La durata di un oggetto è determinata dal suo ambito. Tuttavia, a volte abbiamo bisogno, o è utile, di creare un oggetto che vive indipendentemente dall'ambito in cui è stato creato. In C ++, l'operatore newviene utilizzato per creare un tale oggetto. E per distruggere l'oggetto, l'operatore deletepuò essere utilizzato. Gli oggetti creati dall'operatore newvengono allocati dinamicamente, ovvero allocati nella memoria dinamica (anche chiamata heap o free store ). Quindi, un oggetto che è stato creato newcontinuerà a esistere fino a quando non viene esplicitamente distrutto usando delete.
Alcuni errori che possono verificarsi durante l'utilizzo newe deletesono:
- Oggetto trapelato (o memoria): usare
newper allocare un oggetto e dimenticarlo delete.
- Eliminazione prematura (o riferimento penzolante ): tenere un altro puntatore su un oggetto,
deletel'oggetto, quindi utilizzare l'altro puntatore.
- Doppia eliminazione : provare
deletedue volte su un oggetto.
In generale, sono preferite le variabili con ambito. Tuttavia, RAII può essere utilizzato come alternativa a newe deleteper far vivere un oggetto indipendentemente dal suo ambito. Tale tecnica consiste nel prendere il puntatore sull'oggetto allocato sull'heap e posizionarlo in un oggetto handle / manager . Quest'ultimo ha un distruttore che si occuperà di distruggere l'oggetto. Ciò garantirà che l'oggetto sia disponibile per qualsiasi funzione che desideri accedervi e che l'oggetto venga distrutto al termine della durata dell'oggetto handle , senza la necessità di una pulizia esplicita.
Esempi dalla libreria standard C ++ che utilizzano RAII sono std::stringe std::vector.
Considera questo pezzo di codice:
void fn(const std::string& str)
{
std::vector<char> vec;
for (auto c : str)
vec.push_back(c);
// do something
}
quando crei un vettore e spingi elementi su di esso, non ti importa di allocare e deallocare tali elementi. Il vettore utilizza newper allocare spazio per i suoi elementi nell'heap e deleteper liberare quello spazio. Tu come utente del vettore non ti preoccupi dei dettagli di implementazione e ti fiderai che il vettore non perda. In questo caso, il vettore è l' oggetto handle dei suoi elementi.
Altri esempi della libreria standard che uso Raii sono std::shared_ptr, std::unique_ptre std::lock_guard.
Un altro nome per questa tecnica è SBRM , abbreviazione di Scope-Bound Resource Management .