类字面常量和静态代码执行顺序

时间:2022-09-09 14:59:26

今天看Java编程思想的时候对一个程序百思不得其解,完全弄明白花了不少功夫,弄明白后收获不少,这里还要感谢慕课网的一位讲师Qiujuer,非常感谢这位大神平时对我的耐心指导,这让我进步很快,这位大神每天在百忙之中还抽出大量的时间解答群员的各种疑惑,实在令人钦佩,这是他在慕课网的课程http://www.imooc.com/learn/741,质量很高,看了受益匪浅。这是大神的Github:https://github.com/qiujuer 神作颇多,值得关注。好了,其他话就不说了,先上代码:

package typeInfo;
import java.util.*;

class Initable {
static final int staticFinal = 47;
static final int staticFinal2 =
ClassInitialization.rand.nextInt(1000);
static {
System.out.println("Initializing Initable");
}
}

class Initable2 {
static int staticNonFinal = 147;
static {
System.out.println("Initializing Initable2");
}
}

class Initable3 {
static int staticNonFinal = 74;
static {
System.out.println("Initializing Initable3");
}
}

public class ClassInitialization {
public static Random rand = new Random(47);
public static void main(String[] args) throws Exception {
Class initable = Initable.class;
System.out.println("After creating Initable ref");
// Does not trigger initialization:
System.out.println(Initable.staticFinal);
// Does trigger initialization:
System.out.println(Initable.staticFinal2);
// Does trigger initialization:
System.out.println(Initable2.staticNonFinal);
Class initable3 = Class.forName("typeInfo.Initable3");
System.out.println("After creating Initable3 ref");
System.out.println(Initable3.staticNonFinal);
}
}

输出结果为:

/* Output:
After creating Initable ref
47
Initializing Initable
258
Initializing Initable2
147
Initializing Initable3
After creating Initable3 ref
74
*///:~

这里为什么输出常量Initable.staticFinal的时候不执行静态代码块,输出常量Initable.staticFinal2的之前就执行了静态代码块?为什么直接输出类的静态成员会先执行静态代码块再输出?疑惑重重,大神话费大量的时间才解决了我的全部疑惑。

final + static 并且这个变量一开始就初始化了,那么这个变量相当于常量。这个变量在编译时就被当作常量处理,并写入到常量池区域。这个时候去拿这个类的这个变量 就跟一个 类.class 是一个道理,“.class” 的时候是拿到这个类的相关类信息,而上面的情况 这个变量也同样被编译到了类信息中,所以这个变量永远不可改变。

由于在编译时就完成了 初始化,所以调用这个类的这个变量 就不需要经过任何的计算,因为这个变量永远不可变,是一个常量,也就不会导致触发static代码块。这里调用Initable.staticFinal之后也不会加载Initable类。因为不满足类的加载条件,加载条件和过程可以查看我之前的博客“java的各种加载和初始化的详细过程”;

之所以第二个变量 也是 final + static  修饰为什么会触发static代码块,是因为这个变量目前是不确定的,这个变量是变化的,在编译之初是没法确定其值的;只有等到第一次运行的时候进行相应初始化后才能完全确定,所以需要先加载类调用 static 方法。

如果final + static  修饰的变量只是算术运算或者简单的字符增加,如:

static final int i = 1+1;
static final int s = "s"+47;
如此调用i和是是不会触发静态代码块的。

如果final + static  修饰的变量引用是指向另一个类的常量(final + static  修饰的确定值变量)算术运算或者简单的字符增加,如:

static final int staticFinal2 = Test.i;

在Test类中public final static int i = 2;这样也不会触发静态代码块。


凡是final + static  修饰的变量引用指向的值是至少要需要加载另一个类后才能得到值的,都需要经过初始化,所以也会执行静态代码块。


类字面常量和静态代码执行顺序

调用 BB。或者 CC 都将导致 static 触发,而调用 AA 则不会。

所有的 final 修饰,代表了不可改变,但是这个不可改变指的是在第一次赋值之后不可改变。AA在写的时候就定义了值,所以直接当作常量处理。

BB 虽然也有赋值,但是这个赋值是一个随机数,随机数是需要经过运算后决定,所以在类信息中是没有值的,只有等类初始化后才会有值,而类初始化就会调用static方法。

CC 没有赋值,而java规定;任何static 的静态值如果加上了 final 修饰,那么他最迟在static方法中完成初始化;所以这里必须在 static 中对CC赋值,不然无法编译通过。

如果把上面BB的初始化改成public final static String BB = GG.BB;GG类如下

类字面常量和静态代码执行顺序

那么调用AA.BB都不会触发静态代码块


如果把GG.BB的初始化改成这样:

类字面常量和静态代码执行顺序

System.out.println("CALL AA::" + AA.AA);

System.out.println("CALL BB::" + AA.BB);

则GG和AA的静态代码块都会触发;输出结果为:

CALL AA:AA

GG:static

AA:static

CALL BB:77