Что такое exception safety?

Что такое exception safety?

Exception safety — это свойство кода в C++, которое гарантирует, что даже если выброшено исключение, программа остаётся в консистентном состоянии. Это критически важно для надёжности backend приложений.

Уровни Exception Safety

В C++ определены 4 уровня exception safety, от наиболее слабого к наиболее сильному:

1. No Exception Safety (нет гарантий)

Это худший сценарий. Если происходит исключение, результаты непредсказуемы — память может утечь, объекты могут остаться в частично инициализированном состоянии. Если from.withdraw() успешен, но to.deposit() выбросит исключение — деньги исчезнут!

2. Basic Exception Safety (базовая гарантия)

Если происходит исключение, объект остаётся в валидном состоянии, но которое может быть другим, чем было. Ресурсы не утекают (благодаря RAII), объект не развалится. Но конечное значение может быть не тем, что вы ожидали.

3. Strong Exception Safety (сильная гарантия)

Если происходит исключение, состояние откатывается до того, как функция была вызвана. Это "all or nothing" поведение. Это гарантирует консистентность между объектами.

Паттерн Copy-and-Swap: Часто используется для обеспечения strong гарантии. Копируем (может выбросить), затем swap (не выбрасывает). Если копирование выбросит, this не изменится.

4. NoThrow Exception Safety (no-throw гарантия)

Функция никогда не выбросит исключение. Это наиболее сильная гарантия, но и самая сложная. Используется для deструкторов, swap функций и move semantics.

Деструкторы и Exception Safety

Деструкторы никогда не должны выбросить исключение. Это критико, так как если деструктор выбросит во время раскрутки стека (stack unwinding) из другого исключения, это вызовет std::terminate() и убьёт программу.

RAII и Exception Safety

RAII (Resource Acquisition Is Initialization) — это механизм, который обеспечивает exception safety. Ресурсы освобождаются в деструкторах автоматически, даже если произойдёт исключение.

Smart pointers и Exception Safety

std::unique_ptr и std::shared_ptr обеспечивают exception safety благодаря RAII. Если используешь raw pointers с new/delete, памоть может утечь при исключении. Smart pointers автоматически очищаются.

Практические рекомендации

1. Предпочитай strong гарантию вместо basic: Сложнее кодировать, но проще понять и поддерживать
2. Используй RAII везде: Smart pointers, locks, streams
3. Объявляй noexcept, где это уместно (особенно для swap, move, деструкторов)
4. Копируй перед модификацией: Для strong гарантии
5. Проверяй input перед изменением состояния: Валидация до побочных эффектов

Exception safety — это не просто хорошая практика, это обязательный требование для production backend кода, потому что исключения могут прерваться в любой момент. Правильная обработка исключений предотвращает утечки ресурсов и состояния данных становятся непредсказуемыми.