java里 finally 关键字通常与try catch块一起使用。用来在方法结束前或发生异常时做一些资源释放的操作。最近也看到网上有一些讨论try catch finally关键词执行的顺序的文章，并给出了finally块是在方法最后执行的。
这些观点普遍认为:
1)finally关键词是在程序return语句后返回上一级方法前执行的，其中返回值会保存在一个临时区域，待执行完finally块的部分后，在将临时区域的值返回。
2)若finally块里有返回值会替换掉程序中前面的try 或catch块中return语句存放在临时区域的值。
但是问题真的是这样的吗，我们仔细的想想，jvm是在运行时对字节码指令进行解释执行的，当他在执行到return语句后，他哪知道后面有没有finally块，如果没有finally块怎么办，不管是字节码指令还是计算机的指令应该是明确的，jvm没有那么智能，同一个指令必须是明确的，不会包含两层含义。所以对于return语句在运行时不管什么情况，统一会弹出栈的内容并返回到调用方法。
finally语句在方法返回前执行的是没错，但是在try 或 catch 块之后执行，是不能成立的。下面我们来看一个实例。
1.try catch finally 示例：
public class FinallyTest {
public static void main(String[] args) {
int r = test();
System.out.println(r);
}
public static int test()
{
try { System.out.println("try");
//return 1/0;
return 0;
} catch (Exception e) {
System.out.println("exception");
return 100;
}finally{
System.out.println("finally");
}
}
}
try块中使用return 0语句，程序的运行结果是：
try
finally
0
try块中使用 return 1/0 语句，程序运行的结果是：
exception
finally
100
其实通过运行结果我们可以看出的是finally块是在try或catch块中的return语句前其他语句后执行的。也就是说程序的书写顺序与我们执行顺序不符，因为jvm是对字节码进行解释执行的，那么我们需要看看c#编译器是如何编译这段代码的，看看其生成的字节码究竟是什么样的。
2.程序生成的部分字节码：（java字节码指令请参考）
1 public static int test(); 2 descriptor: ()I 3 flags: ACC_PUBLIC, ACC_STATIC 4 Code: 5 stack=2, locals=2, args_size=0 6 0: getstatic #20 // Field java/lang/System.out:Ljava/io/PrintStream; 7 3: ldc #36 // String try 8 5: invokevirtual #38 // Method java/io/PrintStream.println:(Ljava/lang/String;)V 9 8: getstatic #20 // Field java/lang/System.out:Ljava/io/PrintStream; 10 11: ldc #41 // String finally 11 13: invokevirtual #38 // Method java/io/PrintStream.println:(Ljava/lang/String;)V 12 16: iconst_0 13 17: ireturn 14 18: astore_0 15 19: getstatic #20 // Field java/lang/System.out:Ljava/io/PrintStream; 16 22: ldc #43 // String exception 17 24: invokevirtual #38 // Method java/io/PrintStream.println:(Ljava/lang/String;)V 18 27: getstatic #20 // Field java/lang/System.out:Ljava/io/PrintStream; 19 30: ldc #41 // String finally 20 32: invokevirtual #38 // Method java/io/PrintStream.println:(Ljava/lang/String;)V 21 35: bipush 100 22 37: ireturn 23 38: astore_1 24 39: getstatic #20 // Field java/lang/System.out:Ljava/io/PrintStream; 25 42: ldc #41 // String finally 26 44: invokevirtual #38 // Method java/io/PrintStream.println:(Ljava/lang/String;)V 27 47: aload_1 28 48: athrow 29 Exception table: 30 from to target type 31 0 8 18 Class java/lang/Exception 32 0 8 38 any 33 18 27 38 any
从红色的部分我们可以看出：10,11行对应的是finally块语句指令，16,17对应的是return 0指令，在try块其他语句之后，return之前。而19,20对应的是finally块指令，21,22对应的是return 100语句的指令，在catch其他语句之后，return之前，由此我们可以看出这些背后发生的一切是c#编译器为我们做了这一切，至于程序中发生的异常，jvm会从异常表找到对应处理异常的地址位置执行。
因此我们可以得出结论finally块中的语句会有c#编译器插入到try块和catch块return语句之前，其他语句之后。所以才发生不管是执行try块还是执行catch块，最终在方法返回前都会执行finally块。