Java中变量的初始化顺序

在写一个通用的报警模块时,遇到一个有意思的问题,在调用静态方法时,发现静态方法内部对静态变量引用时,居然抛出了npe,仿佛是因为这个静态变量的初始化在静态方法被调用时,还没有触发,从而导致这个问题,因此今天专门来学习下静态成员的初始化顺序,以及上面这个问题导致的原因

I. 初始化顺序

类的初始化顺序

静态变量, 静态代码快 -》 实例变量(属性,实例代码块,构造方法)

继承关系初始化顺序

父类静态成员,静态代码块 -》 子类静态成员,静态代码块 -》 父类实例变量(属性,实例代码块,构造方法)-》子类实例变量(属性,实例代码块,构造方法)

II. 静态变量初始化顺序

类初始化时,会优先初始化静态成员,那么一个类中有多个静态成员时,如何处理的?

下面是一个使用静态成员,静态代码块,静态方法的测试类,那么下面的输出应该是怎样的呢?

public class StaticTest {
static class A {
public A(int i) {
System.out.println("a init! " + i);
}
}
static class B {
public B(int i) {
System.out.println("b init! " + i);
}
}
private static A a1 = new A(1);
private static B b1;
private static int num;
private static B b2 = new B(2);
private static A a2 = genA(2);
static {
b1 = new B(1);
}
private static A genA(int i) {
System.out.println("gen A: " + i);
return new A(i);
}
private static B genB(int i) {
System.out.println("gen B: " + i);
return new B(i);
}
public static void doSome() {
System.out.println("static function doSome called! a3!=null : " + (a3 != null) + " | num > 0 : " + num);
}
private static A a3;
private static B b3;
static {
System.out.println("num : " + num);
num = 10;
a3 = genA(3);
b3 = genB(3);
}
public static void main(String[] args) {
doSome();
}
}

输出如下

a init! 1

b init! 2

gen A: 2

a init! 2

b init! 1

num : 0

gen A: 3

a init! 3

gen B: 3

b init! 3

static function doSome called! a3!=null : true | num > 0 : 10

从实际的输出结果来看:

初始化的顺序比较清晰了,压根就是根据初始化代码的先后顺序来的,

且在调用静态方法时,静态方法内部的静态成员已经被初始化

那么问题来了,如果在某个静态成员初始化的时候抛出了异常,会怎样?

那么稍稍改一下上面的代码,加一个主动抛异常的case

public class StaticTest {
static class A {
public A(int i) {
System.out.println("a init! " + i);
}
}
static class B {
public B(int i) {
System.out.println("b init! " + i);
}
}
private static A a1 = new A(1);
private static B b1;
private static int num;
private static B b2 = new B(2);
private static A a2 = genA(2);
static {
b1 = new B(1);
}
private static A genA(int i) {
System.out.println("gen A: " + i);
return new A(i);
}
private static B genB(int i) {
System.out.println("gen B: " + i);
return new B(i);
}
private static A aError = genError();
private static A genError() {
System.out.println("gen error!");
throw new RuntimeException();
// return new A(10);
}
public static void doSome() {
System.out.println("static function doSome called! a3!=null : " + (a3 != null) + " | num > 0 : " + num);
}
private static A a3;
private static B b3;
static {
System.out.println("num : " + num);
num = 10;
a3 = genA(3);
b3 = genB(3);
}
public static void main(String[] args) {
doSome();
}
}

此时输出:

a init! 1

b init! 2

gen A: 2

a init! 2

b init! 1

gen error!

Exception in thread "main" java.lang.ExceptionInInitializerError

Caused by: java.lang.RuntimeException

也就是说,初始化异常之后的代码将不会在继续执行

那么第二个问题来了,前面说到哪个问题是什么情况

最开始说到,在调用类的静态方法时,发现本该被初始化的静态成员,依然是null,从上面的分析来说,唯一的可能就是在成员变量初始化的过程中,出现了异常

那么,就有另一个问题了,初始化就报错了,这个类的静态方法还能被调用执行么(加入这个静态方法不依赖内部的静态成员)?

将前面的 genA()方法的private去掉,改成默认的访问范围,然后下面给出一个演示:

java 有初始值的对象做局部变量会有线程安全问题吗 java初始化变量是什么意思_java用一个方法对变量初始化

通过这个演示,也挺有意思的,第一次访问,会抛出一个初始化异常;但是再调用一次,结果发现居然正常执行了;但是调用public方法时,每次都是抛异常

导致这个问题的原因,还有待考究,但是前面这个问题的答案,估摸着和下面差不多了(但是不敢确定,有待大神指点)

理论上类初始化失败,应该就不允许被调用了

但是某些情况下,可以绕过这个限制

III. 成员变量的初始化

测试case也比较简单,把前面的代码中的static去掉即可, 输出

a init! 1

b init! 2

gen A: 2

a init! 2

b init! 1

num : 0

gen A: 3

a init! 3

gen B: 3

b init! 3

static function doSome called! a3!=null : true | num > 0 : 10

依然是根据初始化代码的先后顺序进行的

当然如果出现异常的情况,和前面的结果类似,不再赘述

IV. 小结

1. 初始化顺序

类的初始化顺序

静态变量, 静态代码快 -》 实例变量(属性,实例代码块,构造方法)

继承关系初始化顺序

父类静态成员,静态代码块 -》 子类静态成员,静态代码块 -》 父类实例变量(属性,实例代码块,构造方法)-》子类实例变量(属性,实例代码块,构造方法)

相同等级的初始化的先后顺序,是直接依赖代码中初始化的先后顺序

2. 初始化异常时

理论上,类初始化中抛出了异常,那么这个类将无法被classLoader正确的加载,因此也无法有效的使用这个类

但是不排除某些情况下,依然强行的使用了这个类(如上面gif图中的演示),这个原理还不太清晰,也有可能是idea的debug功能有什么黑科技?

注意

因此,请格外注意,在初始化代码中,请确保不会有抛出异常,如果无法把控,不妨新建一个init()方法来实现初始化各种状态,然后在代码中主动调用好了

V. 其他

声明

尽信书则不如,已上内容,纯属一家之言,因本人能力一般,见解不全,如有问题,欢迎批评指正