java - 解析 <T extends Interface<T>> 并结束潜在的无限循环

Question

考虑一个以

开头的类定义

class Pokemon extends Playable<Pokemon>

这类似于更常见的 class Pokemon implements Comparable<Pokemon> ，这只是对 Pokemons 施加了总排序。

虽然我已经看到这个并写了一段时间，但我意识到(在回答一个问题之后)至少从理论的角度来看，如果不小心的话，解析中可能存在无限循环的风险。

考虑一下:
第 1 步:编译器或类加载器尝试解析(或加载)Pokemon , 但看到它需要解析 Playable<.>首先。
第 2 步:编译器然后意识到因为 Playable由 Pokemon 参数化, 它需要加载或解析 Pokemon .现在我们发现自己进入了第 1 步，并且建立了一个永无止境的循环。

在实践中，我们知道情况并非如此，因为它有效。那么循环是如何被打破的呢？我的理论是，在第 2 步结束时，编译器或类加载器只是停止并使用对 Pokemon 的“引用”，而不是提取 Pokemon 源代码。但我对 javac 了解不够或 Classloaders来确认这一点。有人可以权衡一下吗？

Answer 1

这类似于此声明中的“循环”:

class LinkedListNode {
    private String data;
    private LinkedListNode next;
    ...
}

为了处理 private LinkedListNode next 字段，编译器只需要知道 LinkedListNode 是一个类型。此时它不需要有一个完整的类型，因为类型名称提供了足够的信息来声明该字段。

类似地，当您声明一个引用其自身类型作为其继承结构的一部分的泛型类时，编译器不需要完整的类型来完成对声明的解析。