对Java中finally关键字的重新理解

最近面试时问到finally,回答各异,为了确定自己是否记错了,写了几段代码进行相应的验证.

1.程序正常执行, try catch finally中都存在 return, 方法最后无返回(其实这个也已经没必要了)

代码如下:

private int test1() {
    try {
        log.info("In try block is: {}", logNum);
        return --logNum;
    }catch (Exception e) {
        --logNum;
        log.info("In catch block is: {}", logNum);
        return --logNum;
    }finally {
        log.info("In finally block is: {}", logNum);
        return --logNum;
    }
}

执行结果如下:

Init logNum to 10
In try block is: 10
In finally block is: 9
Method return is 8

从上面的情况可以看出,在程序正常运行时,如果try和finally都存在return,会在try中语句块return之后进入finally,在finally完事之后遇到了finally的return,这时就很不幸的被return出去了.

2.程序正常执行, try catch 中都存在 return, finally 及 方法最后不存在 return

代码如下:

private int test2() {
    try {
        log.info("In try block is: {}", logNum);
        return --logNum;
    }catch (Exception e) {
        --logNum;
        log.info("In catch block is: {}", logNum);
        return --logNum;
    }finally {
        log.info("In finally block is: {}", logNum);
    }
}

执行结果如下:

Init logNum to 10
In try block is: 10
In finally block is: 9
Method return is 9

这个情况再次验证了一点,那就是 finally 在程序正常跑的时候依然会执行,但是其实这次试验没多少的帮助,毕竟它说明的情况,测试1已经说明了,那么接着来.

3.程序正常执行, try catch 中都存在 return, finally 及 方法最后不存在 return, 但是在 finally 最后对 logNum 做了修改

代码如下:

private int test3() {
    try {
        log.info("In try block is: {}", logNum);
        return --logNum;
    }catch (Exception e) {
        --logNum;
        log.info("In catch block is: {}", logNum);
        return --logNum;
    }finally {
        log.info("In finally block is: {}", logNum);
        --logNum;
    }
}

执行结果如下:

Init logNum to 10
In try block is: 10
In finally block is: 9
Method return is 9

What? Method return is 9? 为什么不是8? 与测试1做比较之后发现, 本次测试中 finally 的 --logNum 没有使用 return, 所以没有了对 try 的 return 的短路,这个时候虽然 finally 对 logNum 进行了修改,但是执行完 finally 之后, 回到 try 中的 return 时使用的依然是 try 中暂存的内容.

正常情况应该是已经清楚了,看下异常情况

4.程序出现异常, try catch finally 中都存在 return

代码如下:

private int test4() {
    try {
        log.info("In try block is: {}", logNum);
        logNum = logNum / 0;
        return --logNum;
    }catch (Exception e) {
        log.info("In catch block - from try block is: {}", logNum);
        --logNum;
        log.info("In catch block is: {}", logNum);
        return --logNum;
    }finally {
        log.info("In finally block - from try or catch  is: {}", logNum);
        --logNum;
        log.info("In finally block is: {}", logNum);
        return --logNum;
    }
}

执行结果如下:

Init logNum to 10
In try block is: 10
In catch block - from try block is: 10
In catch block is: 9
In finally block - from try or catch  is: 8
In finally block is: 7
Method return is 6

从上面看出,其实这个情况和测试1中的情况差不多,就是说,无论是 try 还是 catch 都会在执行 return 之后进入 finally, 如果 finally 中存在 return, 则会直接执行 finally 中的 return,不会再返回到之前的return了.再验证下如果 finally 中不存在 return 的情况,看看是否与测试3的结果一样.

5.程序异常, try catch 中存在 return, finally 中不存在 return

代码如下:

private int test5() {
    try {
        log.info("In try block is: {}", logNum);
        logNum = logNum / 0;
        return --logNum;
    }catch (Exception e) {
        log.info("In catch block - from try block is: {}", logNum);
        --logNum;
        log.info("In catch block is: {}", logNum);
        return --logNum;
    }finally {
        log.info("In finally block - from try or catch  is: {}", logNum);
        --logNum;
        log.info("In finally block is: {}", logNum);
        --logNum;
    }
}

执行结果如下:

Init logNum to 10
In try block is: 10
In catch block - from try block is: 10
In catch block is: 9
In finally block - from try or catch  is: 8
In finally block is: 7
Method return is 8

OK,测试结果很明显, finally 中内容更新后并不起作用, 返回到 catch 中使用暂存的 return 内容进行返回

到目前为止准备结束这篇文章了,其实还有一种情况,就是在方法最后存在 return 的情况, 但是这种情况暂时真的是没什么可说的,因为上面的试验已经足以说明一切问题了, 方法最后的 return 暂时觉得没什么特别的需要注意的地方.后续如果发现这块依然有新的想法的话,会继续补充.暂时就到这里了.

补充一句,除非特殊情况,一般还是不要在 finally 中使用 return.