谜题66 ：一件私事

在下面的程序中，子类的一个域具有与超类的一个域相同的名字。那么，这个程序会打印出
什么呢？

class Base {
public String className = "Base";
}
class Derived extends Base {
private String className = "Derived";
}
public class PrivateMatter {
public static void main(String[ ] args) {
System.out.println(new Derived().className);
}
}

对该程序的表面分析可能会认为它应该打印 Derived，因为这正是存储在每一个

Derived 实例的 className 域中的内容。

更深入一点的分析会认为 Derived 类不能编译，因为 Derived 中的 className
变量具有比 Base 中的 className 变量更具限制性的访问权限。
如果你尝试着编译该程序，就会发现这种分析也不正确。该程序确实不能编译，
但是错误却出在 PrivateMatter 中。
如果 className 是一个实例方法，而不是一个实例域，那么 Derived.className()
将覆写 Base.className()，而这样的程序是非法的。一个覆写方法的访问修饰
符所提供的访问权限与被覆写方法的访问修饰符所提供的访问权限相比，至少要
一样多[JLS 8.4.8.3]。
因为 className 是一个域，所以 Derived.className 隐藏（hide）了
Base.className，而不是覆盖了它[JLS 8.3]。对一个域来说，当它要隐藏另一
个域时，如果隐藏域的访问修饰符提供的访问权限比被隐藏域的少，尽管这么做
不可取的，但是它确实是合法的。事实上，对于隐藏域来说，如果它具有与被隐
藏域完全无关的类型，也是合法的：即使 Derived.className 是
GregorianCalendar 类型的，Derived 类也是合法的。
在我们的程序中的编译错误出现在 PrivateMatter 类试图访问
Derived.className 的时候。尽管 Base 有一个公共域 className，但是这个域没
有被继承到 Derived 类中，因为它被 Derived.className 隐藏了。在 Derived
类内部，域名 className 引用的是私有域 Derived.className。因为这个域被声
明为是 private 的，所以它对于 PrivateMatter 来说是不可访问的。因此，编译
器产生了类似下面这样的一条错误信息：

PrivateMatter.java:11: className has private access in Derived
System.out.println(new Derived().className);

请注意，尽管在 Derived 实例中的公共域 Base.className 被隐藏了，但是我们
还是可以通过将 Derived 实例转型为 Base 来访问到它。下面版本的
PrivateMatter 就可以打印出 Base：

public class PrivateMatter {
public static void main(String[] args) {
System.out.println(((Base)new Derived()).className);
}
}

这说明了覆写与隐藏之间的一个非常大的区别。一旦一个方法在子类中被覆写，
你就不能在子类的实例上调用它了（除了在子类内部，通过使用 super 关键字来
方法）。然而，你可以通过将子类实例转型为某个超类类型来访问到被隐藏的域，
在这个超类中该域未被隐藏。

如果你想让这个程序打印 Derived，也就是说，你想展示覆写行为，那么你可以
用公共方法来替代公共域。在任何情况下，这都是一个好主意，因为它提供了更
好的封装[EJ Item 19]。下面的程序版本就使用了这项技术，并且能够打印出我
们所期望的 Derived：

class Base {
public String getClassName() {
return "Base";
}
}
class Derived extends Base {
public String getClassName() {
return "Derived";
}
}
public class PrivateMatter {
public static void main(String[] args) {
System.out.println(new Derived().getClassName());
}
}

请注意，我们将 Derived 类中的 getClassName 方法声明成了 public 的，尽管在
最初的程序中与其相对应的域是私有的。就像前面提到的那样，覆写方法的访问
修饰符与它要覆写的方法的访问修饰符相比，所具有的限制性不能有任何降低。
本谜题的教训是隐藏通常都不是一个好主意。Java 语言允许你去隐藏变量、嵌
套类型，甚至是静态方法（就像在谜题 48 所展示的那样），但是你不能认为你
就应该去隐藏。隐藏的问题在于它将导致读者头脑的混乱。你正在使用一个被隐
藏实体，或者是正在使用一个执行了隐藏的实体吗？要避免这类混乱，只需避免
隐藏。
如果一个类要隐藏一个域，而用来隐藏该域的域具有的可访问性比被隐藏域更具
限制性，就像我们最初的程序那样，那么这就违反了包容性（subsumption）原
则，即大家所熟知的 Liskov 置换原则（Liskov Substitution Principle）
[Liskov87]。这项原则叙述道，你能够对基类所作的任何事，都同样能够作用于
其子类。包容性是面向对象编程的自然心理模型的一个不可分割的部分。无论何
时，只要违反了这项原则，就会对程序的理解造成困难。还有其它数种用另一个
域来隐藏某个域的方法也会违反包容性：例如，两个域具有不同的类型；一个域
是静态的而另一个域不是；一个域是 final 的而另一个域不是；一个域是常量而
另一个域不是；以及两个域都是常量但是它们具有不同的值。

对于语言设计者而言，应该考虑消除隐藏的可能性：例如，使所有的域都隐含地
是私有的。如果这样做显得过于严苛，那么至少应该考虑对隐藏进行限制，以使
其遵守包容性原则。
总之，当你在声明一个域、一个静态方法或一个嵌套类型时，如果其名字与基类
中相对应的某个可访问的域、方法或类型相同，就会发生隐藏。隐藏是容易产生
混乱的：违反包容性的隐藏域在某种意义上是特别有害的。更一般地讲，除了覆
写之外，要避免名字重用。

谜题66 ： 一件私事

谜题66 ：一件私事