工程布尔比较等于真假，为什么？

Question

下面的例子可以编译，但是输出很奇怪：

#include <iostream>
#include <cstring>

struct A
{
    int a;
    char b;
    bool c;
};

int main()
{
    A v;
    std::memset( &v, 0xff, sizeof(v) );

    std::cout << std::boolalpha << ( true == v.c ) << std::endl;
    std::cout << std::boolalpha << ( false == v.c ) << std::endl;
}

输出是：

true
true

谁能解释一下原因？

如果重要的话，我使用的是 g++ 4.3.0

Answer 1

在 C++ 标准第 3.9.1 节“基本类型”中找到了这个（注意神奇的脚注 42）：

6. Values of type bool are either true or false. 42)

42) 以本国际标准将布尔值描述为“未定义”的方式使用布尔值，例如通过检查未初始化的自动变量的值，可能会导致其表现得既不是真也不是假。

这对我来说不是很清楚，但似乎回答了这个问题。

Answer 2

覆盖v使用的内存位置的结果是undefined behaviour。 根据标准，一切都可能发生（包括您的计算机飞走和吃早餐）。

Answer 3

内存设置为非 1 或 0 值的布尔值具有未定义的行为。

Answer 4

我想我找到了答案。 3.9.1-6 说：

bool 类型的值要么为真，要么 false.42) [注意：没有签名， 无符号、短或长布尔类型或 价值观。 ] 如下所述，bool 值表现为整数类型。 bool 类型的值参与 积分促销 (4.5)。

注释 42 说：

42) 使用布尔值的方式 本国际所描述的 标准为“未定义”，例如 by 检查一个值 未初始化的自动变量， 可能会导致它表现得好像 不真也不假。

Answer 5

我似乎无法在标准中找到任何说明为什么会发生这种情况的内容（很可能是我的错）——这确实包括 7vies 提供的参考资料，这本身并不是很有帮助。这绝对是未定义的行为，但我无法解释 OP 观察到的具体行为。

作为一个实际问题，我很惊讶输出是

true
true

使用VS2010，输出更容易解释：

false
false

在后一种情况下，会发生什么：

• 与布尔值true 的比较由编译器实现，作为与0x01 相等性的测试，由于0xff != 0x01，结果为false。
• 与布尔值false 的比较也是如此，只是现在比较的值是0x00。

当解释为bool 时，我想不出任何会导致false 与值0xff 进行比较的实现细节。有人对此有任何想法吗？