java.lang 线程"main"中的异常。验证错误：操作数堆栈 Java 8 121 上的错误类型，但在 Java 11 上没有

Question

我知道对Java 8 Build 75进行了修复https://bugs.java.com/bugdatabase/view_bug.do?bug_id=8006684我无法用75之前版本的代码重现同样的问题。但这段代码在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:UsersJavIutAppDataLocalNetBeansCache8.2executor-snippetsrun.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思想提示中，源代码与字节码不匹配

与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的修复程序不完整。当外部类是子类并且它的[sic]超类的实体在lambda表达式中被引用时，它会失败。

这个错误在"修复版本/s:10"中已经结束，我确实可以用JDK-9.0.4重现您的问题，但不能用JDK-10.0.2重现。

参考的JDK-8129740是本问答中链接的错误报告；A你已经通过评论反向链接了。