finally和return执行的先后顺序

最近学了一个try…catch…finally语句块，这里面有个小问题困扰了我一段时间，如在try语段中定义了一个变量并且return它，在finally里修改return定义的变量，那么最终是先执行return还是finally呢？下面是这次题目

public static void main(String[] args) {
		int test = test(3,5);
		System.out.println(test);
	}

	public static int test(int x, int y){
		int result = x;
		try{
			if(x<0 || y<0){
				return 0;
			}
			result = x + y;
			return result;
		}finally{
			result = x - y;
		}
	}
结果为8

这里看到的好像是try里的return先执行了

那么让我们再看一组例子

            public static void main(String[] args) {
                transform a =new transform();
                System.out.println(a.fun());
            }
            public StringBuilder fun() {
                StringBuilder s = new StringBuilder("3");
                try {
                    //doing something
                    s.append("5");

                    return s;
                } catch (Exception e) {
                    return s;
                } finally {
                    s.append("8");
                }
            }
        }

这一次的finally成功的修改了return里的值，只不过是把返回值从int改为了StringBuilder，为什么结果不一样。

首先第一段代码里面int test = test(3,5)，大家知道“=”赋值是一个常量赋值。但是，方法的存放地址与常量的存放地址是不一样的，方法的存放在代码区。第一段代码将一个方法赋值给一个int类型没有报错的原因是因为我们在方法中声明了返回值类型int，那么编译器就会在代码代码最前端预留一个返回值类型的内存。执行return时，就会把返回值的内容写到这里面

这样，执行“=”号赋值的时候，就能在内存中匹配到相同的类型。赋值便能成功。
在执行了return之后，返回的值已经被写入到那段内存中了，finally再修改i的值，只是修改了后面代码段的i值，对返回段内存没有影响。

至于第二个例子，再看下面这张图

当返回值不是基本数据类型的时候，其是指向一段内存的，return将返回段指向一段内存，但是代码段的s依然是指向的同一段内存地址，所以当s修改它指向内存中的值的时候，其实也就修改了返回段指向内存中的值，所以最终的值改变了。

当finally调用的任何可变API，会修改返回值；当finally调用任何的不可变API，对返回值没有影响。

主要看了大佬没伞的孩子只能跑写的