Java 构造器内部的多态方法的行为
构造器的调用顺序
- 此文不考虑静态成员,因为这是与类的加载有关。
- 调用每个对象的构造函数之前,先按照声明顺序调用成员的初始化方法。(成员的初始化方法例如为下面的
private int radius = 1;
) - 考虑到继承,那么是先调用基类构造器,再调用导出类构造器。通过java的单根继承,一直从继承层次的根到达最底层的导出类。(原因:导出类只能访问自己的成员,不能访问基类的成员,只有基类的构造器才有恰当的知识和权限来对基类成员进行初始化。)
例子
此例来自Thinking in Java.4e。8.3.3节,构造器内部的多态方法的行为。
class Glyph {
Glyph(){
System.out.println("Glyph() before draw()");
draw();
System.out.println("Glyph() after draw()");
}
void draw() {
System.out.println("Glyph.draw()");
}
}
class RoundGlyph extends Glyph {
private int radius = 1;
RoundGlyph(int r) {
radius = r;
System.out.println("RoundGlyph.RoundGlyph().radius = " + radius);
}
void draw() {
System.out.println("RoundGlyph.draw().radius = " + radius);
}
}
public class PolyConstructors {
public static void main(String[] args) {
new RoundGlyph(5);
}
}
父类Glyph有非静态方法draw(), 子类RoundGlyph复写了draw()方法。且父类Glyph构造器中调用了draw()方法。
- 子类通过动态绑定(后期绑定),覆盖了父类中的同名非静态方法draw()方法,所以在调用子类构造器以前,draw方法已经被替换掉了。
- 在调用任何构造器以前,将分配给子类对象的存储空间初始化为二进制的零。
- 按照之前讲的构造器的顺序进行调用。此时,调用被覆盖的draw方法,由于上一步的原因,radius的值为0,因为还没执行到子类的成员的初始化方法。
- 接下来调用子类的成员初始化方法,再子类的构造器,所以第4行打印出成员radius为5.
所以,运行结果如下:
Glyph() before draw()
RoundGlyph.draw().radius = 0
Glyph() after draw()
RoundGlyph.RoundGlyph().radius = 5
总结
- 构造器内应避免调用非静态方法:当你想调用此方法的非覆盖版本时,却可能会被子类覆盖掉,导致错误发生。
- 构造器内也可以调用非静态方法:当你想调用此方法的覆盖版本时,例如,一个抽象类的构造器内在最后调用了一个非静态方法,而该方法为空实现或者该方法带abstract,那么子类继承抽象类以后,就应该实现该方法,然后好让抽象类构造器调用此方法的覆盖版本。
- 构造器内可以调用final或者private的非静态方法,此时必然调用的是此方法的非覆盖版本。因为带final或者private的方法不能被子类覆盖。