静态块和具有静态非原始数据字段的 Field.get(null)

Question

我有以下类：

public class A {

    static {
        B.load(A.class);
    }

    public static final C field1 = new C("key1", "value1");

    public static final C field2 = new C("key2", "value2");

    public static void main(String[] args) {
        System.out.println(A.field1);
    }

}

and

public class B {

    public static void load(Class<?> clazz) {
        for (Field field : clazz.getFields()) {
            try {
                System.out.println("B.load -> field is " + field.get(null));
            } catch (IllegalArgumentException e) {
                e.printStackTrace();
            } catch (IllegalAccessException e) {
                e.printStackTrace();
            }
        }
    }

}

and

public class C {

    private final String key;

    private final String value;

    public C(String key, String value) {
        super();
        this.key = key;
        this.value = value;
    }

    public String getKey() {
        return this.key;
    }

    public String getValue() {
        return this.value;
    }

    @Override
    public String toString() {
        return "C [key=" + this.key + ", value=" + this.value + "]";
    }

}

当执行 A 时，我得到：

B.load -> field is null
B.load -> field is null
C [key=key1, value=value1]

为什么 field.get(null) 在执行时返回 null 值？我没有遇到任何异常，而且 Javadoc 似乎没有解释这种行为。

Answer 1

我相信所有静态成员都将按声明顺序执行（对于静态块）和初始化（对于静态字段）。尝试将类 A 的静态块放在类的末尾，或者至少放在静态字段之后。让我知道这是否有影响。

编辑：有关原语和字符串行为的信息...

当您有一个最终静态字段是原语或字符串文字（或可以静态评估导致其中之一的表达式）时，它被认为是编译 -时间常数。基本上，设置这样的值不需要“计算”，例如调用构造函数或评估可能尚未初始化的其他字段。尽管字符串不是基元，但它们在编译时受到特殊处理，以使代码中的字符串文字成为可能。

这意味着一旦类被加载并准备好初始化，就可以分配这些字段。尽管我不知道与此相关的规范细节，但反射实验表明这肯定会发生。

Java 语言规范的以下部分与理解此行为相关：

• 初始化期间使用字段的限制。反射可以让您比它们按源代码顺序出现“更快”地到达这些字段。如果您尝试直接在字段声明之前出现的静态块中使用它们，您会收到有关来自编译器的非法前向引用的错误。
• 类和接口的初始化。
• 常量表达式的构成。
• 最终变量。本节的最后一段非常相关，并且隐含的含义比其含糊之处要多。

Answer 2

在类 A 中，您必须在调用静态函数之前声明静态字段。

public static final C field1 = new C("key1", "value1");

public static final C field2 = new C("key2", "value2");

static {
    B.load(A.class);
}

Java 教程对此进行了解释：

一个类可以有任意数量的静态初始化块，它们可以出现在类主体中的任何位置。运行时系统保证静态初始化块按照它们在源代码中出现的顺序被调用。