谜题72 ：终极危

本谜题旨在检验当你试图隐藏一个 final 域时将要发生的事情。下面的程序将做些什么呢？

class Jeopardy {
public static final String PRIZE = "$64,000";
}
public class DoubleJeopardy extends Jeopardy {
public static final String PRIZE = "2 cents";
public static void main(String[ ] args) {
System.out.println(DoubleJeopardy.PRIZE);
}
}

　　

因为在 Jeopardy 中的 PRIZE 域被声明为是 public 和 final 的，你可能会认为
Java 语言将阻止你在子类中重用该域名。毕竟，final 类型的方法不能被覆写或
隐藏。如果你尝试着运行该程序，就会发现它可以毫无问题地通过编译，并且将
打印 2 cents。出什么错了呢？
可以证明，final 修饰符对方法和域而言，意味着某些完全不同的事情。对于方
法，final 意味着该方法不能被覆写（对实例方法而言）或者隐藏（对静态方法
而言）[JLS 8.4.3.3]。对于域，final 意味着该域不能被赋值超过一次[JLS
8.3.1.2]。关键字相同，但是其行为却完全不相关。
在该程序中，final 域 DoubleJeopardy.PRIZE 隐藏了 final 域 Jeopardy.PRIZE，
其净损失达到了$63,999.98。尽管我们可以隐藏一个域，但是通常这都是一个不
好的念头。就像我们在谜题 66 中所讨论的，隐藏域可能会违反包容性，并且会
混淆我们对类型与其成员之间的关系所产生的直觉。
如果你想保证在 Jeopardy 类中的奖金可以保留到子类中，那么你应该用一个
final 方法来代替 final 域：

class Jeopardy {
private static final String PRIZE = "$64,000";
public static final String prize() {
return PRIZE;
}
}

对语言设计者来说，其教训是应该避免在不相关的概念之间重用关键字。一个关
键字应该只在密切相关的概念之间重用，这样可以帮助程序员构建关于易混淆的
语言特性之间的关系的印象。在 Java 的 final 关键字这一案例中，重用就导致
了混乱。应该注意的是，作为一种有年头的语言来说，在无关的概念之间重用关
键字是它的一种自然趋势，这样做可以避免引入新的关键字，而引入新的关键字
会对语言的稳定性造成极大的损害。当语言设计者在考虑该怎么做时，总是在两
害相权取其轻。
总之，要避免在无关的变量或无关的概念之间重用名字。对无关的概念使用有区
别的名字有助于让读者和程序员区分这些概念。