return表达式先计算并暂存结果,finally执行完后才真正返回;若finally含return或抛异常,则覆盖原返回值;修改引用对象状态会影响返回结果。

在Java中,return语句会先触发执行,但方法的实际返回值是在finally块执行完毕后才确定的。关键在于:return表达式会先计算并暂存结果,然后控制权移交到finally块;finally执行完后,再把之前暂存的结果真正返回。
return表达式先求值,但不立即返回
当代码执行到return语句时,JVM会做三件事:
- 计算return后面的表达式(比如
return getValue() + 1中的getValue() + 1) - 将计算结果保存在一个临时位置(如局部变量表或操作数栈)
- 标记该方法即将退出,但暂停返回动作,转去执行finally块
这意味着即使finally里修改了相关变量,也不会影响已暂存的返回值——除非finally里也有return或抛出异常。
finally中有return会覆盖原返回值
如果finally块中包含return语句,它会直接终结方法执行,并以它的return值为准,原return的暂存结果被丢弃。
立即学习“Java免费学习笔记(深入)”;
例如:
public static int test() {
try {
return 1;
} finally {
return 2; // 这个return生效,最终返回2
}
}
这种写法虽然合法,但容易引发逻辑混淆,应避免。
finally中抛出异常会中断正常返回
如果finally块执行过程中抛出异常(包括return语句隐式抛出的异常),那么try或catch中已准备好的返回值会被丢弃,调用方收到的是finally抛出的异常。
例如:
public static int test() {
try {
return 1;
} finally {
throw new RuntimeException("in finally"); // 方法直接抛异常,不返回1
}
}
此时调用test()会抛出RuntimeException,而不是返回1。
finally中修改对象状态不影响已暂存的基本类型返回值
对于基本类型(int、boolean等),return暂存的是值本身,finally中改同名变量无效;但对于引用类型,若return的是对象引用,而finally中修改了该对象的字段,则调用方看到的是修改后的对象状态。
例如:
public static StringBuilder test() {
StringBuilder sb = new StringBuilder("a");
try {
return sb; // 返回sb的引用
} finally {
sb.append("b"); // 修改对象内容
}
}
调用方拿到的StringBuilder内容是"ab",因为引用指向的对象被改变了。










