编译器如何处理自引用结构？为何链表节点定义不会引发无限递归？

问题场景 #

以下是Java中链表节点的定义：

class LinkedlistNode {
   int data;
   LinkedlistNode next = null;
}

我从接触链表概念的第一天起，就始终无法理解为何能在节点内部定义节点。怎么能在定义某个事物的过程中又去定义它呢？

我曾得到过一种解释：编译器提前知晓存在名为Node的类，但定义尚未完成，会等待JVM加载类后再处理，但我并不信服。之后看到另一种说法：指针或引用本身具有固定大小。

直白解析 #

核心误区：不是"定义节点"，是声明引用 #

你混淆了「类的定义」和「类引用的声明」两个概念：

• 代码里的LinkedlistNode next = null;并不是在类内部重新定义LinkedlistNode类，而是声明了一个指向LinkedlistNode类型对象的引用变量。
• 在Java中，所有对象引用的大小是固定的（比如64位系统下通常为8字节），编译器不需要知道LinkedlistNode类的完整定义，只需要确认这个类的存在，就能为next变量分配固定大小的内存空间。

编译器的实际处理逻辑 #

当编译器遇到类内部的自身引用时，会先标记LinkedlistNode是一个未完全定义的类，但由于引用仅需存储内存地址（固定长度），所以可以直接完成变量声明的处理。等整个类的定义全部完成后，JVM加载类时，再将这个引用与实际的对象实例关联。

现实类比 #

这就像你写一本书的目录时，可以先写下"第5章：XX主题"，此时第5章还没写完，但目录里的这个条目只是一个"指向第5章的标记"——标记的大小固定，和第5章的内容多少完全无关，不需要写完第5章才能写这个标记。

内容的提问来源于stack exchange，提问作者Aliaa Tarek