Фрагмент:
int* p = new int(5); delete p; delete p;
Что происходит и почему это ошибка
- Здесь объект выделяется динамически один раз (значение $5$), затем освобождается дважды: вторым вызовом $delete$ происходит «двойное удаление».
- По стандарту C++ это неопределённое поведение (UB — undefined behavior): стандарт не задаёт результата, программа может крашиться, коррумпировать память, показывать разный результат в отладочной/релизной сборке, или вести себя «нормально» случайно.
Возможные последствия в рантайме
- Немедленный краш (segmentation fault).
- Коррупция heap-структур, приводящая к крашам в других местах программы.
- Use-after-free: дальнейшее обращение к уже освобождённой памяти даст неверные данные.
- Разные проявления в разных компиляторах/оптимизациях; потенциальная уязвимость для эксплойтов.
- Поведение трудно отлаживать и воспроизвести.
Как исправить ошибку (простые варианты)
- Гарантировать единый вызов освобождения: удалять только один раз.
- После delete обнулить указатель:
int* p = new int($5$);
delete p;
p = nullptr;
// второй delete p; безопасен, если делать проверку p != nullptr
- Лучше: избегать ручного new/delete вообще (см. ниже).
Современные приёмы C++ (RAII, smart pointers) и примеры
- RAII (Resource Acquisition Is Initialization): ресурс привязан к объекту, его деструктор освобождает ресурс гарантированно при выходе из области видимости. Это устраняет двойное удаление и утечки.
- std::unique_ptr — владение единичное, автоматически вызывает delete при разрушении:
auto p = std::make_unique($5$);
// нет delete, при выходе из области видимости память освобождается ровно один раз
- std::shared_ptr — совместное владение с подсчётом ссылок; объект удаляется, когда счётчик ссылок достигает нуля:
auto p1 = std::make_shared($5$);
auto p2 = p1; // оба разделяют владение
- std::weak_ptr — неблокирующая ссылка на объект, чтобы избежать циклических ссылок при использовании shared_ptr.
Рекомендации для production-кода
- Предпочитайте std::make_unique / std::make_shared перед raw new.
- Используйте unique_ptr для явного единственного владения; shared_ptr только если реально нужно совместное владение.
- Не храните "владение" в сырых указателях; сырые указатели допустимы для наблюдателей (non-owning).
- Для обнаружения проблем используйте инструменты: AddressSanitizer (ASan), Valgrind, UBSan.
- Следуйте принципу: ресурс = объект; деструктор освобождает — это избавляет от ошибок вроде двойного delete.
Краткий итог
- Двойной delete = неопределённое поведение.
- Правильный путь: не управлять памятью вручную, а применять RAII и смарт-указатели (std::unique_ptr и при необходимости std::shared_ptr).