La durée de vie d'un objet est déterminée par sa portée. Cependant, nous avons parfois besoin, ou il est utile, de créer un objet qui vit indépendamment de la portée où il a été créé. En C ++, l'opérateur newest utilisé pour créer un tel objet. Et pour détruire l'objet, l'opérateur deletepeut être utilisé. Les objets créés par l'opérateur newsont alloués dynamiquement, c'est-à-dire alloués en mémoire dynamique (également appelée tas ou magasin libre ). Ainsi, un objet créé par newcontinuera d'exister jusqu'à ce qu'il soit explicitement détruit à l'aide de delete.
Certaines erreurs qui peuvent se produire lors de l' utilisation newet deletesont les suivants :
- Objet fuité (ou mémoire): utilisation
newpour allouer un objet et oublier à deletel'objet.
- Suppression prématurée (ou référence suspendue ): tenir un autre pointeur sur un objet,
deletel'objet, puis utiliser l'autre pointeur.
- Double suppression : essayer
deletedeux fois un objet.
Généralement, les variables de portée sont préférées. Cependant, RAII peut être utilisé comme alternative newet deletepour faire vivre un objet indépendamment de sa portée. Une telle technique consiste à prendre le pointeur sur l'objet qui a été alloué sur le tas et à le placer dans un objet handle / manager . Ce dernier dispose d'un destructeur qui se chargera de détruire l'objet. Cela garantira que l'objet est disponible pour toute fonction qui souhaite y accéder et que l'objet est détruit lorsque la durée de vie de l' objet handle se termine, sans avoir besoin d'un nettoyage explicite.
Les exemples de la bibliothèque standard C ++ qui utilisent RAII sont std::stringet std::vector.
Considérez ce morceau de code:
void fn(const std::string& str)
{
std::vector<char> vec;
for (auto c : str)
vec.push_back(c);
// do something
}
lorsque vous créez un vecteur et que vous y insérez des éléments, vous ne vous souciez pas d'allouer et de désallouer ces éléments. Le vecteur utilise newpour allouer de l'espace à ses éléments sur le tas et deletepour libérer cet espace. En tant qu'utilisateur de vector, vous ne vous souciez pas des détails de mise en œuvre et vous ferez confiance à vector pour ne pas fuir. Dans ce cas, le vecteur est l' objet poignée de ses éléments.
D' autres exemples de la bibliothèque standard RAII d'utilisation sont std::shared_ptr, std::unique_ptret std::lock_guard.
Un autre nom pour cette technique est SBRM , abréviation de Scope-Bound Resource Management .