Какие гарантии безопасности ты знаешь?

Гарантии безопасности исключений:

1. Базовая гарантия (basic guarantee): После возникновения исключения программа остается в валидном, но не определенном состоянии. Нет утечек ресурсов, но значения объектов могут быть непредсказуемыми.

2. Строгая гарантия (strong guarantee): Если операция завершилась исключением, состояние программы остается неизменным, как если бы операция не начиналась.

3. Гарантия отсутствия исключений (no-throw guarantee): Функция гарантирует, что она никогда не бросит исключение. Это можно явно указать с помощью noexcept.

// Пример noexcept
void safe_function() noexcept {
    // Этот код гарантированно не бросит исключение
}

void potentially_throwing_function() {
    // Этот код может бросить исключение
}

Эти гарантии важны для написания надежного кода, который корректно обрабатывает ошибки и исключительные ситуации.