函数中try catch finally 的返回值

package com.ibm.etp;

public class ReturnValue {
	
	public static void main(String[] args)
	{
		int temp = show();
		System.out.println(temp);
	}
	
	private static int show()
	{
		int a=3;
		try
		{
			a = 3;
			a=a/0;
			return a;
			
		}
		catch(Exception ex)
		{
			a=4;
			return a;
		}
		finally
		{
			a=5;
		}
	}
}

  输出的结果为4。

执行的顺序是先执行try块中的语句，遇到除数为零的异常，就会执行catch块中语句，遇到return语句后就会转到finally块中，然后再返回到catch块中的return语句，大家调试一下，就很明白。但变量a在函数中是始终存在的，但在finally块中a被赋值５，但return的值却是４，结果让我很意外。老师让我们记住这个原则：finally块中赋值就可以看做不被执行。但我好奇内部机制是什么样的，还望大侠多多指点啊