工程布尔比较等于 true 和 false，为什么？

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

覆盖 v 使用的内存位置的结果是未定义行为。
根据标准，一切都可能发生（包括你的电脑飞走和吃早餐）。

Answer 2

其内存设置为非一或零的值的布尔值具有未定义的行为。

Answer 3

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

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

注释 42 说：

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

Answer 4

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

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

true
true

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

false
false

在后一种情况下，发生的情况是：

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

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

Answer 5

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

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

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

这对我来说并不完全清楚，但似乎回答了这个问题。