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错误吗？或者我错过了什么？我正在使用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

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

带有内部类＆amp;的java.lang.VerifyError拉姆达

1 个答案: