Гарантия безопасности при возникновении исключений (exception safety) означает, что при выбрасывании исключения программа остаётся в корректном и предсказуемом состоянии, без утечек ресурсов или повреждения данных.

Существует несколько уровней безопасности:

Никакой гарантии (No guarantee): состояние программы может быть непредсказуемым.
Базовая гарантия (Basic guarantee): программа остаётся в корректном состоянии, но состояние объекта может измениться.
Гарантия отсутствия изменений (Strong guarantee): операция либо успешно завершается, либо не изменяет состояние (атомарность).
Гарантия отсутствия исключений (No-throw guarantee): операция гарантированно не выбрасывает исключений.

Например, при работе с динамической памятью важно, чтобы при возникновении исключения не произошло утечки памяти и объекты остались в валидном состоянии.

Что означает гарантия безопасности при возникновении исключений в коде?