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

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 что вы считаете безопасным, добавьте комментарий, обосновывающий результат. Смотрите Адрес Результаты Polyspace через исправления ошибок или обоснования.

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

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