当通过派生类引用调用基类的静态方法时，哪些类被初始化？

Question

我认为只有Base类在调用Derive. f（）时才被初始化。当我们在Base中有一个（非编译时间常量）静态字段，而不是静态方法时，就会发生这种情况。我的疑问只是JLS对此不太清楚。

class Base {
    static void f() {}
}

class Derived extends Base {

}

Derived.f(); // called legally from some other class

根据JLS（见下文），似乎只有基类被初始化。但我是否正确阅读和理解JLS？

我还知道，在（非编译时间常量）静态字段的情况下，只有定义静态字段的类才被初始化（称为静态初始化器）：

class Base {
    static int x = 1;
}

class Derived extends Base {

}

//somewhere in some other class
int y = Derived.x;  // triggers only Base to be initialized

12.4.1. 发生初始化时（JLS）

类或接口类型T将在第一次出现以下任一情况之前立即初始化：

T是一个类，并且创建了T的一个实例。

T是一个类，调用由T声明的静态方法。

分配由T声明的静态字段。

使用由T声明的静态字段，该字段不是常量变量（§4.12.4）。

T是一个顶层类（§7.6），并执行一个词法嵌套在T（§8.1.3）中的断言语句（§14.10）。

对静态字段（§8.3.1.1）的引用只会导致实际声明它的类或接口的初始化，即使它可能通过子类、子接口或实现接口的类的名称来引用。但是JLS在这里并没有对静态方法进行同样的说明！

此外，12.4。类和接口的初始化清楚地表明：

在类初始化之前，必须初始化它的直接超类

JLS只对静态字段，而不是静态方法给出了这个规则的排除！

初始化基字段和派生字段似乎都有意义——如果f（）在其主体中使用任何静态字段，则使用派生字段。f（）将使用派生的静态字段（如果有的话），并可能使用从基继承的静态字段（如果派生的没有）-这对初始化两个类都有意义。

毕竟，简单测试表明只有基类被初始化：

class Base {
    static { System.out.println("Base init"); }

    static void f() {}
}

class Derived extends Base {
    static { System.out.println("Derived init"); }
}

public class Driver {
    public static void main(String[] args)  {
        Derived.f(); // Only "Base init" printed...
    }
}

Answer 1

也许混淆是关于成员变量，包括静态成员变量，如何在Java中工作。与方法不同，派生类中的成员变量不继承它们的超级类对应项；它们只是影子。因此，如果你有一个变量foo在Base和一个变量foo在派生中，那么如果你在Base中打印该变量，你将在Base<中获得版本/code>，如果从Derived打印，则在Derived中获取版本。

public class MyTest {

    public static void main(String[] args) {

        Base.f();
        Derived.f();
    }
}

class Base {
    static void f() {
        System.out.println("bar = " + bar);
    }

    protected static int bar = 1;
}

class Derived extends Base {
    static void f() {
        System.out.println("bar = " + bar);
    }

    private static int bar = 2;
}

给予：

bar = 1
bar = 2

因此，当您调用Base中的静态方法时，没有理由运行Derived中的初始化器，因为Base永远无法直接访问Derived中的变量。