finally简单总结

1.try块后的finally一定会被执行，所以finally可以安全地执行关闭资源操作。

• 例1

	public static void main(String[] args) {
		System.out.println(query());
	}

	public static int query() {
		int i = 0;
		try {
			i ++;
			i ++;
			return i;
		} catch (Exception e) {
			i += 20;
			return i;
		} finally {
			i += 30;
			return i;
		}
	}

	例1打印结果:32
	因为finally一定会执行，如果遇到return则直接返回结果。

• 例2

	public static void main(String[] args) {
		System.out.println(query());
		// 打印结果:51
	}

	public static int query() {
		int i = 0;
		try {
			i += 5;
			i = i / 0;// 抛出异常ArithmeticException
			i += 5;
			return i;
		} catch (Exception e) {
			i += 20;
			return i;
		} finally {
			i += 30;
			return i;
		}
	}

2.finally中不含return语句，但操作了try块或catch中return要返回的变量，是否会影响return结果？

• 例3

	public static void main(String[] args) {
		System.out.println(query());
	}

	public static int query() {
		int i = 0;
		try {
			i++;
			return i;
		} finally {
			i += 30;
		}
	}

例3打印结果：1，

• 例4

	public static void main(String[] args) {
		List<String> list = queryList();
		System.out.println(list.size());
		for (String v : list) {
			System.out.println(v);
		}
	}
	public static List<String> queryList() {
		List<String> list = new ArrayList<>();
		list.add("a");
		try {
			return list;
		} finally {
			list.add("b");
		}
	}

例4结果：

2
a
b

	有没有觉得诧异，例3finally中的改动对return没影响，例四为什么有？
	首先：明确一点执行到return后，会把当前return的结果放到局部变量表中，执行完finally后，再把结果从变量表拿出来。
	所以finally中如何修改是影响不到存放到局部变量表中的这个结果的。
例4之所以改变了方法返回的结果，是因为list是引用，return的结果存到局部变量表中的是引用。finally中通过引用操作了堆中的对象。方法返回的引用并没有改变，只是引用的内容在finally中被改变了

• 例5

	public static void main(String[] args) {
		List<String> list = queryList();
		System.out.println(list.size());
		for (String v : list) {
			System.out.println(v);
		}
	}

	public static List<String> queryList() {
		List<String> list = new ArrayList<>();
		list.add("a");
		try {
			return list;
		} finally {
			list=new ArrayList<>();
			list.add("b");
		}
	}

例5结果：

1
a

这里finally中,改变了list这个局部变量的引用，但是return返回结果中那个引用没有被改变，所以结果没有受到finally操作的影响。

引用下《深入理解Java虚拟机_JVM高级特性与最佳实践》：

栈帧（Stack Frame）是用于支持虚拟机进行方法调用和方法执行的数据结构。它存储了方法的局部变量表、操作数栈、动态链接和方法返回地址等信息。每一个方法从调用开始至执行完成的过程，都对应着一个栈帧在虚拟机栈里面从入栈到出栈的过程。

简单猜测：因为finally的出现，导致return的时候，需要先执行finally，所以需要在局部变量表指定一个位置存放要返回的结果信息。当finally执行完，再把结果取出来。所以finally中执行的语句不会改变局部变量表已存储的结果内容。
具体实现原理《深入理解Java虚拟机》中有详细分析。