MISRA C++:2008 Rule 15-3-2

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

Описание

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

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

Реализация Polyspace

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

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

Bug Finder и Code Prover проверяют это правило кодирования по-другому. Исследования могут привести к различным результатам.

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

Если вы ожидаете нарушение правила, но не видите его, относитесь, чтобы Диагностировать, Почему Кодирующие Стандартные Нарушения Не Появляются как ожидалось.

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

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