Sun的javac产生的奇怪异常表条目

Question

鉴于此程序：

class Test {
    public static void main(String[] args) {
        try {
            throw new NullPointerException();
        } catch (NullPointerException npe) {
            System.out.println("In catch");
        } finally {
            System.out.println("In finally");
        }
    }
}

Sun的javac（v 1.6.0_24）产生以下字节码：

public static void main(java.lang.String[]);

        // Instantiate / throw NPE
   0:   new     #2;         // class NullPointerException
   3:   dup
   4:   invokespecial   #3; // Method NullPointerException."<init>":()V
   7:   athrow

        // Start of catch clause
   8:   astore_1
   9:   getstatic       #4; // Field System.out
   12:  ldc     #5;         // "In catch"
   14:  invokevirtual   #6; // Method PrintStream.println
   17:  getstatic       #4; // Field System.out

        // Inlined finally block
   20:  ldc     #7;         // String In finally
   22:  invokevirtual   #6; // Method PrintStream.println
   25:  goto    39

        // Finally block
        // store "incomming" exception(?)
   28:  astore_2
   29:  getstatic       #4; // Field System.out
   32:  ldc     #7;         // "In finally"
   34:  invokevirtual   #6; // Method PrintStream.println

        // rethrow "incomming" exception
   37:  aload_2
   38:  athrow

   39:  return

带有以下异常表：

  Exception table:
   from   to  target type
     0     8     8   Class NullPointerException
     0    17    28   any
    28    29    28   any

我的问题是： 为什么到底在异常表中包括了最后一个条目？

据我了解，它基本上说“ 如果astore_2引发异常，请捕获它，然后重试相同的指令 ”。

即使使用空try / catch / finally子句（例如

try {} catch (NullPointerException npe) {} finally {}

一些观察

• Eclipse编译器不会产生任何此类异常表条目
• JVM规范没有记录该astore指令的任何运行时异常。
• 我知道JVM抛出VirtualMachineError任何指令都是合法的。我想特殊的输入可以防止任何此类错误从该指令中传播出来。

Answer 1

仅有两种可能的解释：编译器包含一个错误，或者出于晦涩的原因，它正在放置一种水印。

该条目肯定是虚假的，因为由finally块本身抛出的任何异常都必须将执行流发送到外部异常处理程序或finally块，但切勿“再次运行”相同的finally块。

同样，一个很好的证据证明它是一个错误/水印，事实是Eclipse（也许还有其他Java编译器）没有生成这样的条目，甚至Eclipse生成的类在Sun的JVM上都能正常工作。

就是说，这篇文章很有趣，因为看来该类文件是有效且经过验证的。如果我是JVM实现者，那么我将忽略该条目并填充Sun / Oracle的错误！