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

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

Описание

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

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

Реализация Polyspace

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

Шашка не обнаруживает такие ситуации:

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

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

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

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

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

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

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