「这是我参与2022首次更文挑战的第8天，活动详情查看：2022首次更文挑战」。
上文中我们从字节码指令角度讲了finally 与return 的执行顺序，今天我们就来看一下finally在代码中必然执行的问题！
finally 为什么一定会执行
细心地小伙伴应该能发现，上边的字节码指令图中第4-7行和第9-12行的字节码指令是完全一致的，那么为什么会出现重复的指令呢？
首先我们来分析一下这些重复的指令都做了些什么操作，经过分析发现它们就是x = 2;return x;的字节码指令，也就是finally代码块中的代码。由此我们有理由怀疑如果上述代码中加入catch代码块，finally代码块对应的字节码指令也会再次出现。
public static int test2() {
int x = 1;
try {
return x;
} catch(Exception e) {
x = 3;
} finally {
x = 2;
return x;
}
}
反编译之后
果然如我们所料，重复的字节码指令出现了三次。让我们回归到最初的问题上，为什么finally代码的字节码指令会重复出现三次呢？
原来是JVM为了保证所有异常路径和正常路径的执行流程都要执行finally中的代码，所以在try和catch后追加上了finally中的字节码指令，再加上它自己本身的指令，正好三次。这也就是为什么finally 一定会执行的原因。
finally一定会执行吗？
为什么上边已经说了finally中的代码一定会执行，现在还要再多此一举呢？请👇看
在正常情况下，它是一定会被执行的，但是至少存在以下三种情况，是一定不执行的：
try语句没有被执行到就返回了，这样finally语句就不会执行，这也说明了finally语句被执行的必要而非充分条件是：相应的try语句一定被执行到；try代码块中有System.exit(0);这样的语句，因为System.exit(0);是终止JVM的，连JVM都停止了，finally肯定不会被执行了；- 守护线程会随着所有非守护线程的退出而退出，当守护线程内部的
finally的代码还未被执行到，非守护线程终结或退出时，finally肯定不会被执行；
看到这儿，你搞懂了finally什么时候执行，什么时候不执行了吗？如果你有不同的意见或者更好的idea，欢迎联系阿Q，添加阿Q还可以加入技术交流群参与讨论呦！
