为什么C＃允许您“抛出null”？

有人问，在编写一些特别复杂的异常处理代码时，您是否需要确保异常对象不为null？我说，当然不是，但是后来决定尝试一下。显然，您可以抛出null，但是在某些地方它仍会变成异常。

为什么允许这样做？

throw null;

在此摘要中，值得庆幸的是，“ ex”不为null，但是它可能会为空吗？

try
{
  throw null;
}
catch (Exception ex)
{
  //can ex ever be null?

  //thankfully, it isn't null, but is
  //ex is System.NullReferenceException
}

因为语言规范期望在System.Exception那里有一个类型的表达式（因此，null在该上下文中是有效的），并且不将该表达式限制为非null。通常，无法检测到该表达式的值是否正确null。它必须解决停止问题。null无论如何，运行时都必须处理这种情况。看到：

Exception ex = null;
if (conditionThatDependsOnSomeInput) 
    ex = new Exception();
throw ex; 

当然，他们可以使抛出null字面量的特定情况无效，但这无济于事，那么为什么要浪费规格空间并降低一致性却没有什么好处？

_{免责声明（在我被Eric Lippert打之前）：这是我自己对此设计决定背后的原因的推测。当然，我还没有参加设计会议；）}

第二个问题的答案是，在catch子句中捕获的表达式变量是否可以为null：尽管C＃规范对其他语言是否会导致null异常的传播保持沉默，但它确实定义了异常的传播方式：

如果有catch子句，则按照出现的顺序对其进行检查，以找到合适的异常处理程序。指定异常类型或异常类型的基本类型的第一个catch子句被视为匹配项。常规catch子句被认为是任何异常类型的匹配项。[...]

对于null，粗体语句为false。因此，尽管纯粹基于C＃规范所说的，我们不能说底层运行时永远不会抛出空值，但是我们可以确保即使是这种情况，也只能由通用catch {}子句处理。

对于CLI上的C＃实现，我们可以参考ECMA 335规范。该文档定义了CLI内部抛出的所有异常（都不是null），并提到了该throw指令抛出了用户定义的异常对象。该指令的描述实际上与C＃throw语句相同（除了它不将对象的类型限制为System.Exception）：

描述：

该throw指令将异常对象（类型O）抛出到堆栈上并清空堆栈。有关异常机制的详细信息，请参见分区I。
[注：尽管CLI允许抛出任何对象，但CLS描述了特定的异常类，该类将用于语言互操作性。尾注]

例外情况：

System.NullReferenceException如果obj是则抛出null。

正确性：

正确的CIL确保对象始终是null或对象引用（即类型O）。

我相信这些足以推断出从未发生过的例外情况null。

显然，您可以抛出null，但是在某些地方它仍然变成异常。

尝试抛出null对象会导致（完全不相关）Null Reference Exception。

问为什么要扔东西null就像问为什么要这样做：

object o = null;
o.ToString();

从这里拍摄：

如果在C＃代码中使用此表达式，它将抛出NullReferenceException。这是因为throw语句需要Exception类型的对象作为其单个参数。但是在我的示例中，该对象为null。

虽然可能无法在C＃中引发null，因为throw将检测到该错误并将其转换为NullReferenceException，但有可能会收到null ...我正巧正在接收该消息，这导致我的捕获（期望“ ex”为null）会遇到null引用异常，这会导致我的应用程序死亡（因为这是最后一个陷阱）。

因此，虽然我们不能从C＃中抛出null，但netherworld可以抛出null，因此，最外面的catch（ex ex）最好准备好接收它。仅供参考。

我认为也许不能-当您尝试抛出null时，它就不能这样做，因此它会在错误情况下执行应做的事情，即抛出null引用异常。因此，您实际上并没有抛出null，而是没有抛出null，这会导致抛出异常。

试图回答“ ..非常感谢'ex'不为空，但是可能吗？”：

因为我们可以说不能抛出为空的异常，所以catch子句也永远不必捕获为空的异常。因此，ex永远不会为空。

我现在看到实际上已经问过这个问题。

请记住，异常包括有关引发异常的详细信息。看到构造函数不知道将其扔到何处，那么throw方法将这些详细信息在throw的位置注入到对象中才有意义。换句话说，CLR尝试将数据注入null，这将触发NullReferenceException。

不知道这是否正在发生，但可以解释这种现象。

假设这是真的（我想不出将ex设为null的最佳方法就是抛出null；），这意味着ex不可能为null。

在较旧的C＃中：

考虑以下语法：

public void Add<T> ( T item ) => throw (hashSet.Add ( item ) ? null : new Exception ( "The item already exists" ));

我认为它比这更短：

public void Add<T> ( T item )
{
    if (!hashSet.Add ( item ))
        throw new Exception ( "The item already exists" );
}