关于try finally

package test;

import java.util.ArrayList;
import java.util.List;

public class Main {

    public static void main(String[] args) {
        System.out.println("function1: " + function1());
        System.out.println("function2: " + function2());
        System.out.println("function3: " + function3());
        System.out.println("function4: " + function4());
        function5();
        function6();
    }

    public static int function1() {
        try {
            return 30;
        } finally {
            return 60;
        }

    }

    public static int function2() {
        int i = 30;
        try {
            return i;
        } finally {
            i = 60;
        }

    }

    public static int function3() {
        List<Integer> list = new ArrayList();
        list.add(1);
        try {
            return list.get(0);
        } finally {
            list.set(0,  2);
        }
    }

    public static int function4(){
        try {
            System.out.println(1 / 0);
        } finally {
            return 60;
        }
    }

    public static void function5(){
        try {
            System.out.println(1 / 0);
        } finally {
            System.out.println("finally in func5");
        }
    }

    public static void function6(){
        try{
            System.exit(0);
        } finally{
            System.out.println("function6");
        }
    }
}

输出结果：

function1: 60
function2: 30
function3: 1
function4: 60
finally in func5
Exception in thread "main" java.lang.ArithmeticException: / by zero
    at test.Main.function5(Main.java:56)
    at test.Main.main(Main.java:13)

貌似可以得出结论：
1. 如果finally块中有return语句，会覆盖掉try中的return语句；
2. finally块中，改变try块中返回变量的值，如果该变量是基本类型，则finally块中改变变量值的语句不起作用；如果该变量是引用类型，则起作用；
3. finally块中的代码不一定执行，比如try中有System.exit(0);
4. try有导致抛出异常的语句，如果finally中有return语句，该异常不会抛出，否则会抛出。

《 The JavaTM Virtual Machine Specification, Second Edition 》有以下说明：
Java 虚拟机会把 finally 语句块作为 subroutine(子程序)直接插入到 try 语句块或者 catch 语句块的控制转移语句之前。但是，在执行 subroutine（也就是 finally 语句块）之前，try 或者 catch 语句块会保留其返回值到本地变量表（Local Variable Table）中。待 subroutine 执行完毕之后，再恢复保留的返回值到操作数栈中，然后通过 return 或者 throw 语句将其返回给该方法的调用者（invoker）。

先解释第2点” finally块中，改变try块中返回变量的值，如果该变量是基本类型，则finally块中改变变量值的语句不起作用；如果该变量是引用类型，则起作用”：
先看function2：

    public static int function2() {
        int i = 30;
        try {
            return i;
        } finally {
            i = 60;
        }
    }

“i = 60”被当成子程序插入到try中，但是在执行它之前，把30保存到了本地变量表，然后才执行i=60，但是又把30恢复到操作数栈，所以最后返回的还是30；
如果返回的是引用类型，保存到本地变量表的是地址，恢复的也是同一个地址，取值还是从内存中取，所以可以返回更新后的值。

再解释第4点” try有导致抛出异常的语句，如果finally中有return语句，该异常不会抛出，否则会抛出”：
看function4

    public static int function4(){
        try {
            System.out.println(1 / 0);
        } finally {
            return 60;
        }
    }

个人猜测，即使不写catch，编译后也会自带catch的东西，Java 虚拟机会把 finally 语句块作为 subroutine(子程序)直接插入到 try 语句块或者 catch 语句块的控制转移语句之前，然后return语句被插到抛出异常的语句前了。。。