java - 理解 try catch finally 及其返回值

Question

我有以下一段代码。

public static void main(String[] args) {
    System.out.println(returnString());
}
private static String returnString(){
    try {
        System.out.println("Executing try");
        return "Return try value";
    } catch (Exception e){
        System.out.println("Executing Catch");
        return "Return catch value";
    } finally {
        System.out.println("Executing finally");
        return "Return finally value";
    }
}

这个的输出是

Executing try
Executing finally
Return finally value

如果我将 finally block 更改为不返回类似

的任何内容

public static void main(String[] args) {
    System.out.println(returnString());
}
private static String returnString(){
    try {
        System.out.println("Executing try");
        return "Return try value";
    } catch (Exception e){
        System.out.println("Executing Catch");
        return "Return catch value";
    } finally {
        System.out.println("Executing finally");
    }
}

那么输出就是

Executing try
Executing finally
Return try value

现在我明白 finally 总是被执行，除非我们调用 system.exit(0);调用或 JVM 崩溃。我无法理解的是为什么返回值发生了变化？我仍然希望它返回 try block 的值。
谁能解释为什么要考虑 finally 值而不是 try block 的返回值？

请不要回答，因为即使在 try block 中有 return，finally 也会执行...或者 finally 只有在有 system.exit(0) 时才执行；调用或 JVM 崩溃。据我所知。

编辑:

(根据 Dirk 对 this 的评论)

public static void main(String[] args) {
    System.out.println(returnString());
}
private static String returnString(){
    try {
        System.out.println("Executing try");
        return printString("Return try value");
    } catch (Exception e){
        System.out.println("Executing Catch");
        return printString("Return catch value");
    } finally {
        System.out.println("Executing finally");
        return printString("Return finally value");
    }
}

private static String printString(String str){
    System.out.println(str);
    return str;
}

输出:

Executing try
Return try value
Executing finally
Return finally value
Return finally value

Answer 1

就在从主 block 返回之前，JVM 必须确保执行 finally block ，所以它会这样做。这个想法是执行 finally block ，然后返回并从主 block 执行 return 语句。但是如果你在 finally block 中有一个 return 语句，那么它将在 finally block 执行时执行......这意味着控制永远不会返回到主 block 来完成 return 语句。

1. JVM 在主 block 中遇到return 语句。它暂停主 block 的执行并检查 finally 子句。
2. 它完整地执行 finally 子句，包括它的 return 语句。
3. 它永远不会因此完成 try block 。

但是请注意，try block 的return 表达式被求值，然后被丢弃。如果它有副作用，这一点很重要。因此，如果您的主 block 具有 return i++ 那么这将不会影响返回值，但 i 仍会递增。 (感谢 Dirk 指出这一点。)