c - 未初始化的 _Bool 变量或结构字段行为异常

Question

下面的代码:

_Bool field0;
char field1;

printf("fieldX:                [%d]\t[%d]\n", field0,         field1);
printf("fieldX ? 1 : 0:        [%d]\t[%d]\n", field0 ? 1 : 0, field1 ? 1 : 0);
printf("!fieldX:               [%d]\t[%d]\n", !field0,        !field1);
printf("!!fieldX:              [%d]\t[%d]\n", !!field0,       !!field1);

给出以下输出:

fieldX:                [165]  [165]
fieldX ? 1 : 0:        [165]  [1]
!fieldX:               [164]  [0]
!!fieldX:              [165]  [1]

看起来很令人惊讶，尤其是三元运算符的结果。

用 gcc 4.9.3 和 4.8.3 检查，-O0，没有 -flto。

备注:堆栈先前已使用 0xa5 模式(嵌入式 C 环境)初始化。

Answer 1

使用自动存储访问未初始化的对象会调用未定义的行为。所以这里没有什么奇怪的。

此外，_Bool 对象只能包含两个值:0 或 1。允许实现替换 !!boolean_object 或 boolean_object ？ 1 : 0 通过 boolean_object。

(另请注意，即使使用 -O0，gcc 仍在执行一些优化:例如，它内联调用一次的静态函数。)