防止 Keil uVision 中布尔值出现“枚举类型与其他类型混合”警告

Question

我正在将我在 CodeWarrior v5.2 中开发的应用程序迁移到使用 ARM C 编译器 v5.06 的 Keil uVision v5.25。

在我的代码中，我使用bool 来表示布尔值，它在我的项目的types.h 文件中定义为：

typedef enum _bool 
{ 
  false = 0, 
  true = 1 
} bool;

当我尝试编译我的代码时，编译器会生成有关我将比较结果隐式分配给这种类型的变量的行的警告：

src\c\drivers\motor.c(168): warning:  #188-D: enumerated type mixed with another type
    const bool motorStopped = timeSinceLastEvent > maxPulseWidth;
src\c\drivers\motor.c(169): warning:  #188-D: enumerated type mixed with another type
    const bool motorStalled = motorStopped && isMotorDriven();

我了解为什么会生成这些警告。我知道我可以通过显式转换为 bool 来抑制这些警告，例如：

const bool motorStopped = (bool)(timeSinceLastEvent > maxPulseWidth);

但是，对每个布尔条件都执行此操作非常难看。我想知道是否有一种方法可以配置 Keil uVision / ARM 编译器（或修改我的代码）以不生成有关 bool 的警告，而不会完全禁用有关将枚举类型与其他类型混合的警告。

这些是我可用于配置编译器的选项：

Answer 1

感觉很脏，但我通过修改 SDK 工具包随附的 types.h 文件解决了这个问题，使其包含 stdbool.h 而不是定义自己的 bool 类型。重新编译我的项目在使用 bool 的第三方代码或我自己的代码中都没有产生警告/错误。

为了更好地衡量，我尝试以某种方式对其进行修改，如果它在 C89 项目中编译，它仍然可以工作：

#if __STDC_VERSION__ >= 199901L
#include <stdbool.h>
#endif

// ...

#if __STDC_VERSION__ < 199901L
typedef enum _bool 
{ 
  false = 0, 
  true = 1 
} bool;
#endif

Answer 2

首先，这些定义在 C 语言中逻辑上是不正确的。

C 将false 定义为零，将true 定义为非零，其中当然包括 1，但不仅如此。在许多情况下可能很危险：

只有当函数的返回值为1 时，表达式if(GetValue() == true) 才会计算为真。这是极其危险的，并且可能是许多难以发现的错误的根源。

bool 可以有任何值，因为int 是它后面的类型。

铸造不会改变任何东西：

#include <stdio.h>
#include <string.h>

typedef enum _bool 
{ 
  false = 0, 
  true = 1 
} bool;

int main(void) {

    bool x;

    x = 50;
    printf("%d\n", x);

    x = (bool)50;
    printf("%d\n", x);
}

https://ideone.com/nNHPLg

您将显式地将 int 值转换为零或一。例如：

bool x = !!something;

bool x = something ? true : false;