MISRA C++:2023 Rule 10.1.2
R2026b描述
The volatile qualifier shall be used appropriately. 1
理由
避免对以下实体使用 volatile 限定:
局部变量
函数参数
函数返回类型
成员函数
结构化绑定
如果对上述任何实体使用 volatile 限定,代码行为可能会变得难以理解且难以定义。
Polyspace 实现
如果使用 volatile 限定声明了以下任何实体,则 Polyspace® 会报告违反了此规则:
函数返回类型
局部变量
函数参数
结构化绑定
类成员函数
故障排除
如果您预期会出现违规,而 Polyspace 未报告该违规,请参阅诊断为何编码规范违规未按预期显示。
示例
检查信息
| 组:声明 |
| 类别:必需 |
PQL 名称:std.misra_cpp_2023.R10_1_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.