MISRA C++:2023 Rule 8.2.2
R2026b描述
C-style casts and functional notation casts shall not be used. 1
理由
C 样式强制转换在源代码中难以区分。从一种类型强制转换为另一种类型时,无法传达开发人员的意图。包含 C 样式强制转换的代码难以理解和调试。应避免使用 C 样式强制转换。
C++ 引入了显式强制转换操作,这些操作易于识别,并能清晰传达每次强制转换背后的开发人员意图。请改用这些强制转换操作。
Polyspace 实现
Polyspace® 会标记代码中 C 样式强制转换。合规的 C++ 样式强制转换操作包括:
std::static_cast
std::reinterpret_cast
std::const_cast
std::dynamic_cast
使用
{}表示法进行强制转换
此外,也允许使用 boost 库中的 reference_cast 操作和 Microsoft 库中的 safe_cast 操作。
故障排除
如果您预期会出现违规,而 Polyspace 未报告该违规,请参阅诊断为何编码规范违规未按预期显示。
示例
检查信息
| 组:表达式 |
| 类别:必需 |
PQL 名称:std.misra_cpp_2023.R8_2_2 |
版本历史记录
在 R2024b 中推出
1 All MISRA coding rules and directives are © Copyright The MISRA Consortium Limited 2021.
The MISRA coding standards referenced in the Polyspace Bug Finder™ documentation are from the following MISRA standards:
MISRA C:2004
MISRA C:2012
MISRA C:2023
MISRA C:2025
MISRA C++:2008
MISRA C++:2023
MISRA and MISRA C are registered trademarks of The MISRA Consortium Limited 2021.