try/catch/finally详解+示例

前言

　　关于try/catch/finally的组合相信有一点Java基础的人都知道，但是关于其真正的执行顺序不要自以为很了解，先来看看下面几个例子就知道了。

举例

例1

public class Test3 {
    public static void main(String[] args) {
        try {
            System.out.println("try...");
            return;
        } finally {
            System.out.println("finally...");
        }
    }
}

　　结果为：

try...
finally...

　　这个大家都知道，在try中的return真正返回之前会执行finally中的语句。

例2

public class Test3 {
    public static void main(String[] args) {
        System.out.println("main..." + getValue());
    }
    public static int getValue() {
        try {
            System.out.println("try...");
            return 0;
        } finally {
            System.out.println("finally...");
            return 1;
        }
    }
}

　　结果为：

try...
finally...
main...1

　　此处在执行finally中语句的时候，return 1;返回了，所以try中的return语句不会得到执行。

例3

public class Test3 {
    public static void main(String[] args) {
        System.out.println("main..." + getValue());
    }
    public static int getValue() {
        int i = 0;
        try {
            System.out.println("try...");
            return i;
        } finally {
            System.out.println("finally...");
            i++;
        }
    }
}

　　结果为：

try...
finally...
main...0

　　这个很多人都不知道为什么了，按道理说，在try的return执行之前，在finally之中已经更改了i的值，为什么return的值任然是0而不是1呢？
　　实际上，Java 虚拟机会把 finally 语句块作为 subroutine（对于这个 subroutine 不知该如何翻译为好，干脆就不翻译了，免得产生歧义和误解。）直接插入到 try 语句块或者 catch 语句块的控制转移语句之前。但是，还有另外一个不可忽视的因素，那就是在执行 subroutine（也就是 finally 语句块）之前，try 或者 catch 语句块会保留其返回值到本地变量表（Local Variable Table）中。待 subroutine 执行完毕之后，再恢复保留的返回值到操作数栈中，然后通过 return 或者 throw 语句将其返回给该方法的调用者（invoker）。
　　所以，上例中try中返回的不是finally中的i，而是在执行finally之前放在本地变量表中的i。所以返回的仍然是0。

例4

public class Test3 {
    public static void main(String[] args) {
        System.out.println("main..." + getValue());
    }
    public static int getValue() {
        int i = 0;
        try {
            System.out.println("try...");
        } finally {
            System.out.println("finally...");
            i++;
            return i;
        }
    }
}

　　结果为：

try...
finally...
main...1

　　由于try中没有返回语句，所以不会将try中的i放到本地变量表，执行完finally之后也不会再返回try，而是使用finally中的i直接返回。

例5

public class Test3 {
    public static void main(String[] args) {
        System.out.println("main..." + getValue());
    }
    public static int getValue() {
        int i = 0;
        try {
            System.out.println("try...");
            return i;
        } finally {
            System.out.println("finally...");
            i++;
            return i;
        }
    }
}

　　结果为：

try...
finally...
main...1

　　虽然try在执行finally之前将返回值保存到了本地变量表，但是finally中的i是另外一个副本，被finally操作后直接返回，不再回到try中，所以try中的i无法恢复。

例6

public class Test3 {
    public static void main(String[] args) {
        System.out.println("main..." + getValue());
    }
    public static int getValue() {
        int i = 0;
        try {
            System.out.println("try...");
        } finally {
            System.out.println("finally...");
            i++;
        }
        return i;
    }
}

　　结果为：

try...
finally...
main...1

　　因为try中没有return语句，所以在执行finally之前不会存放i到本地变量表，也不会再返回到try。

例7

public class Test3 {
    public static void main(String[] args) {
        System.out.println("main..." + getValue());
    }
    public static int getValue() {
        int i = 0;
        try {
            System.out.println("try...");
            return test();
        } finally {
            System.out.println("finally...");
            i++;
        }
    }
    public static int test() {
        System.out.println("test...");
        return 10;
    }
}

　　结果为：

try...
test...
finally...
main...10

　　此处try中的return test()就等同于int r = test();return r;，另外，catch和finally的关系和上面是一样的，这里省略了。

最佳实践

　　1)不要在catch和finally块中有return语句；
　　2)建议在finally中只进行资源的清理操作。

参考

http://www.ibm.com/developerworks/cn/java/j-lo-finally/