可以為空的參數檢查

Question

假設我在C＃中編寫公共API：

public void Method(object param) 
{
    if(param == null) 
    {
        throw new ArgumentNullException("Specified 'param' can not be null");
    }

// ... other business logic
}

我想知道有沒有保證我不需要檢查參數的空值，如果我有非可空參數（ 對象？param ）作為方法參數？ 換句話說，上面的示例檢查null冗余？

Answer 1

如果您的參數鍵入引用類型，則null始終可以作為值傳遞。 因此，當僅考慮Method時，此檢查從不冗余。

從不使用給定方法的上下文特定分析來證明null 。 例如

sealed class Example {
  void Method(object p) {
    ...
  }
  void Other() {
    Method("hello");
  }
}

在此特定上下文中，您可以演示不能使用null值調用Method （當然不包括基於反射的調用）。 但是這種類型的確定只能通過特定於上下文的分析來完成

Answer 2

不，引用類型總是可以為空的。 試試吧：調用Method(null); 並且你將得到一個運行時ArgumentNullException ，正是你在代碼中拋出它的地方。 您沒有收到編譯器錯誤，因為null是引用類型的有效值。

對於價值類型而言，這是一個不同的故事。 如果您具有int類型的參數，則它不能為null。 實際上， if (i == null)甚至不會被編譯器接受。

Answer 3

如果這是多余的，則不能在此單個方法的范圍內定義，而是在程序域內。 使用這種方法的地方？ 它有什么用呢？ 程序失敗時應該怎么辦？

回答這個問題，你會發現自己在回答自己的問題。

Answer 4

它不是多余的，因為object類型的變量可以設置為null，因為它是引用類型。 類型object? 不存在。