java – 相互自引用类型参数在JDK6下编译但不是7？

发布时间：2020-12-15 00:25:58 所属栏目：Java 来源：网络整理

导读：以下代码使用JDK6进行编译(我尝试了1.6.0_24) class XYA extends XYA,B,B extends XYB,A { } 但是在JDK7下编译(例如1.7.0),我得到这个错误： XY.java:1: error: type argument B is not within bounds of type-variable Aclass XYA extends XYA,A { ^ where

以下代码使用JDK6进行编译(我尝试了1.6.0_24)

class XY<A extends XY<A,B>,B extends XY<B,A>> { }

但是在JDK7下编译(例如1.7.0),我得到这个错误：

XY.java:1: error: type argument B is not within bounds of type-variable A
class XY<A extends XY<A,A>> {
                                      ^
  where B,A are type-variables:
    B extends XY<B,A> declared in class XY
    A extends XY<A,B> declared in class XY
1 error

任何人都可以指出这是否是对Java仿制药的故意改变？

解决方法

似乎这是一个来自OpenJDK的错误,是由类型变量替换中的错误引起的.

当您切换通用变量来显示示例：

class XY<A extends XY<A,A>> { } 
class XY<A extends XY<B,A>,B extends XY<A,B>> { }

在这里没有出现：

class XY<A extends XY<A,B>> { } 
class XY<A extends XY<B,A>> { }

你可以在这里看到另一个例子：http://old.nabble.com/Apparent-generics-compilation-bug-new-to-Java-1.7-td33378164.html

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!