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

reinterpret_cast не должны использоваться.

Объяснение

reinterpret_cast обычно используется для явного преобразования между двумя несвязанными типами данных. Например, в этом примере reinterpret_cast преобразует тип struct S* кому int*:

struct S { int x; } s;
int* ptr = reinterpret_cast<int*> (&s);

Однако его трудно использовать reinterpret_cast и не нарушать безопасность типа. Если результат reinterpret_cast является указателем, безопасно отменить привязку указателя только после приведения указателя к его исходному типу.

Внедрение Polyspace

Средство проверки правил помечает все виды использования reinterpret_cast ключевое слово.

Если средство проверки правил помечает использование reinterpret_cast если вы считаете это безопасным, добавьте комментарий, оправдывающий результат. См. раздел Результаты анализа пространства адресов с помощью исправлений ошибок или обоснований.

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

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