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

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

Описание

Управляйте определением

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

Реализация Polyspace

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

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

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

Обменивайтесь сообщениями в отчете

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

Поиск и устранение проблем

Если вы ожидаете нарушение правила, но не видите его, обратитесь к Кодированию Стандартных Нарушений, Не Отображенных.

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

Группа: Обработка исключений
Категория: консультация

Введенный в R2013b