前言

 catch 和 finally 一起使用的常见方式是:在 try 块中获取并使用资源,在 catch 块中处理异常情况,并在 finally 块中释放资源。

Catch

  catch 这将捕获任何发生的异常。

  catch(Exception e) 这将捕获任何发生的异常。另外,还提供e参数,你可以在处理异常时使用e参数来获得有关异常的信息。

  catch(Exception的派生类 e) 这将捕获派生类定义的异常,例如,我想捕获一个无效操作的异常,可以如下写: catch(InvalidOperationException e) { .... } 这样,如果try语句块中抛出的异常是InvalidOperationException,将转入该处执行,其他异常不处理。

  catch可以有多个,也可以没有,每个catch可以处理一个特定的异常。.net按照你catch的顺序查找异常处理块,如果找到,则进行处理,如果找不到,则向上一层次抛出。如果没有上一层次,则向用户抛出,此时,如果你在调试,程序将中断运行,如果是部署的程序,将会中止。

  如果没有catch块,异常总是向上层(如果有)抛出,或者中断程序运行。

Finally

  finally可以没有,也可以只有一个。无论有没有发生异常,它总会在这个异常处理结构的最后运行。即使你在try块内用return返回了,在返回前,finally总是要执行,这以便让你有机会能够在异常处理最后做一些清理工作。如关闭数据库连接等等。 注意:如果没有catch语句块,那么finally块就是必须的。

  如果你不希望在这里处理异常,而当异常发生时提交到上层处理,但在这个地方无论发生异常,都要必须要执行一些操作,就可以使用try finally, 很典型的应用就是进行数据库操作: 用下面这个原语来说明:

try 
{
DataConnection.Open();
DataCommand.ExecuteReader();
...
return;
}
finally
{
DataConnection.Close();
}



无论是否抛出异常,也无论从什么地方return返回,finally语句块总是会执行,这样你有机会调用Close来关闭数据库连接(即使未打开或打开失败,关闭操作永远是可以执行的),以便于释放已经产生的连接,释放资源。

return

 下面来看第一个小例子

using System;
public class Test1
{
public static void Main()
{
Console.WriteLine(Test());
Console.ReadLine();
}

public static int Test()
{
int i=1;
try
{
return i;
}
finally
{
i++;
}
}
}


打印出来的结果为1.

第二个例子

using System;
public class Class1
{
public int Value1=1;
}
public class Test1
{
public static void Main()
{
Console.WriteLine(Test().Value1);
Console.ReadLine();
}

public static Class1 Test()
{
Class1 c=new Class1();
try
{
return c;
}
finally
{
c.Value1++;
}
}
}


运行后结果为2.

要解释这种区别,就需要看看其IL是什么,从调用函数、参数栈的角度来理解。CLR在执行中也有栈,但这个栈的用途与传统的本地代码中的栈并不完全相同。本地代码中栈的用处非常大,不但可以用来临时保存寄存器的值,还用来保存局部变量,此外还用来保存部分或全部传给函数的参数,而函数的返回值一般是通过EAX寄存器来传递的,而不是用栈。但在CLR中,局部变量并非显式的用栈来保存,栈只是用来调用函数时传递参数,此外,函数的返回值也是用栈来保存的。当调用一个函数时,将函数所需要的参数依次压栈,函数里面直接取用这些参数,在函数返回时将返回值压栈,函数返回后,栈顶即是返回值。如果调用者并不关心返回值,那么需要执行一下pop语句,把返回值弹出,这样保证函数在调用前后栈顶的位置是相同的。

当通过压栈传递参数时,参数的类型不同,压栈的内容也不同。如果是值类型,压栈的就是经过复制的参数值,如果是引用类型,那么进栈的只是一个引用,这也就是我们所熟悉的,传递值类型时,函数内修改参数值不会影响函数外,而引用类型的话则会影响。

代码中当我们执行new时,对应的IL是newobj,其结果是创建一个TestClass2类型的对像并返回一个引用放置于栈上,之后的stloc就将这个引用保存为局部变量,于是栈上没有了其他内容。Try块并没有执行太多操作,只是把刚保存的引用再放到栈上,再保存为另一个局部变量,这个局部变量就是稍后要返回的引用,此时我们拥有两个局部变量,但它们是指向同一个对象的两个引用。Finally块先拿出开始时保存的引用放到栈上,dup语句使得栈顶再增加一个完全一样的引用,之后ldfld语句是从栈顶对象取一个成员放到栈上,所取的成员是value,之后再往栈上压一个1,再执行add,就实现了1+1=2的过程,add从栈上弹出两个值,再向栈压回一个值。此时再调用stfld就把刚刚压栈的2设置给栈上2之下的那个引用所指对象的value属性上。而在finally之后的部分才是真正的return,它试图取出我们所保存的第二个局部变量压栈,将它作为返回值。但对于引用类型来说,它与先前所操作的引用所指的是同一对象,因此finally块中的操作会影响到返回值,也就非常好理解了。