exponenta event banner

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

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

Описание

Определение правила

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

Внедрение Polyspace

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

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

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

    Шашка считает наличие catch оператор, соответствующий try block как указание на то, что исключение перехвачено.

  • throw утверждения внутри catch блоки

Поиск неисправностей

Если вы ожидаете нарушения правила, но не видите его, обратитесь к разделу Нарушения стандартов кодирования не отображаются.

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

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