Java对象创建过程-成员初始化顺序

前几天开始重读《Java编程思想(第3版)》，对Java对象的创建过程、成员初始化顺序（尤其是涉及到组合和继承的情况下）作一下梳理总结。
书中第4章初始化与清理中对Java对象的创建过程总结如下：
假设有个名为Dog的类
[list=1]
[*]当首次创建型为Dog的对象时（构造器可以看成静态方法），或者Dog类的静态方法/静态域首次被访问时，Java解释器必须查找类路径，以定位Dog.class文件。
[*]然后载入Dog.class（这将创建一个Class对象），有关静态初始化的动作都会执行。因此，静态初始化只在Class对象首次加载的时候进行一次。
[*]当你用new Dog()创建对象的时候，首先将在堆上为Dog对象分配足够的存储空间。
[*]这块存储空间会被清零，这就自动地将Dog中的所有基本类型数据设置成了默认值（对数字来说就是0，对布尔型和字符型也相同），而引用则被置成了null。
[*]执行所有出现于域定义处的初始化动作。
[*]执行构造器。
[/list]没有涉及到继承的时候，这个过程描述已经很清晰了，那么如果涉及到继承呢，看下面一段示例代码：

// Mouse4j.java
package com.mouse4j.simpletest;
// 静态字段类
class StaticField {
	private String s;
	StaticField(String s) {
		this.s = s;
		System.out.println("I am static field " + s);
	} 
}
// 与静态字段相对的普通字段
class NormalField {
	private String s;
	NormalField(String s) {
		this.s= s;
		System.out.println("I am mormal field " + s);
	}
}
// 特点类
class Characteristic {
	private String s;
	Characteristic(String s) {
		this.s = s;
		System.out.println("Creating Characteristic " + s);
	} 
}
// 描述类
class Description {
	// 注释1：在此例中如果用于组合的类中也包含static字段
	// public static StaticField dStr = new StaticField("Description");

	// 注释2：在此例中如果用于组合的类中也包含在域定义处初始化
	// private NormalField dStr1 = new NormalField("Description");
	private String s;
	Description(String s) {
		this.s = s;
		System.out.println("Creating Description " + s);
	} 
}
class Animal {
	public static StaticField AnimalStr = new StaticField("Animal");
	private Characteristic c = new Characteristic("Animal Characteristic");
	private Description d = new Description("Animal Description");
	Animal() {
		System.out.println("Animal()");
	}
}
class Mouse extends Animal{
	public static StaticField MouseStr = new StaticField("Mouse");
	private Characteristic c = new Characteristic("Mouse Characteristic");
	private Description d = new Description("Mouse Description");
	Mouse() {
		System.out.println("Mouse()");
	}
}
public class Mouse4j extends Mouse{
	public static StaticField Mouse4jStr = new StaticField("Mouse4j");
	private Characteristic c = new Characteristic("Mouse4j Characteristic");
	private Description d = new Description("Mouse4j Description");
	Mouse4j() {
		System.out.println("Mouse4j()");
	}

	public static void main(String[] args) {
		new Mouse4j();
	}

}

程序执行输出如下：
[quote="Console"]I am static field Animal
I am static field Mouse
I am static field Mouse4j
Creating Characteristic Animal Characteristic
Creating Description Animal Description
Animal()
Creating Characteristic Mouse Characteristic
Creating Description Mouse Description
Mouse()
Creating Characteristic Mouse4j Characteristic
Creating Description Mouse4j Description
Mouse4j()
[/quote]
从程序输出可以看出：
[list=1]
[*]当首次创建型为Mouse4j的对象时，Java解释器查找类路径，定位Mouse4j.class文件。
[*]Java解释器会根据Mouse4j.class定位其基类Mouse.class、再根据Mouse.class定位到基类Animal.class文件，有关静态初始化的动作从基类到子类依次执行。
[*]当你用new Mouse4j()创建对象的时候，首先将在堆上为Mouse4j对象（包括其基类Mouse和Animal中的域）分配足够的存储空间。
[*]这块存储空间会被清零，这就自动地将Mouse4j中的所有基本类型数据（包括其基类Mouse和Animal中的）设置成了默认值（对数字来说就是0，对布尔型和字符型也相同），而引用（包括其基类Mouse和Animal中的）则被置成了null。
[*]执行基类Animal中所有出现于域定义处的初始化动作。
[*]执行基类Animal构造器。
[*]执行基类Mouse中所有出现于域定义处的初始化动作。
[*]执行基类Mouse构造器。
[*]执行子类Mouse4j中所有出现于域定义处的初始化动作。
[*]执行子类Mouse4j构造器。
[/list]第5~10步过程总结如下：
在为所创建对象的存储空间清零后,找到继承链中最上层的基类,执行a、b两步：
a.执行其出现在域定义处的初始化动作
b.然后再执行其构造器
然后从基类到子类依次执行这两步操作。

到这里，涉及到继承Java对象创建过程和成员初始化顺序就理清楚了~（《编程思想》中关于这一点的描述让我有点晕~还是用程序实践一下思路会比较清晰）
再看组合的情况，将程序代码中的注释1和注释2去掉，考虑用于组合的类Description中也包含static字段和在域定义处初始化的情况，程序执行结果如下：
[quote="Console"]I am static field Animal
I am static field Mouse
I am static field Mouse4j
Creating Characteristic Animal Characteristic
I am static field Description
I am mormal field Description
Creating Description Animal Description
Animal()
Creating Characteristic Mouse Characteristic
I am mormal field Description
Creating Description Mouse Description
Mouse()
Creating Characteristic Mouse4j Characteristic
I am mormal field Description
Creating Description Mouse4j Description
Mouse4j()
[/quote]
可见Description对象的创建过程与成员初始化顺序与本文开头的Dog对象的例子一致。(The End)