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