java 编译器如何允许 class 拥有自己的类型引用？

Question

我想知道下面的代码，

public class Abc {
    private Abc p;
}

编译 class 时，编译器如何知道类型ABC ，因为类型ABC还没有出现。

我研究了 python 并了解了如何构建 python class，

class Person:
  def __init__(self, name, age):
    self.name = name
    self.age = age

在上面的 python 代码中，名称Person被分配给对应的 class object，在 ZA2F2ED4F8EBC2CBBD4C21 中的所有变量和方法定义之后。

我想知道如何在引擎盖下构建 java class 以及它如何包含自己类型的引用类型。

有人可以为我提供一个深入的解释，或者给我一本很好的参考书，让我了解那些从幕后发生的事情吗？

Answer 1

请记住，在 Java 中，class 变量只是一个参考变量。 所以已经“看到”了Abc这个名字，它可以很容易地在第一次通过时解释它。

它没有义务这样做，但您可以想象一个编译器记录一个类型为class的符号，名称为Abc ，并且在首次声明时内部 state 为“不完整”。 当它到达 class 变量时，它可以立即确定 class 存在或将存在，具体取决于您如何看待它。

这不会使单遍编译成为可能，但这是因为您可以按任何顺序声明方法，包括无法“单遍”编译的相互调用的方法。 在其他情况下，您可以在 Java 类中进行“前向”引用，这意味着它们并不总是可以单遍编译。