为什么nullable不重载==opertator？

Question

Nullable<Int32> x = 5;
Nullable<Int32> y = 10;

if (x == y) {
   ...
}

如果我的理解是正确的，那么为什么不将nullable 的==和！=运算符重载为：

public struct Nullable<T> where T : struct {
   ...
   public static bool operator == (Nullable<T> a, Nullable<T> b) {
      ...// do some nesseary null check
      return value.Equals(other);
   }
}

那我们就可以省下两个铸件了？

Answer 1

可为空的值类型上的运算符实际上在语言规范中是“硬编码的”。他们被称为升降机操作员。

提升运算符允许对不可为空的值类型进行操作的预定义运算符和用户定义运算符也与这些类型的可为空的形式一起使用。

对于相等运算符,

在Sharplab.io上，您可以看到该版本的编译器编译了以下内容：

public bool F(int? a, int? b) {
    return a == b;
}

致：

public bool F(Nullable<int> a, Nullable<int> b)
{
    Nullable<int> num = a;
    Nullable<int> num2 = b;
    return (num.GetValueOrDefault() == num2.GetValueOrDefault()) & (num.HasValue == num2.HasValue);
}

这方面的一般实施办法是：

public static bool operator == (Nullable<T> a, Nullable<T> b) {
    return (a.GetValueOrDefault() == b.GetValueOrDefault()) && (a.HasValue == b.HasValue);
}