Question

我以为我已经理解了C＃中的异常处理是如何工作的。重新阅读文档以获得乐趣和自信，我遇到了问题：

This document声称以下两个代码片段在编译时是第一个转换为后一个代码片段，甚至更多。

using (Font font1 = new Font("Arial", 10.0f)) {
  byte charset = font1.GdiCharSet;
}

和

{
  Font font1 = new Font("Arial", 10.0f);
  try {
    byte charset = font1.GdiCharSet;
  }
  finally {
    if (font1 != null)
      ((IDisposable)font1).Dispose();
  }
}

此外，它声称：

using语句确保即使调用Dispose也会调用在对象上调用方法时发生异常。

相比之下，that document表示：

在已处理的异常中，保证关联的finally块要运行。但是，如果异常未处理，则执行 finally块取决于异常展开操作的方式触发。

我不是一起来的。在第一个文档的代码示例中，异常显然未处理（因为没有catch块）。现在，如果第二个文档中的语句为真，则finally块不保证执行。这最终与第一份文件所说的相矛盾（＆＃34; using陈述确保 ...＆＃34;）（强调我的）。

那么真相是什么？

编辑1

我仍然没有得到它。 StevieB的回答让我从C＃语言规范中读到更多部分。在第16.3节中，我们有：

[...]此搜索将继续，直到找到可以执行的catch子句处理当前异常[...]一旦匹配的catch子句是发现，系统准备将控制转移到第一个语句 catch子句。在执行catch子句开始之前，系统首先按顺序执行任何最终的子句与try语句相关联的嵌套比那个嵌套的更多抓住了例外。

所以我做了一个简单的测试程序，其中包含产生除零的代码，并且在try块内。该异常从未在我的任何代码中被捕获，但相应的try语句具有finally块：

int b = 0;

try {
  int a = 10 / b;
}
finally {
  MessageBox.Show("Hello");
}

最初，根据上面的文档片段，我曾预料到finally块永远不会执行，并且程序在没有附加调试器的情况下执行时会死掉。但这种情况并非如此;相反，＆＃34;例外对话框＆＃34;我们都知道得太清楚了，之后，＆＃34;你好＆＃34;出现对话框。

在考虑了一段时间之后，在阅读了文档，文章和问题之后，例如this和that，很明显这个＆＃34;异常对话框＆＃34;由一个标准的异常处理程序生成，该处理程序内置在Application.Run（）和其他常用的方法中，这些方法可以启动＆＃34;你的程序，所以我不再想知道为什么运行finally块。

但我仍然感到困惑，因为＆＃34;你好＆＃34;在＆＃34;异常对话框＆＃34;之后出现对话框。上面的文档片段非常清楚（好吧，我可能只是太傻了）：

CLR找不到与catch语句关联的try子句，其中除以零发生。所以它应该将异常一级传递给调用者，也不会在那里找到匹配的catch子句（那里甚至没有try语句）等等（如上所述）上面，我没有处理（即捕获）此测试程序中的任何异常。）

最后，该异常应符合CLR的默认catch-all异常处理程序（即默认情况下在Application.Run（）及其朋友中处于活动状态的处理程序），但是（根据上面的文档） CLR现在应该执行比默认处理程序嵌套更深的所有finally块（＆＃34;我的＆＃34; finally块属于这些块，不是吗？）在执行CLR catch-all默认处理程序的catch阻止之前。

这意味着＆＃34;你好＆＃34;对话框应该出现之前的＆＃34;例外对话框＆＃34;，不是吗？嗯，显然，反之亦然。有人可以详细说明吗？

Answer 1

本文档声称以下两个代码段是等效的

他们是。

using语句确保即使在对象上调用方法时发生异常也会调用Dispose。

非常。

这最终与第一份文件所说的相矛盾

嗯，第一个有点太模糊，而不是不正确。

有些情况会导致finally无法运行，包括using隐含的情况。一个StackOverflowException就是一个例子（一个真实的例子来自堆栈，如果你只是throw new StackOverflowException()，那么finally将会运行。）

所有示例都是您无法捕获的内容，并且您的应用程序正在关闭，因此如果从using清除只在应用程序运行时很重要，那么finally就可以了。

如果即使程序崩溃，清理工作也很重要，那么finally永远不够，因为它无法处理，例如电源插头被拉出，在某种情况下，即使在碰撞中清理也很重要，这是一个需要考虑的情况。

在进一步发现异常且程序继续的任何情况下，finally都会运行。

对于未捕获的可捕获异常，通常会运行finally块，但仍有一些例外。如果try - finally在终结者中并且try需要很长时间，那就是一个;在终结者队列上一段时间后，应用程序将快速失败。

Answer 2

如果您定义了＆＃34;未处理的异常＆＃34; （它必须由相同的 catch块中的try子句处理才是正确的，没有理由允许构造

try {
   ...
}
finally {
   ...
}

根据您的定义，finally块永远不会运行。由于上述结构是有效的，我们必须得出结论，你对未处理的异常的定义＆＃34;是不正确的。

这意味着＆＃34;如果异常不由任何异常处理程序处理，则在调用堆栈中的任何位置＆＃34;。

Answer 3

我相信（如果我错了，请纠正我）答案在于定义：

using语句确保即使调用Dispose也会调用当您在对象上调用方法时，会出现异常。

因此，如果在使用对象调用的任何方法中发生任何异常，则最终确保运行。另一方面，如果在使用块内部调用其他与该对象无关的方法导致异常，则最终无法保证运行

Answer 4

C＃语言规范规定，对于System.Exception或其任何派生异常，将执行finally块（在using语句或其他地方）。当然，如果你得到一个通常的try..catch逻辑无法处理的异常，例如AccessViolationException所有的赌注都是关闭的，这就是模糊性的来源。

规范随Visual Studio 2013及更高版本一起安装 - 2017年它位于C:\Program Files (x86)\Microsoft Visual Studio\2017\Enterprise\VC#\Specifications\1033

在

部分

8.9.5抛出语句

我们看到以下内容：

抛出异常时，将传输控制权   可以在封闭的try语句中的第一个catch子句   处理异常。从这个过程发生的过程   将控制转移到a的异常被抛出   合适的异常处理程序称为异常传播。   异常的传播包括反复评估   以下步骤，直到匹配异常的catch子句为止   找到。在本说明书中，投掷点最初是位置   抛出异常。


在当前的函数成员中，   检查包含抛出点的每个try语句。对于每一个   语句S，从最里面的try语句开始，以。结尾   最外层的try语句，评估以下步骤：

如果   如果S有一个或多个，则S的try块包含抛出点   catch子句，catch子句按外观顺序检查   找到合适的异常处理程序。第一个捕获条款   指定异常类型或异常类型的基本类型   被认为是一场比赛。一般的catch子句（第8.10节）被认为是a   匹配任何异常类型。如果找到匹配的catch子句，   异常传播是通过将控制转移到   该捕获条款的块。

否则，如果尝试阻止或捕获   S的块包围投掷点，如果S有一个finally块，   控制转移到finally块。如果是finally块   抛出另一个异常，处理当前异常是   终止。否则，当控制到达终点时   最后阻止，继续处理当前异常。



如果   当前函数中没有找到异常处理程序   调用，函数调用终止，其中之一   发生以下情况

如果当前函数是非异步的，则执行步骤   对于具有投掷点的函数的调用者，重复上面的操作   对应于函数成员所在的语句   调用。

如果当前函数是异步和任务返回，则   异常记录在返回任务中，该异常被置于故障状态   或取消状态，如§10.14.1。
中所述
如果是当前功能   是异步和void返回，同步上下文   按照§10.14.2。
中的描述通知当前线程


如果   异常处理终止了所有函数成员调用   当前线程，表示该线程没有处理程序   异常，然后线程本身终止。这样的影响   终止是实现定义的。

Answer 5

你必须给文档留一点余地。在大多数情况下，有一个隐含的＆＃34;在合理的范围内＆＃34;。例如，如果我关闭计算机，则不会调用最终块或使用/ Disposes。

除了关闭计算机外，还有一些情况可以让操作系统终止您的应用程序 - 有效地将其关闭。在这些情况下，Dispose和finally不会被调用。这些通常是非常严重的错误条件，如堆栈外或内存不足。有一些复杂的情况可能会发生异常情况少于例外情况。例如，如果您具有在后台线程和该托管对象上创建托管对象的本机代码，并且该线程上的某些内容抛出本机异常，那么托管异常处理程序可能无法被调用（例如Dispose）因为操作系统只会终止线程，所以可以处理的任何东西都不再可访问。

但是，是的，这些陈述实际上是等同的，并且在合理范围内finally块将被执行并且Dispose将被调用。

Answer 6

首先，我想提醒您使用语句不能用于所有类型。这只能用于实现 IDisposable 接口的类型，该接口具有自动处理对象的功能。这在您提到的第二份文件中出现

C＃还包含using语句，它以方便的语法为IDisposable对象提供类似的功能。

这意味着如果发生未处理的异常，则清理对象由类型的Dispose（）方法处理（这是使用语句文档时给出的）

进入查询，即使你的finally块（生成）不能保证运行未处理的异常，对象dispose操作也会在运行时由.Net CLR处理

希望这能清除你的怀疑

异常处理（与文档/ try-finally与使用相矛盾）

6 个答案: