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

以下代码使用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

原文地址：https://www.jb51.cc/java/126473.html