C - 使用 memset undefined 设置后读取 _Bool，是否定义了实现？

问：

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

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

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

#include <stdbool.h>

//...

bool x = true;

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

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