循环通用依赖

Question

假设我有两个类。每个类都有一个参数。第一类的参数绑定到第二类，反之亦然。但是还有一个额外的要求。该参数也必须由类本身进行参数化。 这是更好地通过例子来说明：

public class Class1<T extends Class2<Class1>> { 
    ... 
} 

public class Class2<T extends Class1<Class2>> { 
    ... 
} 

然而，这种结构不起作用。编译器告诉Type parameter Class2 is not within its bound。这是完全可以理解的，因为编译器无法解决这种无穷递归。

但我想知道是否有任何优雅的方式来获得想要通过泛型？

Answer 1

我想你应该这样写：

class Class1<T extends Class2<? extends Class1<T>>> { } 
class Class2<T extends Class1<? extends Class2<T>>> { } 

或

class Class1<T extends Class2<? extends Class1<?>>> { } 
class Class2<T extends Class1<? extends Class2<?>>> { } 

它适用于Java 1.6。

Answer 2

它看起来像我突然发现答案。

public class Class1<T extends Class2<P, T>, P extends Class1<T,P>> { 
} 

public class Class2<T extends Class1<P, T>, P extends Class2<T, P>> { 
} 

这完全是吹风，但它似乎工作。

Answer 3

我不知道我理解你的问题 - 请注意，因为你的例子中的两个类都是泛型的，所以它们作为参数还应该包括它们的泛型参数，这会导致无限递归。

循环泛型引用是可能的，但方式稍有不同。以下是来自an earlier answer of mine的示例。