MISRA C ++:2008 правил 15-5-1

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

Описание

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

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

Реализация Polyspace

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

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

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

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

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

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

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

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

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

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

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

Введенный в R2013b