为什么控制不能留下finally语句？

Question

当我在finally语句的块中放置return ，编译器告诉我：

控制不能离开 finally 子句的主体

例子：

try
{
}
catch
{
}
finally
{
    return;
}

为什么是这样？

Answer 1

考虑一下如果您在try块中return 1并在finally块中return 0会发生什么......您的函数将尝试返回两个值！ try和catch的组合选项在控制流方面是详尽无遗的。

Answer 2

这是设计使然，并在 C# 规范中进行了描述：

break 、 continue或goto语句将控制权转移出finally块是编译时错误。 当在finally块中出现break 、 continue或goto语句时，该语句的目标必须在同一个finally块内，否则会发生编译时错误。

return语句出现在finally块中是编译时错误。

此外，来自MSDN 上的 C# 6.0 规范草案：

return语句出现在finally块中是编译时错误。

Answer 3

当前的答案解释了为什么这会发生得很好，但我也认为重要的是要注意在不涉及返回值的情况下绕过这个约束是多么容易，并且finally子句是方法中的最后一件事（经常发生） ：

try {}
catch {}
finally
{
    FinallyMethod();
}

然后在FinallyMethod您可以FinallyMethod地使用return语句

void FinallyMethod()
{
   //...
   if (x == y)
       return;
   else
       a = b;
   //etc.
}