有return的情况下try catch finally的执行顺序

结论：
1、不管有木有出现异常，finally块中代码都会执行；
2、当try和catch中有return时，finally仍然会执行；
3、finally是在return后面的表达式运算后执行的（此时并没有返回运算后的值，而是先把要返回的值保存起来，管finally中的代码怎么样，返回的值都不会改变，任然是之前保存的值），所以函数返回值是在finally执行前确定的；
4、finally中最好不要包含return，否则程序会提前退出，返回值不是try或catch中保存的返回值。
举例：
情况1：try{} catch(){}finally{} return;
            显然程序按顺序执行。
情况2:try{ return; }catch(){} finally{} return;
          程序执行try块中return之前（包括return语句中的表达式运算）代码；
         再执行finally块，最后执行try中return;
         finally块之后的语句return，因为程序在try中已经return所以不再执行。
情况3:try{ } catch(){return;} finally{} return;
         程序先执行try，如果遇到异常执行catch块，
         有异常：则执行catch中return之前（包括return语句中的表达式运算）代码，再执行finally语句中全部代码，
                     最后执行catch块中return. finally之后也就是4处的代码不再执行。
         无异常：执行完try再finally再return.
情况4:try{ return; }catch(){} finally{return;}
          程序执行try块中return之前（包括return语句中的表达式运算）代码；
          再执行finally块，因为finally块中有return所以提前退出。
情况5:try{} catch(){return;}finally{return;}
          程序执行catch块中return之前（包括return语句中的表达式运算）代码；
          再执行finally块，因为finally块中有return所以提前退出。
情况6:try{ return;}catch(){return;} finally{return;}
          程序执行try块中return之前（包括return语句中的表达式运算）代码；
          有异常：执行catch块中return之前（包括return语句中的表达式运算）代码；
                       则再执行finally块，因为finally块中有return所以提前退出。
          无异常：则再执行finally块，因为finally块中有return所以提前退出。

最终结论：任何执行try 或者catch中的return语句之前，都会先执行finally语句，如果finally存在的话。
                  如果finally中有return语句，那么程序就return了，所以finally中的return是一定会被return的，
                  编译器把finally中的return实现为一个warning。

 

下面是个测试程序
public class FinallyTest  
{
	public static void main(String[] args) {
		 
		System.out.println(new FinallyTest().test());;
	}

	static int test()
	{
		int x = 1;
		try
		{
			x++;
			return x;
		}
		finally
		{
			++x;
		}
	}
}
结果是2。

分析：
	在try语句中，在执行return语句时，要返回的结果已经准备好了，就在此时，程序转到finally执行了。
在转去之前，try中先把要返回的结果存放到不同于x的局部变量中去，执行完finally之后，在从中取出返回结果，
因此，即使finally中对变量x进行了改变，但是不会影响返回结果。
它应该使用栈保存返回值。
先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。如何来解释这种区别呢？
要解释这种区别，就需要看看其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块中的操作会影响到返回值，也就非常好理解了。
 
知道了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
              ...{
                &n