与 C 中的 bool 变量比较

Question

考虑代码:

int foo(void)
{
    _Bool b = 1; // is true
    int i = 42;  // mean true in conditions

    if (i == b)
        return 1;
    else if ((_Bool)i == b)
        return 2;
    else
        return 3;
}

根据 C 标准(C99 或 C11)，此函数将返回什么？

附言在带有 -std=c99 选项的 GCC 4.7.2 上，该函数返回 2。

Answer 1

它返回 2 .

“通常的算术转换”应用于 == 的操作数。运算符(operator)。 _Bool是一个无符号类型，转换等级低于 int或 unsigned int .

“常用算术转换”在 C99 的第 6.3.1.8 节“常用算术转换”中指定。或 C11标准(链接指向最近的草稿)。

在i == b ，因为没有浮点操作数，“整数提升”应用于两个操作数，从 _Bool 提升右操作数至 int并产生值 1 .现在两个操作数的类型相同，因此不需要进一步转换。所以i == b相当于42 == 1 , 这是错误的。

在(_Bool)i == b ，“整数提升”仍然应用于两个操作数，因此两者都是从 _Bool 转换而来的至 int . (从 int 到 _Bool 再回到 int 的转换会丢失信息，将所有非零值都转换为 1 。)现在两个操作数的类型相同，因此不需要进一步转换。所以(_Bool)i == b相当于1 == 1 ，这是真的——函数返回 2 .

(注意:由于我在阅读标准时有些粗心，这是对这个答案的第三次主要编辑。我想这次我做对了。)

在回答评论中的一个问题时，b == 42u促销b来自 _Bool至 int ，导致 int与 unsigned int比较。由于操作数具有不同的符号但转换级别相同，因此有符号操作数被转换为无符号类型。转换 1来自 int至 unsigned int是微不足道的，产生 1u .所以比较相当于1u == 42u , 这是错误的。

(请注意，C 中的 == 运算符与其他相等和关系运算符一样，会产生类型为 int 且值为 0 或 1 的结果，不是 _Bool 类型的结果。)