java.lang.VerifyError with inner class & lambda

Question

下面的代码可以编译，但是会导致java.lang.VerifyError。即使run()方法没有执行，也会出现错误。

import java.util.HashMap;
import java.util.Map;
import java.util.function.Function;

public class TestCase {
    public static void main(String[] args) {
        new TestCase().run();
    }
    public void run() {
        class Inner {
        }
        Map<String, Inner> map = new HashMap<>();
        Function<String, Inner> function = (name) -> {
            Inner i = map.get(name);
            if (i == null) {
                i = new Inner();
                map.put(name, i);
            }
            return i;
        };
        function.apply("test");
    }
}

错误:

Exception in thread "main" java.lang.VerifyError: Bad type on operand stack
Exception Details:
  Location:
    TestCase.lambda$0(Ljava/util/Map;Ljava/lang/String;)LTestCase$1Inner; @20: invokespecial
  Reason:
    Type 'java/util/Map' (current frame, stack[2]) is not assignable to 'TestCase'
  Current Frame:
    bci: @20
    flags: { }
    locals: { 'java/util/Map', 'java/lang/String', 'TestCase$1Inner' }
    stack: { uninitialized 15, uninitialized 15, 'java/util/Map' }
  Bytecode:
    0000000: 2a2b b900 2d02 00c0 0032 4d2c c700 15bb
    0000010: 0032 592a b700 344d 2a2b 2cb9 0037 0300
    0000020: 572c b0                                
  Stackmap Table:
    append_frame(@33,Object[#50])
    at java.lang.Class.getDeclaredMethods0(Native Method)
    at java.lang.Class.privateGetDeclaredMethods(Class.java:2688)
    at java.lang.Class.getMethod0(Class.java:2937)
    at java.lang.Class.getMethod(Class.java:1771)
    at sun.launcher.LauncherHelper.validateMainClass(LauncherHelper.java:544)
    at sun.launcher.LauncherHelper.checkAndLoadMain(LauncherHelper.java:526)

然而，如果我将'Inner'类移动到TestCase的内部类(而不是在方法中声明)，错误就会消失。或者，如果我使用匿名类来定义函数，错误就会消失。这似乎是在方法中声明的类和使用lamba的问题。

这是JVM bug吗?还是我错过了什么?我使用的是Oracle的Java 8。这个错误在命令行和Eclipse 4.4中都会发生。

编辑:我升级到最新的JDK:Java版本"1.8.0_11"Java(TM) SE运行环境(build 1.8.0_11-b12)Java HotSpot(TM) 64位Server VM (build 25.11-b03, mixed mode)

通过javac手动编译并运行它可以正常工作。如果我运行由Eclipse编译的类，则不会。所以现在我怀疑Eclipse编译器有一个bug。

Answer 1

verify error在编译器生成无法由验证器验证的代码时抛出。当"验证者"检测到类文件虽然格式良好，但包含某种内部不一致或安全问题时。因此，正如您所建议的，这显然是eclipse编译器的问题。无法正确编译这些结构。