Java Cyclomatic Enum 初始化 - 会发生什么以及为什么会发生？ [复制]

Question

可能重复：
Java Enums: Two enum types, each containing references to each other?

在我们的代码中，我们得到了一些关于枚举的奇怪 NPE。当我搜索时，我发现（或多或少）以下案例：

public class EnumTest {

  public static void main(final String[] args){
    System.out.println("------ START ----- ");
    System.out.println("BeezleBubs FOO's rockSteady is: " + BeezleBub.FOO.rockSteady);
    System.out.println("RockSteady BAR's beezleBub is: " + RockSteady.BAR.beezleBub);
    System.out.println("------  END  ----- ");
  }

  public enum RockSteady {
    BAR(BeezleBub.FOO);

    public final BeezleBub beezleBub;
    private RockSteady(final BeezleBub beezleBub) {
        this.beezleBub = beezleBub;
        System.out.println("Constructing RockSteady, beezleBub = " + beezleBub);
    }

  }

  public enum BeezleBub {

    FOO(RockSteady.BAR);

    public final RockSteady rockSteady;

    private BeezleBub(final RockSteady rockSteady) {
        this.rockSteady = rockSteady;
        System.out.println("Constructing BeezleBub, rockSteady = " + rockSteady);
    }

  }
}

由于某种原因，结果很尴尬。运行时，此测试输出：

------ START ----- 
Constructing RockSteady, beezleBub = null
Constructing BeezleBub, rockSteady = BAR
BeezleBubs FOO's rockSteady is: BAR
RockSteady BAR's beezleBub is: null
------  END  ----- 

另一件事是，当您切换调用枚举的 System.out.prinln() 语句时，枚举的初始化也会发生变化。结果：

------ START ----- 
Constructing BeezleBub, rockSteady = null
Constructing RockSteady, beezleBub = FOO
RockSteady BAR's beezleBub is: FOO
BeezleBubs FOO's rockSteady is: null
------  END  ----- 

有人对正在发生的事情有清楚的解释吗？它与状态和秩序有关，但我不能完全确定它......

Answer 1

在 Java 中，类是惰性加载和初始化的。这意味着，无论您尝试首先打印哪个类的属性，都会首先加载和初始化。一般来说，如果你有相互递归的类初始化器，那么你应该避免在所有构造函数完成之前检查它们的属性。

原因很简单，Java 没有可以执行的初始化步骤序列来确保所有可能使用的原子初始化。

顺便说一句，这与普通的旧 Java 类可能发生的枚举无关。

Answer 2

循环依赖并不酷，我必须承认我还没有生成这样的代码。我可以猜到，实例枚举实例按需初始化，第一个实例 pocked 拉取仍然为空的最终值（最终意味着您不能重新分配值，而不是它已经被分配）。当您戳第二个枚举时，第一个已经创建并且一切都按预期工作

Answer 3

第一个 println 语句需要 BeezleBub.FOO.rockSteady 的值。所以 BeezleBub 枚举被加载。要初始化 BeezleBub FOO 实例，它需要加载 RockSteady 枚举。因此加载了 RockSteady，并将 BAR 常量初始化为 BeezleBub.FOO 的当前值，该值仍然为空，因为它正在初始化自身。然后将初始化的 BeezleBub.FOO 常量赋值为 RockSteady.BAR 的值，该值非空。

这是一个有趣的问题，因为它是枚举之一应该是可变的以便正确初始化的情况之一。