MISRA C:2012 Rule 16.2
A switch label shall only be used when the most closely-enclosing compound statement is the body of a switch statement
描述
规则定义
A switch label shall only be used when the most closely-enclosing compound statement is the body of a switch statement 1
理由
C 标准允许在 switch 语句主体中的任何语句前面放置一个开关标签(例如 case 或 default)。这种灵活性可能导致代码结构不规范。为了防止代码结构混乱,请确保开关语句的开关标签仅出现在开关语句主体的最外层。
报告中的补充消息
报告文件中的所有消息均以 "MISRA-C switch statements syntax normative restriction" 开头。
初始化器不得用于开关语句中。
switch 语句的子语句必须是复合语句。
所有开关语句应出现在同一级别。
开关语句仅包含开关标签和开关语句,不包含其他代码。
开关语句只能包含开关标签和开关子句,不能包含其他代码。
故障排除
如果您预期会出现违规,但未看到该违规,请参阅诊断为何编码规范违规未按预期显示。
检查信息
| 组:Switch 语句 |
| 类别:必需 |
| AGC 类别:建议 |
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++:2008
MISRA C++:2023
MISRA and MISRA C are registered trademarks of The MISRA Consortium Limited 2021.