c# - "ulong == ulong?"评估为 "ulong == ulong"工作正常

Question

如果我们在 ulong 表达式和 ulong? 表达式之间使用 == 运算符，则运算符重载 bool ulong(ulong left, ulong right) 似乎被使用。

换句话说，运算符认为两个表达式都是非空的。

在这个示例程序中，equal 正确地变为 false，无一异常(exception)。

void Main()
{
    var temp = new Temp(0);
    object temp2 = null;

    var equal = temp.Id == (temp2 as Temp)?.Id; // False :) but how?
}

public class Temp
{
    public ulong Id {get;}

    public Temp(ulong id)
    {
        this.Id = id;
    }
}

1. 这怎么能不扔呢？没有从值为 null 的 ulong? 到 ulong 的转换。 (ulong)(ulong?)null 抛出:“可为 Null 的对象必须有一个值。”
2. 这是否为 ulong 的每个可能的值 返回正确的值？，包括 null？如果是这样，如何？ ulong? 类型比 ulong 多一个可能的值，因此应该有一组两个值映射到相同 ulong 值，这会引入一个误报“真”结果。

理论上，我可以想象 null 被合并为 default(ulong)，但是我上面示例中的结果将是 true，这将是一个错误的答案。正如我们所见，编译器不会犯这个错误 - 它会正确回答。

Answer 1

来自 MSDN :

Lifted operators permit predefined and user-defined operators that operate on non-nullable value types to also be used with nullable forms of those types. Lifted operators are constructed from predefined and user-defined operators that meet certain requirements, as described in the following:

...

• For the equality operators

  ==  !=
  

a lifted form of an operator exists if the operand types are both non-nullable value types and if the result type is bool. The lifted form is constructed by adding a single ? modifier to each operand type. The lifted operator considers two null values equal, and a null value unequal to any non-null value. If both operands are non-null, the lifted operator unwraps the operands and applies the underlying operator to produce the bool result.

您没有使用运算符:

bool ==(ulong left, ulong right)

您正在使用提升运算符:

bool ==(ulong? left, ulong? right)

此运算符采用两个 ulong? 参数，如果两者均为 null，或者两者均非 null 且具有相同的值，则返回 true。

---

您可能正在查看 Visual Studio，在这种情况下它确实向您展示了一些令人困惑的东西:

不要对此感到困惑——正如@mjwills 在评论中指出的那样，this is a known issue .

---

如果你这样写:

public bool M(ulong a, ulong? b) {
    return a == b;
}

然后编译器产生如下代码:

public bool M(ulong a, ulong? b)
{
    ulong? num = b;
    return (a == num.GetValueOrDefault()) & num.HasValue;
}

num.GetValueOrDefault() 如果 b 为 null，则返回 0，否则返回 的值b。所以 M 返回 true 当且仅当 b 不为 null，并且与 a 具有相同的值。

SharpLab