2

我试图找到在 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 和/或逻辑双条件运算的代码。

4

1 回答 1

1

我怀疑这是否已被指定。当您明确布局结构时，您很可能会进入特定于体系结构和特定于实现的行为。

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

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

于 2012-06-29T18:50:53.720 回答