Question

现在让我们用不同的眼光来看看本章的头一个例子。在下面这个程序中，方法 play() 的接口会在被覆盖的过程中发生变化。这意味着我们实际并没有“覆盖”方法，而是使其“过载”。编译器允许我们对方法进行过载处理，使其不报告出错。但这种行为可能并不是我们所希望的。下面是这个例子：

//: WindError.java 
// Accidentally changing the interface

class NoteX {
  public static final int
    MIDDLE_C = 0, C_SHARP = 1, C_FLAT = 2;
}

class InstrumentX {
  public void play(int NoteX) {
    System.out.println("InstrumentX.play()");
  }
}

class WindX extends InstrumentX {
  // OOPS! Changes the method interface:
  public void play(NoteX n) {
    System.out.println("WindX.play(NoteX n)");
  }
}

public class WindError {
  public static void tune(InstrumentX i) {
    // ...
    i.play(NoteX.MIDDLE_C);
  }
  public static void main(String[] args) {
    WindX flute = new WindX();
    tune(flute); // Not the desired behavior!
  }
} ///:~

这里还向大家引入了另一个易于混淆的概念。在 InstrumentX 中，play() 方法采用了一个 int（整数）数值，它的标识符是 NoteX。也就是说，即使 NoteX 是一个类名，也可以把它作为一个标识符使用，编译器不会报告出错。但在 WindX 中，play() 采用一个 NoteX 句柄，它有一个标识符 n。即便我们使用“play(NoteX NoteX)”，编译器也不会报告错误。这样一来，看起来就象是程序员有意覆盖 play() 的功能，但对方法的类型定义却稍微有些不确切。然而，编译器此时假定的是程序员有意进行“过载”，而非“覆盖”。请仔细体会这两个术语的区别。“过载”是指同一样东西在不同的地方具有多种含义；而“覆盖”是指它随时随地都只有一种含义，只是原先的含义完全被后来的含义取代了。请注意如果遵守标准的 Java 命名规范，自变量标识符就应该是 noteX，这样可把它与类名区分开。

在 tune 中，“InstrumentX i”会发出 play() 消息，同时将某个 NoteX 成员作为自变量使用（MIDDLE_C）。由于 NoteX 包含了 int 定义，过载的 play() 方法的 int 版本会得到调用。同时由于它尚未被“覆盖”，所以会使用基础类版本。

输出是：

InstrumentX.play()