Java虚拟机在每个try语句块和与其相关的catch子句的结尾 处都会“调用”finally子句的子例程。实际上，finally子句在方法内部的表现很象“微型子例程”。finally子句正常结束后－指的是finally子句中最后一条语句正常执行完毕，不包括抛出异常，或执行return、continue、break等情况，隶属于这个finally子句的微型子例程执行“返回”操作。程序在第一次调用微型子例程的地方继续执行后面的语句。

finally“微型子例程”不等同于方法函数的调用，finally子句都是在同一个栈内执行的，微型子例程的“返回”操作也不会涉及到方法退栈，仅仅是使程序计数器pc跳转到同一个方法的一个不同的位置继续执行。
一　异常丢失
    public static void exceptionLost()  
     {  
       try  
       {  
         try  
         {  
           throw new Exception( "exception in try" );  
         }  
         finally  
         {  
           throw new Exception( "exception in finally" );  
         }  
       }  
       catch( Exception e )  
       {  
         System.out.println( e );  
       }  
     }  

exceptionLost()的输出结果是“exception in finally”，而不是try块中抛出的异常，这是JAVA异常机制的一个瑕疵－异常丢失。

在字节码中，throw语句不是原子性操作。在较老的JDK中，exceptionLost()中try块的throw语句分解为几步操作：
1) 把Exception("exception in try")对象引用存储到一个局部变量中
　　astore_2 　// pop the reference to the thrown exception, store into local variable 2
2) 调用finally微型子程序
3) 把局部变量中的Exception("exception in try")对象引用push到操作数栈顶，然后抛出异常
　　aload_2 　// push the reference to the thrown exception from local variable 2

　　athrow 　　// throw the exception

如果finally通过break、return、continue，或者抛出异常而退出，那么上面的第３步就不会执行。

在JDK1.6中，通过字节码我们可以看到，finally子句作为一种特殊的catch来实现的，下面是exceptionLost()方法的异常表：

Exception table：
  from   to  　target 　type
   0    　10    10   　　any
　0    　21    21   　　Class java/lang/Exception

finally可以捕获从0行到9行之间抛出的任何类型(any)的异常，并重新抛出捕获的异常，或者抛出一个自己构造的新异常，这个新异常就会覆盖try语句块中的异常。
二　返回值覆盖

    public static int getValue()  
     {  
       int value = 0;  
         
       try  
       {  
         value = 100;  
           
         return value;  
       }  
       finally  
       {  
         value = 200;  
       }  
     }  

这个方法的返回值是100还是200?结果是100。
在字节码中，return语句不是原子性操作，它会把getValue()中的return语句分解为几步操作：
1) 把value值存储到一个局部变量(这里命名为temp)中：
　　 iload_0　　 // push local variable 0 - the 100
　　 istore_2　  //  pop an int (the 100), store into local varaible 2
2) 调用finally微型子程序
3) 把局部变量(指temp)的值push到操作数栈顶，然后返回到调用方法
 　   iload_2　　// push local varaible 2 - the 100
 　　ireturn      // return int on top of the stack - the 100: return 100

由于return语句在返回之前会把返回值保存到一个临时的局部变量中，所以在finally子句内对value重新赋值不会影响返回值。

了解finally子句内在的一些知识，我们能够了解finally能够做什么和不能够做什么，这样会帮助我们正确使用finally子句。

关于 Java 虚拟机是如何编译 finally 语句块的问题，有兴趣的读者可以参考《 The JavaTM Virtual Machine Specification, Second Edition 》中 7.13 节 Compiling finally。那里详细介绍了 Java 虚拟机是如何编译 finally 语句块。实际上，Java 虚拟机会把 finally 语句块作为 subroutine（对于这个 subroutine 不知该如何翻译为好，干脆就不翻译了，免得产生歧义和误解。）直接插入到 try 语句块或者 catch 语句块的控制转移语句之前。但是，还有另外一个不可忽视的因素，那就是在执行 subroutine（也就是 finally 语句块）之前，try 或者 catch 语句块会保留其返回值到本地变量表（Local Variable Table）中。待 subroutine 执行完毕之后，再恢复保留的返回值到操作数栈中，然后通过 return 或者 throw 语句将其返回给该方法的调用者（invoker）。请注意，前文中我们曾经提到过 return、throw 和 break、continue 的区别，对于这条规则（保留返回值），只适用于 return 和 throw 语句，不适用于 break 和 continue 语句，因为它们根本就没有返回值。