Умные указатели — владение, выраженное в типе

Управление памятью вручную в C++ выглядит просто — пока не появляются ранние return, исключения и развилки. Один забытый delete — утечка; один лишний — UB; два владельца одного объекта — double free. Корень всех этих ошибок один: ресурс и ответственность за его освобождение существуют отдельно. Один — в куче, другой — в голове разработчика.

Смарт-указатели решают это через RAII: ресурс захватывается в конструкторе, освобождается в деструкторе, а деструктор вызывается автоматически на любом пути выхода из scope — через return, через исключение, через ранний break. Ответственность перемещается из документации в тип.

Главное, что даёт смарт-указатель — не «автоматическое удаление», а видимое в сигнатуре владение:

• std::unique_ptr<T> в параметре функции — это контракт «передача владения».
• const T& — «только наблюдение, объект обязательно жив».
• T* или std::weak_ptr<T> — «может быть nullptr или мёртвым, нужно проверить».

Перевыбрать тип — значит сменить смысл интерфейса. Полная карта моделей владения — в слоях ниже.

Карта темы

• std::unique_ptr — единоличный владелец — нулевые накладные расходы, move-only семантика, custom deleter, release vs reset.
• std::shared_ptr и control block — разделённое владение, control block, make_shared vs new, потокобезопасность счётчика vs объекта.
• std::weak_ptr — наблюдатель без владения — lock vs expired, разрыв циклов shared_ptr, паттерн в async-callbacks.
• enable_shared_from_this и self-shared_ptr — почему shared_ptr<T>(this) — UB, как метод возвращает shared_ptr на себя.
• Custom deleters и RAII для не-памяти — FILE*, OS-хендлы, malloc/free, std::out_ptr из C++23.
• boost::intrusive_ptr и intrusive counting — счётчик внутри объекта, COM/Qt/Unreal, отличия от shared_ptr.

Краткое сравнение

Правило выбора: по умолчанию unique_ptr. shared_ptr — только если разделённое владение действительно часть модели предметной области, а не способ «не думать, кто удаляет».

Частые ошибки и ловушки

Значение для собеседований

Умные указатели — один из самых частых топиков на C++-собеседованиях, от junior до staff. Кандидат, который знает только «умный указатель сам удаляет», обычно проваливается на первом уточняющем вопросе.

Что обычно проверяют:

• Понимание модели владения: unique vs shared vs observing.
• Что такое control block — что хранит, где живёт, когда удаляется.
• make_shared vs shared_ptr(new T) — аллокации, exception safety, нюанс с памятью при долгоживущих weak_ptr.
• Циклические shared_ptr — классический вопрос-ловушка.
• weak_ptr: lock() vs expired(), паттерн в callbacks.
• enable_shared_from_this: когда нужен, что произойдёт без него.
• Потокобезопасность: счётчик атомарный, объект — нет.
• Когда уместен custom deleter и intrusive_ptr.

Типичный неверный ответ: «Умные указатели предотвращают все утечки памяти». Правильно — предотвращают, если нет циклов через shared_ptr и если владение действительно выражено в типе. Пример с циклом Parent/Child — это не баг компилятора, это баг дизайна владения, который смарт-указатели не лечат сами.