java异常处理中的return和throw

如果把return和throw放在一起，直接会提示错误。”Unreachable statement”（无法被执行）.

然而finally却可以成功骗过编译器让两者并存（是不是可以算是编译器的一个小bug呢），结果是后执行的会覆盖前者。

finally如果有return会覆盖catch里的throw，同样如果finally里有throw会覆盖catch里的return。

进而如果catch里和finally都有return finally中的return会覆盖catch中的。throw也是如此。

这样就好理解一些了，retrun和throw都是使程序跳出当前的方法，自然就是冲突的。如果非要跳出两次那么后者会覆盖前者。

public class T {  

    public T() {  

    }  

    boolean testEx() throws Exception {  

        boolean ret = true;  

        try {  

            ret = testEx1();  

        } catch (Exception e) {  

            System.out.println("testEx, catch exception");  

            ret = false;  

            throw e;  

        } finally {  

            System.out.println("testEx, finally; return value=" + ret);  

            return ret;  

        }  

    }  

    boolean testEx1() throws Exception {  

        boolean ret = true;  

        try {  

            ret = testEx2();  

            if (!ret) {  

                return false;  

            }  

            System.out.println("testEx1, at the end of try");  

            return ret;  

        } catch (Exception e) {  

            System.out.println("testEx1, catch exception");  

            ret = false;  

            throw e;  

        }  

        finally {  

            System.out.println("testEx1, finally; return value=" + ret);  

            return ret;  

        }  

    }  

    boolean testEx2() throws Exception {  

        boolean ret = true;  

        try {  

            int b = 12;  

            int c;  

            for (int i = 2; i >= -2; i--) {  

                c = b / i;  

                System.out.println("i=" + i);  

            }  

           return true;  

        } catch (Exception e) {  

            System.out.println("testEx2, catch exception");  

            ret = false;  

            throw e;  

        }  
        finally {  

            System.out.println("testEx2, finally; return value=" + ret);  

            //return ret;  

        }  
    }  

    public static void main(String[] args) {  

        T testException1 = new T();  

        try {  

            testException1.testEx();  

        } catch (Exception e) {  

            e.printStackTrace();  

        }  

    }  

}  

i=2

i=1

testEx2, catch exception

testEx2, finally; return value=false

testEx1, catch exception

testEx1, finally; return value=false

testEx, finally; return value=false

try-catch-finally程序块的执行流程

首先执行的是try语句块中的语句，这时可能会有以下三种情况：

1． 如果try块中所有语句正常执行完毕，那么finally块的居于就会被执行，这时分为以下两种情况：

    如果finally块执行顺利，那么整个try-catch-finally程序块正常完成。

    如果finally块由于原因R突然中止，那么try-catch-finally程序块的结局是“由于原因R突然中止（completes abruptly）”

2． 如果try语句块在执行过程中碰到异常V，这时又分为两种情况进行处理：

    如果异常V能够被与try相应的catch块catch到，那么第一个catch到这个异常的catch块（也是离try最近的一个与异常V匹配的catch块）将被执行；这时就会有两种执行结果：

    如果catch块执行正常，那么finally块将会被执行，这时分为两种情况：

    如果finally块执行顺利，那么整个try-catch-finally程序块正常完成。

    如果finally块由于原因R突然中止，那么try-catch-finally程序块的结局是“由于原因R突然中止（completes abruptly）”

    如果catch块由于原因R突然中止，那么finally模块将被执行，分为两种情况：

    如果如果finally块执行顺利，那么整个try-catch-finally程序块的结局是“由于原因R突然中止（completes abruptly）”。

    如果finally块由于原因S突然中止，那么整个try-catch-finally程序块的结局是“由于原因S突然中止（completes abruptly）”，原因R将被抛弃。

虽然我们在testEx2中使用throw e抛出了异常，但是由于testEx2中有finally块，而finally块的执行结果是complete abruptly的。因为return也是一种导致complete abruptly的原因之一，所以整个try-catch-finally程序块的结果是“complete abruptly”，所以在testEx1中调用testEx2时是捕捉不到testEx1中抛出的那个异常的，而只能将finally中的return 结果获取到。当然这种情况是可以避免的，以testEx2为例：如果你一定要使用finally而且又要将catch中 throw的e在testEx1中被捕获到，那么你去掉testEx2中的finally中的return就可以了。如果将testEx2()中的

finally {

        System.out.println("testEx2, finally; return value=" + ret);  

        //return ret;  

    }  

修改为

finally {  

            System.out.println("testEx2, finally; return value=" + ret);  

            return ret;  

        }  

那么运行结果：

i=2

i=1

testEx2, catch exception

testEx2, finally; return value=false

testEx1, finally; return value=false

testEx, finally; return value=false

try-catch-finally程序块中的return

从上面的try-catch-finally程序块的执行流程以及执行结果一节中可以看出无论try或catch中发生了什么情况，finally都是会被执行的，那么写在try或者catch中的return语句也就不会真正的从该函数中跳出了，它的作用在这种情况下就变成了将控制权（语句流程）转到 finally块中；这种情况下一定要注意返回值的处理。

例如，在try或者catch中return false了，而在finally中又return true，那么这种情况下不要期待你的try或者catch中的return false的返回值false被上级调用函数获取到，上级调用函数能够获取到的只是finally中的返回值，因为try或者catch中的return 语句只是转移控制权的作用。