操作数堆栈上的类型错误...使用jdk 8，带有匿名内部类的lambda失败，为什么？

Question

运行下面的代码将导致错误消息Bad type on operand stack。

public static void main(String args[]) {
        TransformService transformService = (inputs) -> {
            return new ArrayList<String>(3) {{
                add("one");
                add("two");
                add("three");
            }};
        };

        Collection<Integer> inputs = new HashSet<Integer>(2) {{
            add(5);
            add(7);
        }};
        Collection<String> results = transformService.transform(inputs);
        System.out.println(results.size());
    }

    public interface TransformService {
        Collection<String> transform(Collection<Integer> inputs);
    }

但是，在lamda中删除双括号初始化（匿名内部类）可以使代码按预期运行，为什么？以下作品：

public class SecondLambda {
    public static void main(String args[]) {
        TransformService transformService = (inputs) -> {
            Collection<String> results = new ArrayList<String>(3);
            results.add("one");
            results.add("two");
            results.add("three");

            return results;
        };

        Collection<Integer> inputs = new HashSet<Integer>(2) {{
            add(5);
            add(7);
        }};
        Collection<String> results = transformService.transform(inputs);
        System.out.println(results.size());
    }

    public interface TransformService {
        Collection<String> transform(Collection<Integer> inputs);
    }
}

编译器错误？毕竟这是抢先体验版…

（除非您具有最新的jdk 8 lambda下载，否则不会编译。）

Answer 1

看来，不仅在lambda返回anonymous类型时发生该问题，而且即使在内部构造了任何匿名类也是如此lambda。即：

public class TestLambda {
    public static void main(String[] args) {
        xxx();
    }
    static void xxx() {
        Functional1 f  = () -> {
            Object o = new Object() { };
            return new A();
        };
    }
    static class A { }
    static interface Functional1 { A func(); }
}

这实际上导致Exception in thread "main" java.lang.VerifyError: Bad local variable type（…）Reason: Type top (current frame, locals[0]) is not assignable to reference type。

进一步的研究表明，如果将参数引入method xxx，则异常的原因将包含其类型。例如：

Type 'java/lang/Integer' (current frame, stack[0]) is not assignable to 'lambda/TestLambda'

这已经很有趣了。让我们将xxx参数的类型（未实际使用）更改为 顶级 类，即TestLambda：

...
    xxx(new TestLambda());
}
private static void xxx(TestLambda x) {
...

你觉得怎么样？ 这样可以解决问题！ 一切开始顺利。即使，我们将更return A();改为return new A() {};。检查一下！

我的结论是，这是真正的 JVM错误
。看来，问题出在已加载类的堆栈上。它与方法结合使用，该方法Java用于翻译lambda表达式（http://cr.openjdk.java.net/~briangoetz/lambda/lambda-
translation.html）-
它在顶级类内部生成综合方法。看来，在lambda堆栈中引入匿名类时会损坏。可以使用上述解决方法进行修复。