深入JVM——类型的生命周期(二)

[size=medium]上篇文章已经说了类型生命周期中的装载及连接过程，下面将主要描述下初始化过程。

首先要搞清楚初始化和实例化之间的区别：实例化是根据指定类型，在堆中生成一个实例对象，而初始化则不是，它所作的处理主要是为类变量赋予初始值，这里所说的初始值是相对于连接准备阶段的默认值而言的。

注意类变量和对象变量的区别：类变量是指类的静态变量或静态块，初始化时会重新赋值，而对象变量是实例化一个对象后，该对象特有的变量值(这是我的理解。实例如下：[/size]

运行如下代码：

public class Test1 {

	public int noStaticNum = printStaticNum();

	public static  int staticNum = printStaticNum();

	static {
		System.out.println("执行静态块!");
	}

	public static int printStaticNum() {
		System.out.println("execute printStaticNum() method !");
		return 1;
	}

	public int printNoStaticNum() {
		System.out.println("execute printNoStaticNum() method !");
		return 1;
	}

	public static void main(String[] args) {

	}
}

[size=medium]得出结果：[color=darkred]execute printStaticNum() method !
执行静态块![/color]
从执行结果中得知，[color=darkblue]初始化时，staticNum和静态块会重新赋值，而noStaticNum则不会[/color]。

初始化必须发生在装载、连接以后，java虚拟机一般会在每个类或接口主动使用时才会对类型进行初始化。下面六中情形符合主动使用的要求：
[color=darkblue]1.当创建某个类的新实例时。注：包括创建的所有方式，如new、反射、克隆以及反序列化等
2.当调用某个类的静态方法时
3.当使用某个类或接口的静态字段，或对该静态非常量字段进行赋值时。注意：[b]用final修饰的静态字段除外，因为在编译阶段时，它就被替换成一个常量表达式[/b]
4.调用java API中的某些反射方法时，比如类Class中的方法或java.lang.reflect包中的方法
5.初始化某个类的子类时（某个类初始化时，要求它的超类已经被初始化了）
6.虚拟机启动时，包含有main方法的类[/color]

补充： 创建类的新实例的方式主要有四种：
[color=darkblue]1.明确使用new操作符
2.调用Class或Constructor对象的newInstance()方法
3.调用现有对象的clone()方法
4.通过java.io.ObjectInputStream类的getObject()方法反序列化[/color]

当使用某个类或接口的静态字段，或对该静态字段进行赋值时。注意：用final修饰的静态字段除外，因为在编译阶段时，它就被替换成一个常量表达式，不会作为类变量被保存到方法区中(具体可以写个类，编译成class文件，然后反编译即可看见结果)。具体分析见后面实例。
初始化某个类的子类时（某个类初始化时，要求它的超类已经被初始化了）。注意：该规则对应接口并不使用，只有在父接口所声明的非常量静态字段被使用时，它才会被初始化，而不是因为它的子类或子接口的初始化而被初始化。注意：虽[b]然不会被初始化，但是会被装载[/b]。示例说明[/size]：

/**
 * Dog的超类是个父类，而不是接口
 */
public class Animal {

	static String id = "Animal";    //类变量 ，注意不是对象变量

	static String s2 = Test.print();

}
/**
 * 子类,超类是Animal类
 *
 */
public class Dog extends Animal{

	static String dogId = "Dog";    //类变量

	static {
		System.out.println("Dog initialized !");
	}

}
/**
 * 测试类
 */
public class Test {

	public static void main(String[] args) {
	  String s = Dog.id;        //------------1
      //String s = Dog.dogId;       //-------------2
      System.out.println(s);
	}

	public static String  print() {
		System.out.println("execute Animal's print() method");
		return "void";
	}

	static {
		System.out.println("Test initialized !");
	}
}

[size=medium]运行，得出测试结果如下：
1. 当注掉代码1,使用代码2时，打印结果信息：
[color=darkred]Test initialized !
execute Animal's print() method
Dog initialized !
Dog[/color]

2. 当注调代码2,使用代码1时，打印结果信息：
[color=darkred]Test initialized !
execute Animal's print() method
Animal[/color]
分析：从测试结果1可以看出，当[color=darkblue]超类是类时，子类初始化时，父类也初始化，并且在子类之前初始化[/color][/size]。

实例二：

/**
 * Dog的超类是个接口，而不是类
 */
public interface Animal {

	static String id = "Animal";    //接口中的局部类型，默认为static final 

	static String s2 = Test.print();

}

/**
 * 子类,超类是Animal接口
 *
 */
public class Dog implements Animal{

	static String dogId = "Dog";    //类变量

	static {
		System.out.println("Dog initialized !");
	}

}

测[size=medium]试类Test.java内容不变，注掉代码段1，执行结果如下：
[color=darkred]Test initialized !
Dog initialized !
Dog[/color]
从测试结果看可以看出，Dog类初始化前，它的接口Animal并没有初始化，从而得出，超[color=darkblue]类是接口时，子类初始化时，超类并不一定会被初始化[/color]

实例三：[/size]

/**
 * Dog的超类是个接口，而不是类
 */
public class Animal {

	final static String id = "Animal";    //当类变量是static final 

	final static String s2 = Test.print();

}

[size=medium]测试类Test.java不变，注掉代码段2，执行结果如下：
[color=darkred]Test initialized !
Animal[/color]

分析： [color=darkblue]当局部字段为静态常量类型时，使用该字段时，是不对该类进行初始化的[/color]。

[b]卸载类型[/b]

JVM中类的生命周期和对象生命周期很相似。JVM创建并初始化对象，使程序能够使用创建好的对象。但是，但对象不再被使用时，则被JVM进行垃圾收集。类型也一样，但不在被使用时，也可被收集。
在类型生命周期过程中，类型被分为可触及的和不可触及的。可触及的类型还不可以被卸载收集，而不可触及的类则可以被卸载收集。
使用启动类装载器装载的类型永远是不可触及的，所以它们永远不会被卸载。一般可触及的类型都是被用户自定义装载器装载的，并且当前还在被使用的类型。
为什么要卸载并收集类型呢？上面描述过，类被装载后被存储到方法区，需占用一定的内存空间，如果不对用户自定义装载器装载的类进行收集，那么这样的类型将越来越多，最终会导致内存溢出等异常[/size]