异常处理

 

异常是由 try 语句（第 8.10 节）处理的。

发生异常时，系统将搜索可以处理该异常的最近的 catch 子句（根据该异常的运行时类型来确定）。首先，搜索当前的方法以查找一个词法上包含着它的 try 语句，并按顺序考察与该 try 语句相关联的各个 catch 子句。如果上述操作失败，则在调用了当前方法的方法中，搜索在词法上包含着当前方法调用代码位置的 try 语句。此搜索将一直进行下去，直到找到可以处理当前异常的 catch 子句（该子句指定一个异常类，它与当前引发该异常的运行时类型属于同一个类或是该运行时类型所属类的一个基类）。注意，没有指定异常类的 catch 子句可以处理任何异常。

找到匹配的 catch 子句后，系统将把控制转移到该 catch 子句的第一条语句。在 catch 子句的执行开始前，系统将首先按顺序执行嵌套在捕捉到该异常的 try 语句里面的所有 try 语句所对应的全部 finally 子句。

如果没有找到匹配的 catch 子句，则发生下列两种情况之一：

•       如果对匹配的 catch 子句的搜索到达一个静态构造函数（第 10.12 节）或静态字段初始值设定项，则在导致调用该静态构造函数的代码位置引发 System.TypeInitializationException。该 System.TypeInitializationException 的内部异常将包含最初引发的异常。

•       如果对匹配的 catch 子句的搜索到达最初启动当前线程的代码处，则该线程的执行就会终止。此类终止会产生什么影响，应由实现来定义。

特别值得注意的是在析构函数执行过程中发生的异常。如果在析构函数执行过程中发生异常且该异常未被捕获，则将终止该析构函数的执行，并调用它的基类的析构函数（如果有）。如果没有基类（如 object 类型中的情况），或者如果没有基类析构函数，则该