显式布局类型中布尔字段的语义 (ECMA-334)

Question

我正在尝试查找在 ECMA-334（C# 语言规范）中定义以下行为的位置。源程序如下。

static void Main(string[] args)
{
    TestStruct a = new TestStruct();
    a.byteValue = 1;
    TestStruct b = new TestStruct();
    b.byteValue = 2;

    Console.WriteLine(string.Format("Result of {0}=={1} is {2}.",
        a.boolValue, b.boolValue, a.boolValue == b.boolValue));
    Console.WriteLine(string.Format("Result of {0}!={1} is {2}.",
        a.boolValue, b.boolValue, a.boolValue != b.boolValue));
    Console.WriteLine(string.Format("Result of {0}^{1} is {2}.",
        a.boolValue, b.boolValue, a.boolValue ^ b.boolValue));
}

[StructLayout(LayoutKind.Explicit, Pack = 1)]
struct TestStruct
{
    [FieldOffset(0)]
    public bool boolValue;
    [FieldOffset(0)]
    public byte byteValue;
}

执行结果如下。

Result of True==True is False.
Result of True!=True is True.
Result of True^True is True.

这违反了 §14.9.4 和 §14.10.3 两个部分，所以我假设其他地方有一个例外情况，涵盖这些情况。请注意，这不会影响使用 AND、OR、NAND 或 NOR 运算的代码，但会影响使用 XOR 和/或逻辑双条件运算的代码。

Answer 1

我怀疑这根本没有指定。当您明确布局结构时，您很可能会进入特定于架构和特定于实现的行为。

我强烈怀疑您所看到的行为都可以通过想象所有bool 操作都有效地转换为整数操作来解释，然后（在必要时）通过检查结果是否为非零来转换结果。通常这很好，只要所有 bool 值在内存中使用相同的值（1 或 0），但在你的情况下，你给它一个意外的值（2）。因此，尽管a.boolValue 和b.boolValue 都为真，a.boolValue ^ b.boolValue 具有对所涉及的两个字节进行异或运算的效果，得到 3，在必要时仍会转换为 true。

最好避免使用这种代码，IMO。您是真的需要它，还是只是好奇？