为什么“sizeof（a？ true： false）”给出四个字节的输出？

Question

我有一个关于带有三元运算符的sizeof运算符的小代码：

#include <stdio.h>
#include <stdbool.h>

int main()
{
    bool a = true;
    printf("%zu\n", sizeof(bool));  // Ok
    printf("%zu\n", sizeof(a));     // Ok
    printf("%zu\n", sizeof(a ? true : false)); // Why 4?
    return 0;
}

输出（GCC）：

1
1
4 // Why 4?

但在这里，

printf("%zu\n", sizeof(a ? true : false)); // Why 4?

三元运算符返回booleantype和sizeofbooltype是C中的1字节。

那么为什么sizeof（a？true:false）会给出四个字节的输出呢？

Answer 1

三元运算符是一种转移注意力的方法。

    printf("%zu\n", sizeof(true));

Print 4（或您平台上的任何sizeof（int））。

以下假设bool是char或类似类型的大小1的同义词，并且int大于char。

为什么sizeof（true）！=sizeof（bool）和sizeof（true）=sizeof（int）只是因为true不是bool类型的表达式。这是一个类型为int的表达式。它是#在stdbool中将d定义为1。h。

C中根本没有类型为 bool的右值。即使用作 sizeof的参数，每一个这样的右值都会立即提升为 int 编辑：此段落不正确，sizeof的参数不会升级为int。但这并不影响任何结论。

Answer 2

这里，三元运算符返回booleantype，

好吧，还有更多！

在C语言中，这个三元运算的结果是类型int^{[以下注释（1,2）]}

因此，结果与平台上的表达式sizeof（int）相同。

注1：引用C11，第§7.18章，布尔类型和值

[......]其余三个宏适用于#if预处理指令。它们是

true

扩展到整数常量1，

false

它扩展为整数常量0，[…]

注2：对于条件运算符，第6.5.15章，（强调我的）

评估第一个操作数；在其评估和第二个或第三个操作数的评估之间有一个序列点（以评估的为准）。仅当第一个比较不等于0时才评估第二个操作数；仅当第一个比较等于0时才评估第三个操作数；结果是第二个或第三个操作数的值（以评估的为准），[...]

和

如果第二个和第三个操作数都有算术类型，则结果类型就是结果的类型，该类型由应用于这两个操作数的常用算术转换决定。[....]

因此，结果将是integer类型，并且由于值的范围，常数的类型正好是int。

也就是说，一个通用建议，int main（）最好是int main（val）才能真正符合标准。

Answer 3

这是因为你有#include

printf("%zu\n", sizeof(a ? 1 : 0)); // Why 4?

sizeof（int）在您的平台上是4。