C＃好的比较值types为null
我今天遇到了这个，不知道为什么C＃编译器不会抛出一个错误。
Int32 x = 1; if (x == null) { Console.WriteLine("What the?"); } 我很困惑x怎么可能是空的。 尤其是因为这个赋值绝对会引发一个编译错误：
Int32 x = null;
x是否可能变为null，Microsoft是否决定不把这个检查放入编译器，还是完全错过？
更新：在编写这篇文章的代码搞乱之后，编译器突然想出了一个警告，expression式永远不会是真的。 现在我真的迷失了。 我把对象放到一个类中，现在警告已经消失了，但是留下了一个问题，值types最终可能为null。
public class Test { public DateTime ADate = DateTime.Now; public Test () { Test test = new Test(); if (test.ADate == null) { Console.WriteLine("What the?"); } } }
这是合法的，因为操作员重载分辨率具有唯一的最佳操作员select。 有一个==运算符，需要两个可为空的整数。 int本地可转换为可空int。 null文字可转换为可空int。 因此，这是==运算符的合法用法，并且总是会导致错误。
同样，我们也允许你说“if（x == 12.6）”，这也总是假的。 int本地可以转换为double，文字可以转换为double，显然它们永远不会相等。
这不是一个错误，因为有一个（ int? ）转换; 它会在给出的例子中产生一个警告：
由于types'int'的值永远不会等于'int'types的'null'，所以expression式的结果总是'false'。
如果你检查IL，你会发现它完全删除了无法访问的分支 – 它在发布版本中不存在。
但请注意，它不会为等于运算符的自定义结构生成此警告。 它曾经在2.0，但不是在3.0编译器。 代码仍然被删除（所以它知道代码无法访问），但不会生成警告：
using System; struct MyValue { private readonly int value; public MyValue(int value) { this.value = value; } public static bool operator ==(MyValue x, MyValue y) { return x.value == y.value; } public static bool operator !=(MyValue x, MyValue y) { return x.value != y.value; } } class Program { static void Main() { int i = 1; MyValue v = new MyValue(1); if (i == null) { Console.WriteLine("a"); } // warning if (v == null) { Console.WriteLine("a"); } // no warning } }
与IL（ Main ） – 注意除了MyValue(1) （可能有副作用）已被删除：
.method private hidebysig static void Main() cil managed { .entrypoint .maxstack 2 .locals init ( [0] int32 i, [1] valuetype MyValue v) L_0000: ldc.i4.1 L_0001: stloc.0 L_0002: ldloca.sv L_0004: ldc.i4.1 L_0005: call instance void MyValue::.ctor(int32) L_000a: ret }
这基本上是：
private static void Main() { MyValue v = new MyValue(1); }
事实上，比较永远不会是真的并不意味着这是非法的。 尽pipe如此，不，值types可以为null 。
不， Int32 x不会变为null 。
如果您将int与null进行比较，则接受两个int的比较运算符是适用的。
“为什么将一个值types与null比较是一个警告？ 文章会帮助你。
值types不能为null ，尽pipe它可能等于null （考虑Nullable<> ）。 在你的情况下， intvariables和null被隐式转换为Nullable<Int32>并进行比较。
我怀疑你的特定testing正在被编译器在生成IL时进行优化，因为testing永远不会是错误的。
附注：Int32可以有一个可以为空的Int32吗？ x代替。
我想这是因为“==”是一个语法糖，它实际上代表了调用System.Object.Equals方法来接受System.Object参数。 ECMA规范中的NULL是一个特殊的types，当然是从System.Object派生的。
这就是为什么只有一个警告。
[编辑：警告错误，并使操作员明确可空，而不是string黑客]。
根据上面的注释中的@ supercat聪明的build议，以下运算符重载允许您生成有关您的自定义值types比较为null的错误。
通过实现与您的types的可为空的版本进行比较的运算符，在比较中使用null与运算符的可为空版本相匹配，从而可以通过Obsolete属性生成错误。
直到微软给我们回来我们的编译器警告我要与这个解决方法，谢谢@超级猫！
public struct Foo { private readonly int x; public Foo(int x) { this.x = x; } public override string ToString() { return string.Format("Foo {{x={0}}}", x); } public override int GetHashCode() { return x.GetHashCode(); } public override bool Equals(Object obj) { return x.Equals(obj); } public static bool operator ==(Foo a, Foo b) { return ax == bx; } public static bool operator !=(Foo a, Foo b) { return ax != bx; } [Obsolete("The result of the expression is always 'false' since a value of type 'Foo' is never equal to 'null'", true)] public static bool operator ==(Foo a, Foo? b) { return false; } [Obsolete("The result of the expression is always 'true' since a value of type 'Foo' is never equal to 'null'", true)] public static bool operator !=(Foo a, Foo? b) { return true; } [Obsolete("The result of the expression is always 'false' since a value of type 'Foo' is never equal to 'null'", true)] public static bool operator ==(Foo? a, Foo b) { return false; } [Obsolete("The result of the expression is always 'true' since a value of type 'Foo' is never equal to 'null'", true)] public static bool operator !=(Foo? a, Foo b) { return true; } }
我想为什么编译器接受这个最好的答案是generics类。 考虑以下课程…
public class NullTester<T> { public bool IsNull(T value) { return (value == null); } }
如果编译器不接受与值types的null比较，那么它本质上会破坏这个类，并且有一个隐含的约束附加到它的types参数（也就是说它只能用于非基于值的types）。
