为何stdbool.h中采用有符号整数而非无符号整数？是否存在性能考量？

先直接看<stdbool.h>的标准定义：

#define bool _Bool
#define true 1
#define false 0

这里的1和0是C语言默认的有符号int类型，而非无符号整数。背后的原因和性能考量咱们一步步拆解：

核心原因：兼容性与语言设计的一致性 #

1. 兼容历史代码习惯 #

C语言直到C99标准才正式引入_Bool类型和<stdbool.h>头文件，但在此之前，开发者们已经用了几十年的“零为假，非零为真”约定——几乎所有自定义布尔值的代码都是用#define true 1、#define false 0，这里的1和0都是有符号int。

标准委员会选择延续这个定义，就是为了让大量已有代码能无缝兼容C99，避免因为类型不匹配出现警告或错误。毕竟没人愿意为了升级标准就修改成千上万行代码里的布尔值定义。

2. 契合整数提升规则 #

C语言有一套整数提升规则：在表达式中，比int小的类型（比如_Bool、char、short）都会被自动提升为int。把true和false定义为int，能让它们在表达式中直接参与运算，和其他整数操作的逻辑完全一致，不需要额外的类型转换，降低了语言的复杂度。

举个例子：如果true是无符号整数，当它和一个有符号int变量做比较时，可能会触发编译器的符号不匹配警告；而用有符号int的定义，就完全不会有这个问题。

性能层面的考量：几乎无差异 #

从性能角度来说，把true/false定义为有符号还是无符号整数，在现代编译器和硬件上几乎没有区别。

无论是有符号的1还是无符号的1，在CPU寄存器中的二进制存储形式是完全一样的，执行比较、赋值、运算等操作的指令周期也没有差异。现代编译器会自动优化这些细节，不会因为符号属性产生性能开销。

唯一可能的极端场景是在非常古老的16位或8位架构上，有符号和无符号整数的运算指令可能略有不同，但这种情况在今天的主流硬件中已经完全可以忽略。反而，使用有符号int的定义更符合C的默认类型规则，减少了潜在的类型转换开销（虽然这种开销本身就极小）。

另外要注意：_Bool本身是单字节类型，但当你把true（int类型的1）赋值给_Bool变量时，编译器会在编译期就完成转换（非零值转为1），完全不会带来运行时性能损失。

内容的提问来源于stack exchange，提问作者Marco Sulla