Cosa significa la garanzia di sicurezza in caso di eccezioni nel codice?

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

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

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

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