比较两个具有不同 int 值的 bool

Question

#include <stdbool.h>                                                            
#include <stdio.h>                                                                 
int main ()                                                                        
{                                                                                  
    bool a, b;                                                                     
    a = 1;                                                                         
    b = 4;                                                                         
                                                                                   
    if (a == b)                                                                    
        printf ("They are equal\n");                                               
    else                                                                           
        printf ("They are different\n");                                           
}

此代码打印 They are equal

• 怎么会这样？变量 a 和 b 是否在赋值中填充了值 0x1 而不管我赋给它们的是什么？或者可能是 == 被黑客攻击以处理 bools？
• 此行为是否可跨 C 标准库实现和编译器移植？
• 在引入 stdbool.h 之前逻辑比较两个 bool/int 的正确方法是什么？

Answer 1

How can this happen?

两个变量都是1，所以它们相等。

Are the variables a and b being filled with the value 0x1 in the assignment regardless of what I assign to them?

好吧，不管怎样。任何 非零 值都转换 为 1 并分配给 bool。零值将填充它们... 0.

Or maybe is it the == that has been hacked to handle bools?

没有

就是bool是一个扩展为_Bool的宏，_Bool变量在给它赋值时有特殊的语义

Is this behaviour portable accross C Standard Library implementations and compilers?

是的。

What was the correct way of logically comparing two bools before the introduction of stdbool.h ?

当 bool 不是 _Bool，而是像 int 时，您可以使用双重逻辑 NOT:[=23] 将赋值或比较中的值转换为 0 或 1 =]

if (!!a == !!b)      

Answer 2

C11, 6.3.1.2 说：

When any scalar value is converted to _Bool, the result is 0 if the value compares equal to 0; otherwise, the result is 1.

当您将 4 分配给 b 时，它只是分配给 1。所以是的，这种行为由 C 标准保证。