可空类型GetType（）抛出异常

Question

我刚从一个让我疯狂的同事得到了这个测验。对于这个代码片段：

var x = new Int32?(); 
string text = x.ToString(); // No exception 
Console.WriteLine(text); 
Type type = x.GetType(); // Bang! 

为什么在第一部分的ToString（）的工作没有出现任何的异常，然后调用的GetType（）抛出一个NullReferenceException？

Answer 1

ToString是overridden in Nullable<T>，所以没有拳击参与打电话。

GetType()不是一个虚拟的方法，所以不是（也不能）重写，所以在调用之前将值装箱...并且装填可空值类型的空值给出空引用。

其原因拳击是在C＃4规范的7.5.5节：

M如果处于引用类型声明的实例函数成员：

• ..
• 如果E的类型是值型，则执行装箱转换（4.3.1）以将E转换为型和E在以下步骤中被认为是object类型。在这种情况下，M只能是System.Object

注意的成员，如果你有：

var x = new Int32?(10); 

你再次结束与类型是一样的typeof(int)，由于拳击。无法创建值foo，因此foo.GetType()使用正常的GetType()方法返回可为空的值类型。 （您可以创建过程中的一个新GetType()方法，但是这是一个枝节问题:)

（使用“砰！”暗示说测验可能是我的。道歉笔者驱动你疯了，如果是这样的case）。