内部类&lambda的java.lang.VerifyError

Question

以下代码编译但导致a 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错误吗？或者我错过了什么？我正在使用Oracle的Java 8.错误发生在命令行和Eclipse 4.4中.

编辑:我升级到最新的JDK:java版"1.8.0_11"Java(TM)SE运行时环境(版本1.8.0_11-b12)Java HotSpot(TM)64位服务器VM(版本25.11-b03,混合模式)

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

Answer 1

当编译器生成验证程序无法验证的代码时，会引发验证错误。当“验证程序”检测到类文件虽然格式良好，但包含某种内部不一致或安全问题时。所以正如您所建议的，这显然是您的 eclipse 编译器的问题。它无法正确编译这些结构。