try catch finally return

1 finally与return
try-catch-finally是很经常使用的语法结构，用来控制可能发生异常时的程序流程，其中catch和finally至少要有一个。初学try语法时可能会要问一个问题：若是在try块中return，那么finally还会执行吗？答案是确定的。这个很是容易验证，就不举例子了。这样带来一些很好的特性，例如咱们能够在try块中尝试打开数据库，而后读取数据，而后直接把获得的数据return出去，关闭数据链接的工做就交给finally来作——finally中先判断数据库是否正常打开了，打开了就关闭。这样代码写起来很清晰，每一个部分各作各的事。这样咱们也能够很是确定的说，不管发生什么状况（只要不是进程被强行杀掉），finally中的内容必定是要执行的。
那么是否是能够再问一个问题——若是在finally块中也写了return，那么会怎么样呢？试验一下就很容易知道，finally块中是不容许写return的，若是必定要写，就会获得一个编译期错误：
error CS0157: Control cannot leave the body of a finally clause
 
2 先return？先finally？
既然finally必定是要执行的，即便try块中有return，那么这二者的执行顺即是怎么样的呢？简单的作一个实验（下面要说明，这个实验看上去的结果并不这么直观的表现出它的内在）：

using System;
public class TestClass1
...{
       public static void Main()
       ...{
              Console.WriteLine("{0}", Func1());
       }
 
       public static int Func1()
       ...{
              int a = 1;
 
              try
              ...{
                     return a;
              }
              finally
              ...{
                     a++;
              }
       }
}
运行这个程序，很容易获得结果为“1”。那么看上去是执行return在先，而finally在后了。真的是这样吗？
例子中我要return的a是一个值类型，那么若是是引用类型，结果又会如何呢？

using System;
public class TestClass2
...{
       public int value = 1;
}
 
public class TestClass1
...{
       public static void Main()
       ...{
              Console.WriteLine("{0}", Func2().value);
       }
 
       public static TestClass2 Func2()
       ...{
              TestClass2 t = new TestClass2();
 
              try
              ...{
                     return t;
              }
              finally
              ...{
                     t.value++;
              }
       }
}
这一次运行的结果并非1，而是2。显然，运行Func2()返回的结果并不直接是return后面写的t，而是通过finally块执行后值发生变化的t。如何来解释这种区别呢？
3 CLR的栈
要解释这种区别，就须要看看其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块中的操做会影响到返回值，也就很是好理解了。
 
4 改编
知道了finally与return的实现原理，也就不难作出进一步的推广。例如把程序改为这样（返回时由直接返回t变为在t上调用一个作一些操做后返回本身的函数），其执行结果也不难猜出来吧：

using System;
public class TestClass2
...{
       public int value = 1;
 
       public TestClass2 Double()
       ...{
              value *= 2;
              return this;
       }
}
 
public class TestClass1
...{
       public static void Main()
       ...{
              Console.WriteLine("{0}", Func2().value);
       }
 
       public static TestClass2 Func2()
       ...{
              TestClass2 t = new TestClass2();
 
              try
              ...{
                     return t.Double();
              }
              finally
              ...{
                     t.value++;
              }
       }
}
文章出处：http://www.diybl.com/course/4_webprogram/asp.net/asp_netshl/2008318/105033.html