引入多态后构造器的调用顺序

前言

       基类的构造器总是在导出类的构造过程中被调用，而且按照继承层次逐渐向上链接，以使每个基类的构造器都能得到调用。这样做是有意义的，因为构造器具有一项特殊任务：检查对象是否被正确的构造。导出类只能访问它自己的成员，不能访问基类中的成员（基类成员通常是 private类型）。只有基类的构造器才具有恰当的知识和权限来对自己的元素进行初始化。因此，必须令所有构造器都得到调用，否则就不可能正确构造完整对象。这正是编译器为什么要强制每个导出类部分都必须调用构造器的原因。在导出类的构造器主体中，如果没有明确指定调用某个基类构造器，它就会“默默”地调用默认构造器。如果不存在默认构造器，编译器就会报错（若某个类没有构造器，编译器会自动合出一个默认构造器）。

示例源码

       让我们来看下面这个例子，它展示组合、继承以及多态在构建顺序上的作用：

package com.mufeng.theeighthchapter;

class Meal {
	public Meal() {
		// TODO Auto-generated constructor stub
		System.out.println("Meal()");
	}
}

class Bread {
	public Bread() {
		// TODO Auto-generated constructor stub
		System.out.println("Bread()");
	}
}

class Cheese {
	public Cheese() {
		// TODO Auto-generated constructor stub
		System.out.println("Cheese()");
	}
}

class Lettuce {
	public Lettuce() {
		// TODO Auto-generated constructor stub
		System.out.println("Lettuce()");
	}
}

class Lunch extends Meal {
	public Lunch() {
		// TODO Auto-generated constructor stub
		System.out.println("Lunch()");
	}
}

class PortableLunch extends Lunch {
	public PortableLunch() {
		// TODO Auto-generated constructor stub
		System.out.println("PortableLunch()");
	}
}

public class Sandwich extends PortableLunch {
	private Bread b = new Bread();
	private Cheese c = new Cheese();
	private Lettuce l = new Lettuce();

	public Sandwich() {
		// TODO Auto-generated constructor stub
		System.out.println("Sandwich()");
	}

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

结果输出

Meal()
Lunch()
PortableLunch()
Bread()
Cheese()
Lettuce()
Sandwich()

源码解析

       在这个例子中，用其它类创建了一个复杂的类，而且每个类都有一个声明它自己的构造器。其中最重要的类是 Sandwich，它反映了三层继承（若将自 Object的隐含继承也算在内，就是四层）以及三个成员对象。当在 main()里创建一个 Sandwich对象后，就可以看到输出结果。这也表明了这一复杂对象调用构造器要遵照下面的顺序：

• 调用基类构造器。这个步骤会不断地反复递归下去，首先是构造这种层次结构的根，然后是下一层导出类，等等，直到最底层的导出类。
• 按声明顺序调用成员的初始化方法。
• 调用导出类构造器的主体。

      构造器的调用顺序是很重要的。当进行继承时，我们已经知道基类的一切，并且可以访问基类中任何声明为 public和 protected的成员。这意味着在导出类中，必须假定基类的所有成员都是有效的。一种标准方法是，构造动作一经发生，那么对象所有部分的全体成员都会得到构建。然而，在构造器内部，我们必须确保所要使用的成员都已经构建完毕。为确保这一目的，唯一的办法就是首先调用基类的构造器。那么在进入导出类构造器时，在基类中可供我们访问的成员都已得到初始化。此外，知道构造器中的所有成员都有效也是因为，当成员对象在类内进行定义的时候（比如上例的 b、 c和 l），只要可能，就应该对它们进行初始化（也就是说，通过组合方法将对象置于类内）。若遵循这一规则，那么就能保证所有基类成员以及当前对象的成员对象都被初始化了。但遗憾的是，这种做法并不适用于所有情况，这一点我们会在下一节中看到。