Java中return返回结果的优先级

Posted 2021-02-06 如若

在Java开发时，异常处理是非常普遍的。先看这样一道关于异常处理的代码

public static int getNumer() {
    int a = 1;
    try {            
        return a;
    } catch (Exception e) {
        a = -1;
    } finally {
        a = 30;
        System.out.println(a);
    }
    return a;
}

当执行System.out.println(getNumer())返回的结果应该是多少？
A 30 30
B 30 1
C 1 30
答案是B。这个问题的本质就是在try，catch，finally中都有return语句时，执行代码的顺序是怎么样的，是根据哪个值来进行返回呢？

我们知道，在处理异常时，finally中的代码是必定要执行的，这是由Java编译器决定的，在编译的时候，将try模块的代码与finally模块的代码合并在一起，将catch模块的代码与finally模块的代码合并在一起，这是毫无疑问的。
这样，当finally模块有return，那么将会执行finally中的return，返回函数的结果，无论try, catch，还是函数体有没有return语句。所以，该位置的return的优先级是最高的。

那么，当finally没有return时，是如何返回的呢？
这时，在执行完try中的模块后，有return语句，实际不会真正的return，即只是会计算return中的表达式，之后将计算的结果保存在一个临时栈中，接着执行finally中的语句，最后才会从临时栈中取出之前的结果返回。
所以，函数的返回值是1而非30。

总体来说，return语句的位置有如下几种。

public static int getNumer() {
    try {            
        return a;
    } catch (Exception e) {
        return b;
    } finally {
       return c;
    }
    return d;
}

当无异常抛出时，返回的优先级如下：c>a>d。当然，如果c存在，d是不可达代码，编译会错误的，如下：

Exception in thread "main" java.lang.Error: Unresolved compilation problem: 
    Unreachable code

当有异常抛出时，返回的优先级如下：c>b>d。

总之，大家记住，finally块中的return优先级最高，而函数体中的return的优先级最低就好了。