Java中为什么finally语句块一定会被执行？

通过阅读JVM规范，得知编译器是通过冗余来实现finally语句块的。我们可以写段代码做一个验证。

JDK版本：8
如下面的代码：

import java.io.*;

public class Main {
    public static void main(String[] args) {
        try {
            foo();
        } catch (IOException e) {
            int a = 100;
        } catch (Exception e) {
            int b = 200;
        } finally {
            int c = 300;
        }
    }

    public static void foo() throws IOException {

    }
}

根据finally的语义，我们可以确定int c = 300这行代码一定会被执行。我们可以用javap -v Main来看看这段代码对应的字节码：

Code:
      stack=1, locals=5, args_size=1
         0: invokestatic  #2                  // Method foo:()V
         3: sipush        300
         6: istore_1
         7: goto          41
        10: astore_1
        11: bipush        100
        13: istore_2
        14: sipush        300
        17: istore_1
        18: goto          41
        21: astore_1
        22: sipush        200
        25: istore_2
        26: sipush        300
        29: istore_1
        30: goto          41
        33: astore_3
        34: sipush        300
        37: istore        4
        39: aload_3
        40: athrow
        41: return

其中，偏移量为14、17， 26、29, 和34、37的字节码就是int c = 300对应的字节码。sipush 300意为将300压入操作数栈，astore_N意为将操作数栈顶元素保存到本地变量表中的第N个slot中。

由此我们可以清楚地看出，编译器确实是在每个catch语句块后都添加了finally块中的字节码， try块的最后也有int c = 300字节码的冗余。如果翻译成Java代码应该这样的：

public static void main(String[] args) {
        try {
            foo();
            int c = 300; // 冗余
        } catch (IOException e) {
            int a = 100;

            int c = 300; // 冗余
        } catch (Exception e) {
            int b = 200;

            int c = 300; // 冗余
        } finally {
            int c = 300;
        }
    }

由此可知，我们在写代码时，如果finally块中的代码过多会导致字节码条数”膨胀”，因为finally中的字节码会被”复制”到try块和所有的catch块中。