通过类型擦除理解java递归泛型类型定义

Question

面对这一行代码，我感到非常困惑：

public abstract class ClassName<T extends ClassName<?>>{}

我知道什么

请有人用简单的话解释一下这件有趣的事是什么意思？不是关于




Answer 1

public表示该类对所有其他类可见
abstract意味着类不能被实例化（你必须为此找到一个非抽象的子类）
继承是面向对象编程中的一个重要概念。阅读一本关于OOP的书或查阅维基百科。

T扩展类名

我将提供一个更有意义的例子，它可能会使我们更容易理解使用有界递归类型参数的概念。假设你有一个类Thingy。您希望Thingy的所有子类都具有可比性，但仅限于相同的子类。即你希望钉子能和钉子相提并论，但不是自行车：

interface Thingy<T extends Thingy<T>> extends Comparable<T> {}

class Nail implements Thingy<Nail> {
    @Override public int compareTo(Nail o) { ... }
}

class Bike implements Thingy<Bike> {
    @Override public int compareTo(Bike o) { ... }
}

Answer 2

因此，ClassName有一个通用参数T，这个参数需要满足特定的要求，在这种情况下扩展了特定的类型S，这意味着，T必须继承S。现在这个例子中有趣的事情是这个S。

我们有S成为类名

现在真正有趣的是这个定义

public abstract class ClassName<T extends ClassName<?>>

允许递归泛型类型定义。所以你可以像

ClassName<ClassName<ClassName<ClassName<?>>>> test;

不管值多少钱：）

编辑：给定

ClassName2<T extends ClassName<?>> extends ClassName<T>

相比之下，这相对容易。我们希望继承ClassName而不是“销毁”泛型参数，因此我们采用ClassName可以接受的一个参数，在本例中T扩展ClassName

此外，我们还有ClassName2

ClassName2<ClassName<ClassName<ClassName<?>>>> test2;
ClassName2<ClassName<ClassName2<ClassName<?>>>> test3;

然而，如果你愿意的话

class ClassName3<T extends ClassName3<?>> extends ClassName<T>

（公共和abstrac修饰符并不真正影响这里的通用行为），你只能有这样的东西

ClassName3<ClassName3<ClassName3<ClassName3<?>>>> test4;
ClassName2<ClassName<ClassName3<ClassName3<?>>>> test5;

因为ClassName和ClassName2不继承ClassName3。