C - 使用 memset 设置未定义的 _Bool 后读取 _Bool 是否已定义，实现是否已定义？

Question

在 ISO 标准 C 中，我的理解是，没有什么可以真正确定 _Bool 的表示形式，但它确实说：

• “_Bool 足够大，可以容纳值 0 和 1”
• “当任何标量值转换为 _Bool 时，如果值比较等于0，则结果为0； 否则，结果为 1”
• “_Bool 中的位数至少为 CHAR_BIT，_Bool 的宽度只能是 1 位”

我当时在想（以及从其他相关答案）， false 的表示实际上不必为 0 （即使在几乎所有实现中，都是如此）。那么如果您将 _Bool 设置为 0，然后以某种方式使用它，会发生什么情况？这是未定义的行为（默认情况下，因为它没有在标准中定义）或者实现定义的行为？这似乎很重要（以我的理解），因为在前一种情况下，它不是一个定义良好的 C 程序，例如，这个未定义的行为可以有 0 以外的表示吗？

#include <stdbool.h>

//...

bool x = true;

memset(&x, 0, sizeof(bool));

if(x == true)
{
    printf("Zero is true!");
}
else
{
    printf("zero is false!");
}

Answer 1

_Bool 是无符号整数类型。它至少可以表示值 0 和 1。请注意，没有单独的 true 和 false 值。 stdbool.h 中的宏 true 扩展为常量 1，宏 false 扩展为常量 0 7.18。因此，x == true 与 x == 1 相同。

无符号整数类型中有两种位：值位和填充位 6.2.6.2p1。您对 memset 的调用将所有位（值和填充）设置为零。

对于任何整数类型，所有位都为零的对象表示应是该类型中值零的表示 6.2.6.2p5。

因此，所示的程序片段没有可见的未定义、未指定或实现定义的行为。一个合理完成的程序应该打印zero is false。