Адрес объекта и ответственность за него
Указатель позволяет обращаться к объекту, но сам факт наличия адреса не объясняет, кто должен завершить его время жизни. Полезно различать владельца и временного пользователя. Владелец управляет ресурсом; пользователь обращается к нему, пока ресурс существует, и не получает автоматически право его уничтожить. Представьте объект настроек. Одна часть приложения хранит его, а другая только читает параметры. Если читатель начинает самостоятельно освобождать этот объект, исходный договор нарушается. Если никто не считает себя владельцем, возникает другая проблема: ресурс может остаться неосвобождённым.
Свяжите ресурс со временем жизни объекта
Подход RAII связывает управление ресурсом со временем жизни управляющего объекта. Для памяти часто достаточно стандартных контейнеров и строк: не нужно вручную организовывать динамическое выделение там, где значение или контейнер уже решает задачу. Если требуется единоличное владение динамическим объектом, подходящим инструментом может быть std::unique_ptr. При уничтожении владельца он освобождает управляемый ресурс через предусмотренный механизм удаления. Это особенно полезно при обычном выходе из области видимости и при раскрутке стека из-за исключения. Однако такой механизм не означает гарантированную очистку при любом аварийном завершении процесса.
Передача владения должна быть заметной
std::unique_ptr нельзя копировать как обычное значение, создавая второго равноправного владельца того же объекта. Владение можно передать перемещением. После перемещения в другой unique_ptr исходный указатель становится пустым, а ответственность переходит к новому владельцу. Получение обычного указателя через get не передаёт владение. Это принципиальное различие. Временный пользователь должен закончить работу раньше, чем объект будет уничтожен. Иначе сохранённый адрес станет недействительным. Поэтому аккуратная работа с умным указателем не отменяет необходимости следить за временем жизни всех невладеющих ссылок и указателей.
Проверяйте договор на границах функций
При чтении функции выясните, создаёт ли она ресурс, только использует его или забирает владение. Эти роли желательно выражать ясно в интерфейсе и проверять в вызывающем коде. Если функция лишь читает настройки, передача ей ответственности за уничтожение обычно требует отдельного объяснения. Не выбирайте совместное владение только ради того, чтобы код легче копировался. Оно усложняет понимание момента освобождения и не нужно каждому объекту. Начинайте с простейшего подходящего способа: обычное значение, контейнер, единственный владелец. Более сложную схему добавляйте тогда, когда её требует реальное устройство программы.
Попробуйте на практике
Нарисуйте схему времени жизни одного вымышленного объекта настроек. Для задания достаточно бумаги; написание собственного менеджера памяти не требуется.
- Обозначьте участок программы, где создаётся объект, и выберите единственного первоначального владельца.
- Добавьте две функции, которые только читают настройки, и отметьте их как временных пользователей.
- Покажите отдельный сценарий передачи владения другому unique_ptr; укажите состояние прежнего владельца после передачи.
- Отметьте место уничтожения владельца и проверьте, не используются ли после этого сохранённые адреса объекта.
- Добавьте ранний выход из функции и исключение, затем объясните, какие управляющие объекты должны завершить своё время жизни.
Как проверить результат. Для каждого этапа известен владелец, а время использования невладеющих указателей укладывается во время жизни объекта. Получение адреса нигде не подменяет передачу ответственности.
Частые вопросы
Нужно ли создавать каждый объект через unique_ptr?
Нет. Если обычное локальное значение, строка или контейнер подходит по задаче, дополнительное динамическое выделение может быть не нужно.
Умный указатель исключает все ошибки памяти?
Нет. Можно сохранить недействительный адрес или неверно организовать связи между объектами. Инструмент помогает выразить владение, но договор о времени жизни всё равно нужно соблюдать.
Самостоятельный разбор темы. Содержание конкретной обучающей программы здесь не представлено.