MISRA C++:2008 Rule 15-5-1

Деструктор класса не должен выходить за исключением

Описание

Примечание

Используйте Bug Finder вместо Code Prover для проверки правил кодирования. Поддержка кодирования правил, регистрируясь в Code Prover будет удалена в будущем релизе. См. Вопросы совместимости.

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

Деструктор класса не должен выходить за исключением.

Реализация Polyspace

Средство проверки отмечает исключения, добавленные тело деструктора. Если деструктор вызывает другую функцию, средство проверки не обнаруживает, если эта функция выдает исключение.

Средство проверки не обнаруживает эти ситуации:

  • catch оператор не отлавливает исключения всех типов, которые выданы.

    Средство проверки рассматривает присутствие catch оператор, соответствующий try блокируйтесь как индикация, что исключение отловлено.

  • throw операторы в catch блоки

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

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

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

Группа: Обработка исключений
Категория: необходимый

Вопросы совместимости

развернуть все

Не рекомендуемый запуск в R2021b

Введенный в R2013b