Biegral Blog

前言

 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块中的操作会影响到返回值，也就非常好理解了。