为何Java允许静态常量自赋值与循环赋值？是否为语言Bug？

这不是Java的语言Bug，而是完全符合Java语言规范的行为，原因可以从静态变量的初始化机制和常量分类两个角度解释：

静态变量的初始化阶段 #

Java类加载分为两个核心阶段直接影响这类代码的编译逻辑：

• 准备阶段：JVM会为所有静态变量分配内存空间，并赋予默认初始值（引用类型默认是null，基本类型对应各自的默认值）；
• 初始化阶段：按静态变量的声明顺序，依次执行显式的赋值语句或静态代码块。

以你的自引用代码为例：

public class FooClass {
    public static final String FOO = FooClass.FOO;
}

准备阶段FOO被设为null，进入初始化阶段执行赋值语句时，FooClass.FOO引用的是已经完成内存分配、拥有默认值的FOO变量，因此最终赋值结果就是null——整个流程完全符合规范，编译器不会报错。

编译期常量 vs 运行期常量 #

Java对static final变量有明确的两类区分：

• 编译期常量：当赋值是编译期可直接确定的字面量、常量表达式时，编译器会把代码中所有对该变量的引用直接替换为具体值，这类变量不允许自引用（会触发编译错误）；
• 运行期常量：如果赋值逻辑依赖运行时计算（比如引用其他变量、调用方法），编译器无法在编译期确定其值，只能在类初始化阶段动态执行。你的代码中，赋值语句引用的是类自身的变量，属于运行期常量，因此编译器不会提前拦截。

循环引用的合法性 #

循环赋值的代码逻辑和自引用本质一致：

public class FooClass {
    public static final String FOO_1 = FooClass.FOO_2;
    public static final String FOO_2 = FooClass.FOO_1;
}

初始化时按声明顺序执行：

1. 处理FOO_1：此时FOO_2处于准备阶段，值为null，因此FOO_1被赋值为null；
2. 处理FOO_2：此时FOO_1已经完成赋值（值为null），因此FOO_2也被赋值为null。

整个流程严格遵循类初始化的顺序规则，所以编译器允许通过。

这类代码虽然逻辑无意义、容易引发业务Bug，但它并没有违反Java语言规范，属于语言设计中允许的边缘情况。IDE的警告（比如IntelliJ的“initialized with self assignment”）是在提醒代码存在逻辑风险，但编译器只会严格执行规范，不会阻止这类代码编译。

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