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

我有一小段关于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，sizeof bool类型为1C中的字节。

那为什么要sizeof(a ? true : false)给出四个字节的输出呢？

这是因为你有#include <stdbool.h>。该标头将宏定义为， true并且false为1和0，因此您的语句如下所示：

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

sizeof(int) 在您的平台上为4。

在这里，三元运算符返回boolean类型，

好的，还有更多！

在C中，此三元运算的结果为类型int。^{[以下注意事项（1,2）]}

因此，结果与sizeof(int)平台上的expression相同。

注1：引用C11，第§7.18章，Boolean type and values <stdbool.h>

[....]其余三个宏适合在#if预处理指令中使用。他们是

true

扩展为整数常数1

false

扩展为整数常量0，[....]

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

计算第一个操作数；在它的评估与第二个或第三个操作数的评估（无论哪个被评估）之间都有一个序列点。仅当第一个操作数比较不等于0时，才对第二个操作数求值；仅当第一个操作数等于0时，才计算第三个操作数；结果是第二个或第三个操作数的值（以所评估的为准）， [...]

和

如果第二个操作数和第三个操作数都具有算术类型，则将它们应用到这两个操作数时，将由通常的算术转换确定的结果类型。[....]

因此，结果将是整数类型，并且由于值的范围，这些常数恰好是类型int。

也就是说，一般性建议int main()最好int main (void)是真正符合标准。

三元运算符是红色鲱鱼。

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

打印4（或sizeof(int)您平台上的任何东西）。

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

之所以sizeof(true) != sizeof(bool)和sizeof(true) == sizeof(int)很简单，因为true是没有类型的表达式bool。这是type的表达int。据#defined为1 1在stdbool.h。

boolC 中根本没有类型的右值。每个这样的右值都会立即提升为int，即使用作的参数也是如此sizeof。编辑：此段不正确，sizeof不要将参数提升为int。但是，这不会影响任何结论。

关于C语言中的布尔类型

布尔类型是在1999年C语言的较晚引入的。在此之前，C没有布尔类型，而是用于int所有布尔表达式。因此，所有逻辑运算符（例如> == !etc）都返回intvalue 1或0。

对于应用程序，使用诸如的自制类型是自定义的typedef enum { FALSE, TRUE } BOOL;，它也可以归结为int大小类型。

C ++具有更好，更明确的布尔类型bool，该类型不大于1个字节。在最坏的情况下，C语言中的布尔类型或表达式最终将以4个字节结尾。带有C99标准的C语言引入了与C ++的某种兼容方式。C然后得到一个布尔类型_Bool以及标题stdbool.h。

stdbool.h提供与C ++的一些兼容性。此标头定义了bool扩展为的宏（与C ++关键字的拼写相同）宏_Bool，该类型是小整数类型，可能大了1个字节。同样，标头提供了两个宏true和false，其拼写与C ++关键字相同，但与较旧的C程序具有向后兼容性。因此true，在C中false扩展为1and 0，它们的类型为int。这些宏实际上不是布尔类型的，就像相应的C ++关键字那样。

同样，出于向后兼容的目的，即使C如今具有布尔类型，C中的逻辑运算符仍会返回int到今天。在C ++中，逻辑运算符返回bool。因此，诸如的表达式sizeof(a == b)将给出intC中a的大小，但给出boolC ++ 中a的大小。

关于条件运算符 ?:

条件运算符?:是一个怪异的运算符，有几个怪癖。普遍认为它等于100％是一个普遍的错误if() { } else {}。不完全的。

在第一个和第二个或第三个操作数的求值之间有一个序列点。该?:操作员是保证仅评估任一第二或第三操作数，所以它不能执行该不评估操作数的任何副作用。像这样的代码true? func1() : func2()将不会执行func2()。到目前为止，一切都很好。

但是，有一条特殊的规则指出，第二个操作数和第三个操作数必须通过常规的算术转换隐式地提升并相互平衡。（此处解释了C中的隐式类型提升规则）。这意味着第二或第三操作数将始终至少与一样大int。

因此，这并不重要，true并且false碰巧是intC语言中的类型，因为表达式始终至少会给出intno 的大小。

即使您将表达式重写为 它，它仍然会返回！的大小！sizeof(a ? (bool)true : (bool)false) int

这是由于通过常规算术转换进行的隐式类型提升。

快速回答：

• sizeof(a ? true : false)计算结果为4，因为true和false在定义<stdbool.h>为1与0分别的，所以表达膨胀到sizeof(a ? 1 : 0)它是一个整数表达类型int，占据在平台上的4个字节。出于相同的原因，在您的系统上sizeof(true)也会求值4。

但是请注意：

• sizeof(a ? a : a)4如果三进制运算符是整数表达式，则三进制运算符也会对其第二个和第三个操作数执行整数提升。当然，sizeof(a ? true : false)和也会发生同样的情况sizeof(a ? (bool)true : (bool)false)，但是将整个表达式强制转换bool为预期的行为：sizeof((bool)(a ? true : false)) -> 1。

• 还请注意，比较运算符的计算结果为布尔值1或0，但int类型为sizeof(a == a) -> 4。

保留boolean性质的唯一运算符a是：

• 逗号操作符：既sizeof(a, a)和sizeof(true, a)评估，以1在编译时。

• 赋值运算符：sizeof(a = a)和sizeof(a = true)都具有的值1。

• 增量运算符： sizeof(a++) -> 1

最后，以上所有内容仅适用于C：C ++在bool类型，布尔值true和false比较运算符和三元运算符方面具有不同的语义：所有这些sizeof()表达式1在C ++中求值。

这是源代码中包含的摘录

#ifndef __cplusplus

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

#else /* __cplusplus */

宏true和false分别声明为1和0。

但是，在这种情况下，类型是文字常量的类型。0和1都是适合int的整数常量，因此它们的类型为int。

而sizeof(int)您的情况是4。

C中没有布尔数据类型，相反，如果逻辑表达式为1true ，则逻辑表达式的值为整数0。

条件表达式喜欢if，for，while，或c ? a : b期待一个整数，如果数字是非零它被认为是true除了一些特殊情况下，这里的递归求和函数中三元运营商将评估true，直到n到达0。

int sum (int n) { return n ? n+sum(n-1) : n ;

它也可以用来NULL检查指针，这是一个递归函数，用于打印单链接列表的内容。

void print(sll * n){ printf("%d -> ",n->val); if(n->next)print(n->next); }