return和finally执行顺序 @

public class Test
{
	public static void main(String[] args)
	{
		System.out.print(tt());
	}

	public static int tt()
	{
		int b = 23;
		try
		{
			System.out.println("yes");
			return b += 88;
		} catch (Exception e)
		{
			System.out.println("error      :      " + e);
		} finally
		{
			if (b > 25)
			{
				System.out.println("b>25      :      " + b);
			}
			System.out.println("finally");
		}
		System.out.println("come here");
		return b;
	}
}

运行结果：
yes
b>25      :      111
finally
111 

这说明执行到return b += 88;这句时，先计算出了b=111，但不return，再跳到finally执行。

=====================================================================

public class Test1
{
	public static void main(String[] args)
	{
		System.out.print(tt());
	}

	public static int tt()
	{
		int b = 23;
		try
		{
			System.out.println("yes");
			return b += 88;
		} catch (Exception e)
		{
			System.out.println("error      :      " + e);
		} finally
		{
			if (b > 25)
			{
				System.out.println("b>25      :      " + b);
			}
			System.out.println("finally");

			return 100;
		}
	}
}

运行结果：
yes
b>25      :      111
finally
100

return 100;覆盖掉了return b += 88;

====================================================================

public class Test2
{
	public static void main(String[] args)
	{
		System.out.print(tt());
	}

	public static int tt()
	{
		int b = 23;
		try
		{
			System.out.println("yes");
			return b += 88;
		} catch (Exception e)
		{
			System.out.println("error      :      " + e);
		} finally
		{
			if (b > 25)
			{
				System.out.println("b>25      :      " + b);
			}
			System.out.println("finally");
			b = 100;
		}
		return b;
	}
}

运行结果：
yes
b>25      :      111
finally
111
说明了一个问题，如果finally语句中没有返回语句覆盖的话，那么原来的返回值就不会变

===========================================================================

如果把Test2中return值变成return引用呢，如下：

public class Test4
{
	public static void main(String[] args)
	{
		System.out.println(test().count);
	}

	private static Test5 test()
	{
		Test5 t5 = new Test5();
		try
		{
			return t5;
		} finally
		{
			t5.count++;
		}
	}

}

class Test5
{
	public int count = 1;
}

输出为：2

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