有没有办法表明一个方法永远不会返回？ [复制]

Question

假设我们有以下（非常基本的代码）

public int Foo()
{
    while (true)
    {

    }
    // No "return 0" etc. needed here.
}

编译器可以理解该方法永远不会返回，因此会显示警告，并且它不需要该方法具有return 语句。

---

如果有的话

public void WontExit()
{
    while (true)
    {

    }
}

public int Foo()
{
    this.WontExit();
    return default(int); // This is needed here.
}

需要return 语句，因为编译器似乎无法预见它永远不会到达。

---

• 为什么编译器允许在第一种情况下省略return 语句？为什么它也不需要return 声明？ （这里的内部结构是什么？）
• 有什么方法可以指示编译器（或可达性分析）在第二种情况下，return 代码路径也永远无法到达？

Answer 1

为什么编译器允许在第一种情况下省略 return 语句？

因为最终的} 无法访问。这是编译器阻止的条件（并且在规范中）：永远能够到达非 void 方法的末尾。

有什么方法可以指示编译器（或可达性分析）在第二种情况下，return 语句也永远不会到达？

不，很遗憾。有很多时候是有用的（它被定义为“这个方法永远不能返回正常，即不抛出异常”），但它没有 C# 功能。我相信 Eric Lippert 会在某个时候发布有关此的博客……会尝试找到该文章。