最终定义不清吗？

Question

首先，一个难题：下面的代码打印什么？

public class RecursiveStatic {
    public static void main(String[] args) {
        System.out.println(scale(5));
    }

    private static final long X = scale(10);

    private static long scale(long value) {
        return X * value;
    }
}

静态修饰符与最终修饰符结合使用也用于定义常量。最后一个修饰符指示此字段的值不能更改。

来源:https://docs.oracle.com/javase/tutorial/java/javaoo/classvars.html[加重点]

我的问题是：这是一个bug吗？final定义不清吗？

public class RecursiveStatic {
    public static void main(String[] args) {
        System.out.println(scale(5));
    }

    private static final long X = scale(10) + 3;

    private static long scale(long value) {
        System.out.println("X = " + X);
        return X * value;
    }
}

a=5
a=5

Answer 1

一个非常有趣的发现。为了理解它，我们需要深入研究Java语言规范(JLS)。

原因是final只允许一次赋值。但是，默认值是不赋值。事实上，每一个这样的变量（类变量、实例变量、数组组件）在赋值之前从一开始就指向它的默认值。然后第一个赋值更改引用。

看一下下面的例子：

private static Object x;

public static void main(String[] args) {
    System.out.println(x); // Prints 'null'
}

public static void main(String[] args) {
    Object x;
    System.out.println(x);
    // Compile-time error:
    // variable x might not have been initialized
}

局部变量(§14.4，§14.14)在使用之前必须通过初始化(§14.4)或赋值(§15.26)，以一种可以使用明确赋值规则(§16（明确赋值））来验证的方式显式地给出一个值。

现在我们来看看§4.12.4final:

最终变量

public static void main(String[] args) {
    System.out.println("After: " + X);
}

private static final long X = assign();

private static long assign() {
    // Access the value before first assignment
    System.out.println("Before: " + X);

    return X + 1;
}

Before: 0
After: 1

private static long assign() {
    // Assign X
    X = 1;

    // Second assign after method will crash
    return X + 1;
}

多亏了@Andrew，我找到了一个JLS段落，正好涵盖了这个场景，它还演示了这个场景。

但首先让我们来看看

private static final long X = X + 1;
// Compile-time error:
// self-reference in initializer

为什么这是不允许的，而来自方法的访问是允许的？请看§8.3.3，它讨论了如果字段尚未初始化，对字段的访问何时受到限制。

>

引用出现在C的类变量初始化器中，或者出现在C的静态初始化器中(§8.7)；和

引用可以出现在F自己的声明符的初始值设定项中，也可以出现在F声明符的左侧；和

引用不在赋值表达式的左手边(§15.26)；和

class Z {
    static int peek() { return j; }
    static int i = peek();
    static int j = 1;
}
class Test {
    public static void main(String[] args) {
        System.out.println(Z.i);
    }
}

产生输出：

0

因为i的变量初始化器使用类方法peek在j被其变量初始化器初始化之前访问变量j的值，此时它仍然具有默认值(§4.12.5)。