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

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

Описание

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

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

Реализация Polyspace

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

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

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

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

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

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

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

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

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

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

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

Введенный в R2013b