Время жизни объекта определяется его областью действия. Однако иногда нам нужно или полезно создавать объект, который живет независимо от области, в которой он был создан. В C ++ оператор newиспользуется для создания такого объекта. А чтобы уничтожить объект, deleteможно использовать оператор . Объекты, созданные оператором new, распределяются динамически, то есть распределяются в динамической памяти (также называемой кучей или свободным хранилищем ). Таким образом, объект, который был создан, newбудет продолжать существовать до тех пор, пока не будет явно уничтожен с помощьюdelete .
Некоторые ошибки, которые могут возникнуть при использовании newи deleteявляются:
- Утечка объекта (или памяти): используется,
newчтобы выделить объект и забытьdelete объект.
- Преждевременное удаление (или висящая ссылка ): удерживайте другой указатель на объект,
deleteобъект, а затем используйте другой указатель.
- Двойное удаление : попытка
deleteобъекта дважды.
Как правило, переменные области видимости являются предпочтительными. Тем не менее, RAII может использоваться как альтернатива newи deleteзаставить объект жить независимо от его объема. Такая техника состоит в том, чтобы взять указатель на объект, который был размещен в куче, и поместить его в объект handle / manager . У последнего есть деструктор, который позаботится об уничтожении объекта. Это будет гарантировать, что объект доступен для любой функции, которая хочет получить к нему доступ, и что объект уничтожается при жизни объекта дескриптора. закончится , без необходимости явной очистки.
Примеры из стандартной библиотеки C ++, которые используют RAII, std::stringи std::vector.
Рассмотрим этот кусок кода:
void fn(const std::string& str)
{
std::vector<char> vec;
for (auto c : str)
vec.push_back(c);
// do something
}
когда вы создаете вектор и помещаете в него элементы, вам не нужно выделять и освобождать такие элементы. Вектор используется newдля выделения пространства для его элементов в куче и deleteдля освобождения этого пространства. Вы, как пользователь вектора, не заботитесь о деталях реализации и будете доверять вектору, чтобы он не просочился. В этом случае вектор является объектом дескриптора своих элементов.
Другие примеры из стандартной библиотеки , которые используют RAII являются std::shared_ptr, std::unique_ptrи std::lock_guard.
Другое название этого метода - SBRM , сокращение от Scope-Bound Resource Management .