英文:
Exception in thread "main" java.lang.VerifyError: Bad type on operand stack Java 8 121 but not on Java 11
问题
我知道在Java 8 Build 75上进行了修复 https://bugs.java.com/bugdatabase/view_bug.do?bug_id=8006684 ,我无法再Java 8-121上重新现有同样的问题,但此代码在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
...
问题出现在供应商的这一行。
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); /*将GETTER添加到代码中*/
但这个可以工作。
this(() -> JavaBug.this.html.doSomething(selector), Element::getData);
我如何找到此修复是在哪个版本中进行的?我需要通知我的团队。
在IntelliJ IDEA的提示中,显示“源代码与字节码不匹配”。
在121版本上也有相同的问题 https://discuss.newrelic.com/t/verifyerror-bad-type-on-operand-stack/50700
我认为解决方法可能是这个。
https://bugs.java.com/bugdatabase/view_bug.do?bug_id=8178444
完整的产品版本:
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
附加的操作系统版本信息:
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
英文:
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 code is throwing the exception on Java 8-121 but not on Java 11. In which version of the JDK was this problem solved?
A example this code was generating the problem on versions before 75 but not afterwards.
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(); }
But my code is throwing the exception on Java 8-121 but not on Java 11.
The code is just a example of the real code to be able to represent it but still in a single way.
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;
}
}
}
The console
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
The problem is this line in the supplier.
this(()->html.doSomething(selector),Element::getData);
Is calling a protected member i have try with no success.
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*/
But this works.
this(()->JavaBug.this.html.doSomething(selector),Element::getData);
How can I find in which version this fix was made? I need to inform into my team.
In the IntelliJ idea prompt states that Source code don't match bytecode
Same problem with 121 https://discuss.newrelic.com/t/verifyerror-bad-type-on-operand-stack/50700
I think the solution might be this.
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.
答案1
得分: 1
你的问题是JDK-8184989的一个实例:
JDK-8129740的修复是不完整的。在外部类是子类且其超类的实体在lambda表达式中被引用的情况下,它会失败。
这个错误已经在“修复版本:10”中关闭,我确实可以在JDK-9.0.4中复现你的问题,但在JDK-10.0.2中却不能。
所提到的JDK-8129740是在这个问答中链接的错误报告,你已经通过评论回链到了它。
英文:
Your problem is an instance of JDK-8184989:
> The fix for <strike>JDK-8129740</strike> is incomplete. It fails on cases when outer class is a subclass and the entities of it's [sic] superclass are referred to in lambda expression.
This bug has been close with “Fix Version/s: 10” and I can indeed reproduce your problem with JDK-9.0.4 but not with JDK-10.0.2.
The referenced JDK-8129740 is the bug report linked in this Q&A you already backlinked via a comment.
通过集体智慧和协作来改善编程学习和解决问题的方式。致力于成为全球开发者共同参与的知识库,让每个人都能够通过互相帮助和分享经验来进步。
评论