| |
现在，让我们仍然返回乐器（instrument）示例。由于存在多形性，所以可根据自己的需要向系统里加入任意多的新类型，同时毋需更改true()方法。在一个设计良好的oop程序中，我们的大多数或者所有方法都会遵从tune()的模型，而且只与基础类接口通信。我们说这样的程序具有“扩展性”，因为可以从通用的基础类继承新的数据类型，从而新添一些功能。如果是为了适应新类的要求，那么对基础类接口进行操纵的方法根本不需要改变，/>
对于乐器例子，假设我们在基础类加入更多的方法，以及一系列新类，那么会出现什么情况呢？下面是示意图：
所有这些新类都能与老类——tune()默契地工作，毋需对tune()作任何调整。即使tune()位于一个独立的文件里，而将新方法添加到instrument的接口，tune()也能正确地工作，不需要重新编译。下面这个程序是对上述示意图的具体实现：
//: music3.java
// an extensible program
import java.util.*;
class instrument3 {
public void play() {
system.out.println("instrument3.play()");
}
public string what() {
return "instrument3";
}
public void adjust() {}
}
class wind3 extends instrument3 {
public void play() {
system.out.println("wind3.play()");
}
public string what() { return "wind3"; }
public void adjust() {}
}
class percussion3 extends instrument3 {
public void play() {
system.out.println("percussion3.play()");
}
public string what() { return "percussion3"; }
public void adjust() {}
}
class stringed3 extends instrument3 {
public void play() {
system.out.println("stringed3.play()");
}
public string what() { return "stringed3"; }
public void adjust() {}
}
class brass3 extends wind3 {
public void play() {
system.out.println("brass3.play()");
}
public void adjust() {
system.out.println("brass3.adjust()");
}
}
class woodwind3 extends wind3 {
public void play() {
system.out.println("woodwind3.play()");
}
public string what() { return "woodwind3"; }
}
public class music3 {
// doesn't care about type, so new types
// added to the system still work right:
static void tune(instrument3 i) {
// ...
i.play();
}
static void tuneall(instrument3[] e) {
for(int i = 0; i < e.length; i++)
tune(e[i]);
}
public static void main(string[] args) {
instrument3[] orchestra = new instrument3[5];
int i = 0;
// upcasting during addition to the array:
orchestra[i++] = new wind3();
orchestra[i++] = new percussion3();
orchestra[i++] = new stringed3();
orchestra[i++] = new brass3();
orchestra[i++] = new woodwind3();
tuneall(orchestra);
}
} ///:~
新方法是what()和adjust()。前者返回一个string句柄，同时返回对那个类的说明；后者使我们能对每种乐器进行调整。
在main()中，当我们将某样东西置入instrument3数组时，就会自动上溯造型到instrument3。
可以看到，在围绕tune()方法的其他所有代码都发生变化的同时，tune()方法却丝毫不受它们的影响，依然故我地正常工作。这正是利用多形性希望达到的目标。我们对代码进行修改后，不会对程序中不应受到影响的部分造成影响。此外，我们认为多形性是一种至关重要的技术，它允许程序员“将发生改变的东西同没有发生改变的东西区分开”。
|
|
