为什么try与finally块均含return时不会触发不可达代码报错

给出的测试代码如下：

try {
    System.out.println("try1");
    return 1;
} 
finally {
    System.out.println("finally1");
    return 2;
}

运行输出结果：

try1
finally1
2

• 首先要纠正一个认知误区：try块里的return并不是完全没执行，它实际执行了前半段逻辑：先把返回值1计算完成后暂存在当前方法栈帧的返回值存储区，随后就触发Java的finally执行规则，转去执行finally块的代码。
• Java语言规范明确要求：只要try/catch块已经进入执行，无论执行路径是正常结束、抛出异常，还是遇到return/break/continue这类控制跳转语句，finally块必须优先于最终的方法返回/跳转动作执行。
• 当finally块里也存在return语句时，这个return会直接覆盖之前暂存在栈帧里的返回值1，同时直接完成方法返回动作，try块里return的后半段「把暂存值返回给调用方」的逻辑就被丢弃了，所以最终方法返回的是2。
• 至于编译器不会报try块return不可达的原因，是Java的可达性分析规则特意做了例外约定：try-finally结构里不会因为finally块存在return就判定try块的return不可达，毕竟try的return是触发finally执行的前提，本身确实是可以被执行到的，只是最终的返回动作被finally的return劫持了，不符合不可达代码的判定标准。

内容的提问来源于stack exchange，提问作者aswathy