java异常处理机制

引子
try…catch…finally恐怕是大家再熟悉不过的语句了，而且感觉用起来也是很简单，逻辑上似乎也是很容易理解。不过，我亲自体验的“教训”告诉我，这个东西可不是想象中的那么简单、听话。不信？那你看看下面的代码，“猜猜”它执行后的结果会是什么？不要往后看答案、也不许执行代码看真正答案哦。如果你的答案是正确，那么这篇文章你就不用浪费时间看啦。
try-catch程序块的执行流程以及执行结果
相对于try-catch-finally程序块而言，try-catch的执行流程以及执行结果还是比较简单的。

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

1． 如果try块中所有语句正常执行完毕，那么就不会有其他的“动做”被执行，整个try-catch程序块正常完成。

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

1>如果异常V能够被与try相应的catch块catch到，那么第一个catch到这个异常的catch块（也是离 try最近的一个与异常V匹配的catch块）将被执行；如果catch块执行正常，那么try-catch程序块的结果就是“正常完成”；如果该 catch块由于原因R突然中止，那么try-catch程序块的结果就是“由于原因R突然中止（completes abruptly）”。

2>如果异常V没有catch块与之匹配，那么这个try-catch程序块的结果就是“由于抛出异常V而突然中止（completes abruptly）”。

3． 如果try由于其他原因R突然中止（completes abruptly），那么这个try-catch程序块的结果就是“由于原因R突然中止（completes abruptly）”。

3.3 try-catch-finally程序块的执行流程以及执行结果
try-catch-finally程序块的执行流程以及执行结果比较复杂。

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

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

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

2>如果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的原因之一啊——后文中有关于导致complete abruptly的原因分析），所以整个try-catch-finally程序块的结果是“complete abruptly”，所以在testEx1中调用testEx2时是捕捉不到testEx1中抛出的那个异常的，而只能将finally中的return 结果获取到。

如果在你的代码中期望通过捕捉被调用的下级函数的异常来给定返回值，那么一定要注意你所调用的下级函数中的finally语句，它有可能会使你throw 出来的异常并不能真正被上级调用函数可见的。当然这种情况是可以避免的，以testEx2为例：如果你一定要使用finally而且又要将catch中 throw的e在testEx1中被捕获到，那么你去掉testEx2中的finally中的return就可以了。

package myExample.testException;


public class TestException {

    public TestException() {
    }
    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;//try 被中止 转入finally
            }            
            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;//finally 被中止，丢弃try 的原因 结局则是由于"return" 中止
        }
    }

    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;//catch块由于原因R突然中止
        }finally{
            System.out.println("testEx2, finally; return value="+ret);
            return ret;//如果finally块由于原因S(return 是原因之一)突然中止，那么整个try-catch-finally程序块的结局是“由于原因S突然中止（completes abruptly）”，原因R将被抛弃。
        }
    }

    public static void main(String[] args) {
        TestException testException1 = new TestException();
        try{
            testException1.testEx();
        }catch(Exception e){
            e.printStackTrace();
        }
    }

}

i=2
i=1
testEx2, catch exception
testEx2, finally; return value=false
testEx1, finally; return value=false
testEx, finally; return value=false