(bool) 是否可靠地转换为 0 或 1？ [复制]

Question

从一些readingonStack Overflow，我推测bool，定义在stdbool.h，是一个扩展为内置类型_Bool的宏，而true是定义为1 和false 定义为0。

转换为bool 是否保证返回0 或1 的值？ _Bool 变量（包括转换右值）可能会获得 0 或 1 以外的值吗？

以下代码暗示 _Bool 变量，包括转换右值，将只有 0 或 1 的值，但我想确认这是有保证的，而且我没有观察目标- 或编译器版本特定的行为。

（FWIW，我最感兴趣的是确认只有NULL，转换为_Bool，将是0，并且所有其他可能的指针值，转换为_Bool，将是@987654342 @)

$ cat ./main.c
#include <stdio.h>
#include <stdbool.h>

int main( int argc, char* argv )
{
  int   i;
  int*  p = &i;
  int*  n = NULL;

  printf( "%zu\n", sizeof( (bool)p ) );
  printf( "%p - %d\n", p, (bool)p );
  printf( "%p - %d\n", n, (bool)n );
  printf( "%d\n", (bool)3 );

  return 0;
}

$ gcc --version
gcc (GCC) 8.2.1 20181215 (Red Hat 8.2.1-6)
Copyright (C) 2018 Free Software Foundation, Inc.
This is free software; see the source for copying conditions.  There is NO
warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.

$ gcc -g ./main.c && ./a.out    
1
0x7ffdac3290bc - 1
(nil) - 0
1

Answer 1

C 2018 6.3.1.2 1 说：

当任何标量值转换为_Bool时，如果值比较等于0，则结果为0；否则，结果为 1。

Answer 2

是的，bool 的强制转换保证会产生 0 或 1，不超过未定义行为可以产生任何东西的限制。如果在转换为 bool 的路径之前存在未定义的行为，那么您可能会观察到奇怪的事情，因为编译器可能已经根据不再有效的假设正确地进行了转换。例如，如果实现在存储时执行折叠到 0/1，它可能会在从内存加载 bool 时假定该值已经是 0 或 1，并且不需要进一步折叠。如果 bool 对象的存储已因缓冲区溢出、别名冲突等而改变，那么最终可能会看到不同的值。