线程“主”java.lang.VerifyError 中的异常：操作数堆栈上的错误类型 Java 8 121 但不在 ZD52387880E1EA22817A72D3759213891 上

Question

I know that a fix was made on Java 8 Build 75 https://bugs.java.com/bugdatabase/view_bug.do?bug_id=8006684 and I cannot reproduce the same problem with the code that break on version before 75. But this代码在 Java 8-121 上抛出异常，但在 Java 11 上没有抛出异常。在哪个版本的 JDK 中解决了这个问题？

一个例子，这段代码在 75 之前的版本上产生了问题，但之后没有。

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(); }

但是我的代码在 Java 8-121 上抛出异常，但在 Java 11 上没有。

该代码只是能够表示它但仍以单一方式表示的真实代码的示例。

class Element{
    private final String data;
    public Element(final String data) {
        this.data = data;
    }    
    public String getData() {
        return data;
    }    
}

class Html{
    protected Element doSomething(final String data){
        return new Element(data);
    }
}

class A{
    protected final Html html = new Html();
}
class B extends A{}
class C extends B{}
class D extends C{}
class E extends D{}

public final class JavaBug extends E{
    private final List<SupplierElementWithMapper>data = Arrays.asList(new SupplierElementWithMapper(""));
    public static void main(String[] args)throws Exception{
        System.out.println("JavaVersion: "+System.getProperty("java.version"));
        final JavaBug clazz = new JavaBug();        
    }
    
    private final class SupplierElementWithMapper{
        private final Supplier<Element> supplier;
        private final Function<Element,String> mapper;
        private UnaryOperator<String> unaryOperator = UnaryOperator.identity();

        public SupplierElementWithMapper(final String selector) {
            this(()->html.doSomething(selector),Element::getData);
        }
        public SupplierElementWithMapper(final Supplier<Element> supplier,final Function<Element, String> mapper) {
            this.supplier = supplier;
            this.mapper = mapper;
        }

        private SupplierElementWithMapper addUnaryOperator(final UnaryOperator<String>unaryOperator){
            this.unaryOperator = unaryOperator;
            return this;
        }    
    }    
}

控制台

JavaVersion: 1.8.0_121
Exception in thread "main" java.lang.VerifyError: Bad type on operand stack
Exception Details:
  Location:
    projectname/issues/JavaBug$SupplierElementWithMapper.lambda$new$1(Ljava/lang/String;Lprojectname/issues/JavaBug;)Lprojectname/issues/Element; @1: getfield
  Reason:
    Type 'java/lang/String' (current frame, stack[0]) is not assignable to 'projectname/issues/JavaBug$SupplierElementWithMapper'
  Current Frame:
    bci: @1
    flags: { }
    locals: { 'java/lang/String', 'projectname/issues/JavaBug' }
    stack: { 'java/lang/String' }
  Bytecode:
    0x0000000: 2ab4 0005 b400 102a b600 11b0          

    at projectname.issues.JavaBug.<init>(JavaBug.java:34)
    at projectname.issues.JavaBug.main(JavaBug.java:37)
C:\Users\JavIut\AppData\Local\NetBeans\Cache\8.2\executor-snippets\run.xml:53: Java returned: 1

问题是供应商的这条线。

this(()->html.doSomething(selector),Element::getData);

正在调用一个受保护的成员，我尝试过但没有成功。

this(()->{return html.doSomething(selector);},Element::getData);
this(()->JavaBug.super.html.doSomething(selector),Element::getData);
this(()->getHtml().doSomething(selector),Element::getData);/*ADDING IN THE CODE THE GETTER*/

但这有效。

this(()->JavaBug.this.html.doSomething(selector),Element::getData);

我怎样才能找到这个修复是在哪个版本中进行的？ 我需要通知我的团队。

在 IntelliJ 想法提示中指出Source code don't match bytecode

与 121 https://discuss.newrelic.com/t/verifyerror-bad-type-on-operand-stack/50700相同的问题

我认为解决方案可能是这样的。

https://bugs.java.com/bugdatabase/view_bug.do?bug_id=8178444

FULL PRODUCT VERSION :
java version "1.8.0_121"
Java(TM) SE Runtime Environment (build 1.8.0_121-b13)
Java HotSpot(TM) 64-Bit Server VM (build 25.121-b13, mixed mode)
javac 1.8.0_121


ADDITIONAL OS VERSION INFORMATION :
OSX 10.12.4 (16E195)
16.5.0 Darwin Kernel Version 16.5.0: Fri Mar  3 16:52:33 PST 2017; root:xnu-3789.51.2~3/RELEASE_X86_64 x86_64


A DESCRIPTION OF THE PROBLEM :
See code snippet below.

STEPS TO FOLLOW TO REPRODUCE THE PROBLEM :
Run the provided code.

Answer 1

您的问题是JDK-8184989的一个实例：

JDK-8129740 的修复不完整。 当外部 class 是子类并且它的 [sic] 超类的实体在 lambda 表达式中引用时，它会失败。

此错误已与“Fix Version/s: 10”接近，我确实可以用 JDK-9.0.4 重现您的问题，但不能用 JDK-10.0.2 重现您的问题。

引用的JDK-8129740是此问答中链接的错误报告，您已经通过评论反向链接。