可以为空的参数检查

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? 不存在。