潜在的威胁——构造器内的多态方法行为

如果在一个构造器的内部调用正在构造的对象的某个动作绑定方法，那会发生什么情况呢？

在一般的方法内部，动态绑定的调用是在运行时才决定的，因为对象无法知道它是属于方

法所在的那个类，还是属于那个类的导出类。如果要调用构造器内部的一个动态方法，就

要用到那个方法的被覆盖后的定义。然而，这个调用的效果可能相当难于预料，因为被覆

盖的方法在对象被完全构造之前就会被调用。这可能会造成一些难于发现的隐藏错误。

从概念上讲，构造器的工作实际上是创建以象。在任何构造器内部，整个对象可能只是部分形成——

我们只知道基类对象已经进行初始化。如果构造器只是在构建对象过程中的一个步骤，并

且该对象所属的类是从这个构造器所属的类导出的，那么导出部分在当前构造器正在被调

用的时刻仍旧没有被初始化的。然而，一个动态绑定的方法调用却会向外深入到继承层次

结构内部，它可以调用导出类里的方法。如果我们是在构造器内部这样做，那么就可能会调用某个方法，

而这个方法所操纵的成员可能还未进行初始化。

 通过下面例子，我们会看到问题所在

输出为：

Glyph.draw()方法设计为将要被覆盖，这种覆盖是在RoundGlyph中发生的。但是Glyph构造器会调用

这个方法，结果导致了对RoundGlyph.draw()的调用，这看起来似乎是我们的目的。但是如果看到

输出结果，我们会发现当Glyph的构造器调用draw()方法时，radius不是默认初始值1，而是0。这

可能导致在屏幕上只画了一个点，或者根本什么东西都没有。我们可很疑惑，并试图找出程序无

法运转的原因所在。

（完）

本文为个人总结。摘于《Think in java》一书。详细可参考《Think in Java Fourth Edition》第301页。

转载经本文作者同意后，方可转载。