爲什麼這是一個有效的比較

Question

下面是一些示例代碼：

static DateTime time; 
if (time == null) 
{ 
/* do something */ 
} 

由於DateTime不能爲空，爲什麼會發生這種代碼編譯？

編輯： 問題不只是這個代碼將始終返回false，但爲什麼像DateTime這是從未空被允許在這樣的比較。

Answer 1

儘管time是非空值類型，但它可以轉換爲空值並與null進行比較。比較將產生false，這是一個有效的結果。

但這並不意味着它是一個很好的代碼。諸如re：sharper之類的工具會在此行上標註「表達總是爲假」的警告。