finally语句块

finally语句块是搭配着try语句块出现的，也就说必须有try语句块才会有finally语句块，但是并不是try语句块都会搭配有finally语句块出现，我们常见的更多是try...catch...

finally语句块一般出现的情况如下：

public int operation() {
       int result = 2016;
            /*statements*/
       try {
            /*statements*/
        } catch (Exception e) {
            /*statements*/
        } finally {
            /*statements*/
        }
}

一、finally语句块的执行时机

• finally语句并不是每次都执行，只有线程执行过try语句块，finally语句块才会执行。如果线程执行到try语句块之前就return的话，finally语句是不会执行的。如例程中第一种情况，在try语句块之前执行return语句将会直接退出函数。
• 只要线程进入过try语句块，不论有没有抛出异常，finally语句块都会执行。如例程中的第二种和第三种情况，线程执行进入try语句块，不管有没有出现异常，finally语句都正常执行。
• finally 语句块是在结果返回之前执行的。根据第二种和第三种情况，可以发现finally语句执行在main函数打印结果之前。

public class Test {

    public static void main(String[] args) {
        System.out.println("return before try");
        System.out.println("value: " + test(1));
        System.out.println("return after try");
        System.out.println("value: " + test(0));
        System.out.println("return after try catch");
        System.out.println("value: " + test());
    }

    public static int test(int i) {
        if (i == 1)
            return 0;
        try {
            System.out.println("try block");
            return i;
        } finally {
            System.out.println("finally block");
        }
    }

    public static int test(){
        int i = 1;
        try {
            System.out.println("try block");
            i = 1 / 0;
            return 1;
        }catch (Exception e){
            System.out.println("exception block");
            return 2;
        }finally {
            System.out.println("finally block");
        }
    }
}

执行结果

return before try
value: 0
return after try
try block
finally block
value: 0
return after try catch
try block
exception block
finally block
value: 2

二、finally语句块对返回结果的影响
上面的例子为了不影响读者理解，在finally语句中没有做任何可能会影响到返回结果的操作。但是在finally语句块中对返回结果进行操作的话，会不会对返回结果造成影响就要分情况而论了。在学习接下来这部分知识之前，笔者是坚持认为finally语句对返回结果进行操作，是肯定会影响返回结果的值的，毕竟根据上面的理解，finally语句块执行在结果返回之前嘛，随着深入学习，笔者发现这里面还是有需要注意的地方的。先看一段例程：

public class Test {
    public static void main(String[] args) {
        System.out.println("value : " + getValue());
    }

    public static int getValue() {
        int i = 1;
        try {
            return i;
        } finally {
            i++;
        }
    }
}

执行结果：

value : 1

按照之前的理解，这个程序执行得有点不按套路出牌啊，执行完try语句之后，程序先不返回，接着执行finally语句块，做自增操作，返回值应该是2啊，怎么会是1呢？我不知道各位读者这会什么心情，反正当时我看到这结果的时候，用一脸懵逼来形容是毫不为过。

结果查阅资料，发现这个地方Java里面是有特殊处理的，下面这段话是抄的：
“Java 虚拟机会把 finally 语句块作为 subroutine直接插入到 try 语句块或者 catch 语句块的控制转移语句之前。但是，还有另外一个不可忽视的因素，那就是在执行 subroutine之前，try 或者 catch 语句块会保留其返回值到本地变量表中。待 subroutine 执行完毕之后，再恢复保留的返回值到操作数栈中，然后通过 return 或者 throw 语句将其返回给该方法的调用者。”

也就是说在try...catch...中执行到return语句的时候，会先把需要返回的数据缓存下来，再去执行finally语句块，执行完finally语句块之后，再将缓存的数据作为结果返回。这样看来上面例程的执行结果就说得过去了。是不是好开心，感觉一下子豁然开朗了呢。不要着急，咱们再入一个例程：

public class Test {

    static class Monitor {
        int flag;

        public Monitor(int flag) {
            this.flag = flag;
        }

        public void setFlag(int flag) {
            this.flag = flag;
        }

        public int getFlag() {
            return this.flag;
        }
    }

    public static void main(String[] args) {
        Monitor monitor = getValue();
        System.out.println("flag : " + monitor.getFlag());
    }

    public static Monitor getValue() {
        Monitor monitor = new Monitor(0);
        try {
            return monitor;
        } finally {
            monitor.setFlag(1);
        }
    }
}

执行结果：

flag : 1

不是说在执行finally语句之前会把结果缓存的吗？为什么返回的结果会是1，应该是0才对的啊。其实这个地方出现疑问是因为不了解缓存到底存的是什么。这两个例程在我们的理解上产生冲突，是因为这两个例程中，finally语句块操作的是两种类型的变量，一个是基本类型，一个是对象类型。这两种类型的变量的存储方式是不一样的。int等基本类型的变量，在变量对应的内存中直接存放的就是该变量的值，而对象类型的变量，在其对应的内存中存放的是对象所在的地址。执行finally语句之前，Java确实对二者都进行了缓存，缓存的是变量对应的内存中存放的数据，于基本类型而言，缓存的是值，于对象类型而言，缓存的是对象所在内存区块的地址。我们在finally语句中进行操作时，不会影响缓存中存放的数据，这样无论我们对基本类型的值如何操作，返回值始终是之前的值，但是对象类型是不一样的，缓存的数据不变只能保证缓存数据地址指向的一直是同一个对象，finally语句块中对这个对象进行操作，是完全可以影响到对象的属性的。

看到这，暂时算是豁然开朗了，也不知道有没有没挖出来的坑，如果有的话，还请各位大牛不吝赐教。