Как обеспечить гарантированное отсутствие исключений в программе на C/C++?

Использовать подход "noexcept by default".
Явно помечать функции как noexcept.
Избегать использования стандартных библиотечных функций, выбрасывающих исключения (например, использовать std::vector::at вместо []).
Применять RAII для управления ресурсами без исключений.
Обрабатывать коды ошибок вместо исключений в критических секциях.
Использовать static_assert для проверки инвариантов на этапе компиляции.
Проводить статическое и динамическое тестирование на предмет исключений.

// Пример функции, помеченной noexcept
void safe_function() noexcept {
    // Код, который гарантированно не выбросит исключение
}

// Пример использования кода ошибки вместо исключения
enum class ErrorCode {
    Success,
    InvalidInput,
    ResourceError
};

ErrorCode process_data(const std::vector<int>& data) {
    if (data.empty()) {
        return ErrorCode::InvalidInput;
    }
    // ... обработка данных ...
    return ErrorCode::Success;
}