现在让我们仍然返回乐器(Instrument)示例由于存在多形性所以可根据自己的需要向系统里加入任意多的新类型同时毋需更改true()方法在一个设计良好的OOP程序中我们的大多数或者所有方法都会遵从tune()的模型而且只与基础类接口通信我们说这样的程序具有扩展性因为可以从通用的基础类继承新的数据类型从而新添一些功能如果是为了适应新类的要求那么对基础类接口进行操纵的方法根本不需要改变 对于乐器例子假设我们在基础类里加入更多的方法以及一系列新类那么会出现什么情况呢?下面是示意图 所有这些新类都能与老类——tune()默契地工作毋需对tune()作任何调整即使tune()位于一个独立的文件里而将新方法添加到Instrument的接口tune()也能正确地工作不需要重新编译下面这个程序是对上述示意图的具体实现 //: Musicjava // An extensible program import javautil*; class Instrument { public void play() { Systemoutprintln(Instrumentplay()); } public String what() { return Instrument; } public void adjust() {} } class Wind extends Instrument { public void play() { Systemoutprintln(Windplay()); } public String what() { return Wind; } public void adjust() {} } class Percussion extends Instrument { public void play() { Systemoutprintln(Percussionplay()); } public String what() { return Percussion; } public void adjust() {} } class Stringed extends Instrument { public void play() { Systemoutprintln(Stringedplay()); } public String what() { return Stringed; } public void adjust() {} } class Brass extends Wind { public void play() { Systemoutprintln(Brassplay()); } public void adjust() { Systemoutprintln(Brassadjust()); } } class Woodwind extends Wind { public void play() { Systemoutprintln(Woodwindplay()); } public String what() { return Woodwind; } } public class Music { // Doesnt care about type so new types // added to the system still work right: static void tune(Instrument i) { // iplay(); } static void tuneAll(Instrument[] e) { for(int i = ; 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()方法却丝毫不受它们的影响,依然故我地正常工作。这正是利用多形性希望达到的目标。我们对代码进行修改后,不会对程序中不应受到影响的部分造成影响。此外,我们认为多形性是一种至关重要的技术,它允许程序员“将发生改变的东西同没有发生改变的东西区分开”。 |