exponenta event banner

MISRA C++: Правило 2008 15-3-2

Должен быть по крайней мере один обработчик исключений, чтобы перехватить все необработанные исключения

Описание

Определение правила

Должен быть по крайней мере один обработчик исключений, чтобы перехватить все необработанные исключения.

Внедрение Polyspace

Проверка показывает нарушение, если нет try/catch в main функции или catch не обрабатывает все исключения (с многоточием ...). Правило не проверяется, если main функция не существует.

Средство проверки не определяет, действительно ли исключение необработанного типа распространяется на main.

Средство поиска ошибок и средство проверки кода проверяют это правило кодирования по-разному. Анализ может дать различные результаты.

Поиск неисправностей

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

Проверить информацию

Группа: Обработка особых ситуаций
Категория: Консультационные услуги
Представлен в R2013b