C# Visual Studio 编译器如何处理 struct/NULL 比较？ [重复]

Question

我们刚刚在 c#.net 4 代码库中遇到了一些像这样的糟糕代码

DateTime myDate = someValue;
If (myDate==Null)
    Do Something

我们突然想到这种情况永远不会发生。

编译器如何处理这些不可为空的结构比较？

最初我们对它能编译感到惊讶……但合理化了它，因为你当然可以进行持续的比较，例如：

If(1==2)

这也永远不会解析为 true...但在这种情况下，编译器可以轻松判断它们是常量。它会优化或汇总不可为空的比较吗？

Answer 1

我将其输入 LinqPad：

var t = new DateTime();
t.Dump();
(t == null).Dump();

得到了这个：

IL_0000:  ldloca.s    00 
IL_0002:  initobj     System.DateTime
IL_0008:  ldloc.0     
IL_0009:  call        LINQPad.Extensions.Dump
IL_000E:  pop         
IL_000F:  ldc.i4.0    
IL_0010:  call        LINQPad.Extensions.Dump

所以是的，编译器将其编译为：

var t = new DateTime();
t.Dump();
(false).Dump();

有趣的是，如果我创建自己的结构（

TestStruct

）并尝试这个：

TestStruct t;
(t == null).Dump();

...编译器抱怨我无法在

TestSruct

和

null

之间进行相等比较。

更新

在评论中，Paolo 指出另一篇 StackOverflow 帖子报告了最后一个现象。显然，通过重载

==

和

!=

运算符，值类型会自动从

t == null

转换为

(Nullable<TestClass>)t == (Nullable<TestClass>)null

。如果您没有重载这些运算符，则这种隐式转换没有意义，因此您会收到错误。