对类的使用方式分为:主动使用、被动使用
所有的java虚拟机实现必须在每个类或接口被java程序“首次主动使用”时才初始化他们
ps:被动使用不会初始化类,但是有可能会加载类(JVM规范里没有说明)
并且,如果在加载的过程中,遇到了.class文件的缺失或者存在错误,类加载器只会在首次主动使用它们时才会报错,如果一直没有主动使用,则不会报错
主动使用:
创建类的实例、访问某个类或者接口的非final类型的静态变量/对该静态变量赋值、调用类的静态方法、反射、初始化一个类的子类、jvm启动时被标明为启动类的类(如Java Test、main方法所在的类)、jdk1.7开始提供动态语言的支持相关(很少使用)
ps:
初始化一个类的子类这条规则,不适用于接口,即:初始化一个类的子类,会先初始化它的父类,但是不一定会初始化它的接口。只有当首次使用该接口的静态变量时,才会初始化。
被动使用:
除了主动使用的其他使用方式
(1)通过子类引用父类的静态字段,为子类的被动使用,不会导致子类初始化
1 class Dfather{
2 static int count = 1;
3 static{
4 System.out.println("Initialize class Dfather");
5 }
6 }
7
8 class Dson extends Dfather{
9 static{
10 System.out.println("Initialize class Dson");
11 }
12 }
13
14 public class Test4 {
15 public static void main(String[] args) {
16 int x = Dson.count;
17 }
18 }
上面这个例子中,虽然是以Dson.count 形式调用的,但是因为count是Dfather的静态成员变量,所以只初始化Dfather类,而不初始化Dson类
(2)通过数组定义类引用类,为类的被动使用,不会触发此类的初始化
原因:其实数组已经不是E类型了,E的数组jvm在运行期,会动态生成一个新的类型,新类型为:
如果是一维数组,则为:[L+元素的类全名;二维数组,则为[[L+元素的类全名
如果是基础类型(int/float等),则为[I(int类型)、[F(float类型)等
1 class E{
2 static{
3 System.out.println("Initialize class E");
4 }
5 }
6
7 public class Test5 {
8 public static void main(String[] args) {
9 E[] e = new E[10];
10 }
11 }
(3)常量在编译阶段会存入调用方法所在的类的常量池中(这个例子存在F类的常量池中),本质上没有直接引用到定义常量的类,因此不会触发定义常量的类的初始化
在本例子中,编译好了Test6后,类Test6和类F就完全没有关系了,甚至,你可以把类F的class文件删掉,也不影响程序的正常执行
1 class F{
2 static final int count = 1;
3 static{
4 System.out.println("Initialize class F");
5 }
6 }
7
8 public class Test6 {
9 public static void main(String[] args) {
10 int x = F.count;
11 }
12 }
如上例中,F类中定义的count是final对象,其在编译阶段就会存入调用类的常量池中
但是,如果把代码改成
1 class F{
2 static final String s = UUID.randomUUID().toString();
3 static{
4 System.out.println("Initialize class F");
5 }
6 }
7
8 public class Test6 {
9 public static void main(String[] args) {
10 String x = F.s;
11 }
12 }
则语句 "Initialize class F" 会打印出来,因为UUID.randomUUID().toString()这个方法,是运行期确认的,所以,这不是被动使用