MISRA C:2023 Rule 16.7

A switch-expression shall not have essentially Boolean type

自 R2024a 起

描述

规则定义

A switch-expression shall not have essentially Boolean type 1

理由

C 标准要求 switch 语句的控制表达式必须具有整数类型。由于 C 语言使用整数类型实现布尔值，因此可以使用布尔表达式来控制 switch 语句。对于使用布尔类型的控制流，使用 if-else 结构更为合适。

Polyspace 实现

分析会识别布尔类型，bool 或 _Bool（在 stdbool.h 中定义）

您还可以使用有效布尔类型 (-boolean-types) 选项定义本质上为布尔的类型。

故障排除

如果您预期会出现违规，但未看到该违规，请参阅诊断为何编码规范违规未按预期显示。

检查信息

组：Switch 语句
类别：必需
AGC 类别：建议

版本历史记录

在 R2024a 中推出

另请参阅

主题

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.