可空類型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）。