构造器内部的多态方法的行为

今天,看到《Thinking in Java》中文版中的P162构造器内部的多态方法的行为。中文版啊,前面的两段话我表示很无语。
原话如下:
如果要调用构造方法内部的一个动态绑定方法,就要用到那个方法的被覆盖后的定义。然而这个调用的效果可能相当难以预料,因此被覆盖的方法在对象被完全构造之前就会被调用。这可能会造成一些难于发现的隐藏错误。
从概念上讲,构造方法的工作实际上是创建对象。在任何构造方法内部,整个对象可能只是部分形成--我们知道基类已经进行初始化。如果构造方法只是在构建对象过程中的一个步骤,并该对象所属于的类是从构造方法所属的类导出的,那么导出部分在当前构造方法被调用的时刻仍旧是没有被初始化的。然而,一个动态绑定的方法调用却会向外深入到继承层次结构内部,它可以调用子类里的方法。如果我们是在构造方法内部这样做,那么就可能会调用某个方法,而这个方法所操纵的成员可能还未进行初始化。---这肯定会招致灾难。

代码如下:

class Glyph{
void draw(){
System.out.println("Glyph.draw()");
}

Glyph(){
System.out.println("Glyph() before draw()");
draw();
System.out.println("Glyph() after 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() before draw()
RoundGlyph.draw() radius = 0
Glyph() after draw()
RoundGlyph.RoundGlyph(), radius = 5

我的理解是:之所以这可能不是我们想要的结果,是因为我们没有真实认识到类的初始化的实际过程。
对于类的初始化过程,我原先的理解是:
1) 调用基类构造函数,初始化基类。
2)按声明顺序调用成员的初始化方法。
3)调用导出类构造器的主体。
而错误的原因正是在调用任何函数之前,在堆栈中已经为你new的对象类分配了存储空间并进行了初始化。
下面就是《Thinking in Java》对此问题的总结

初始化的实际过程是:
1.在其他任何事物发生之前,将分配给对象的存储空间初始化成二进制的零。
2.如前所述那样调用基类构造器,此时,调用被覆盖后的draw()方法(注意,要在调用RoundGlyph构造器之前调用),由于步骤1 的缘故,我们此时会发现radius的值为0。
3.按照声明的顺序调用成员的初始化方法。
4调用导出类的构造器主体。
这样做有一个优点,那就是所有东西都至少初始化为零(或者是某些特殊数据类型中与“零”等价的值)而不是仅仅留作垃圾。其中包括通过组合而嵌入一个类内部的对象引用,其值是null,如果忘记为该引用进行初始化,就会在运行时throw NULLPointException。
有一句话很经典:“用尽可能简单的方法使对象进入正常状态,如果可以的话,避免调用其他方法”。
在构造器内唯一能够安全调用的那些方法是基类的final方法。
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值