谜题69 : 黑色的渐隐

假设你不能修改前一个谜题(谜题 68)中的 X 和 C 这两个类。你能否编写一个类,其 main
方法将读取 X.Y 类中的 Z 域的值,然后打印它。注意,不能使用反射。
本谜题初看起来是不可能实现的。毕竟,X.Y 类被具有相同名字的一个域给遮掩
了,因此对其命名的尝试将引用到该域上。
事实上,我们是可以引用到一个被遮掩的类型名的,其技巧就是在某一种特殊的
语法上下文环境中使用该名字,在该语法上下文环境中允许出现一个类型但是不
允许出现一个变量。在转型表达式的括号中间的部分就是这样一种上下文环境。
下面的程序通过使用这种技术解决了这个谜题,并且将打印出我们所期望的
Black:

public class FadeToBlack {
public static void main(String[] args){
System.out.println(((X.Y)null).Z);
}
}

  


请注意,我们是用一个具有 X.Y 类型的表达式来访问 X.Y 类的 Z 域的。就像我们
在谜题 48 和 54 中所看到的,用一个表达式而不是类型名来访问一个静态成员是
合法的,但却是一种有问题的用法。

不借助这种有问题的用法,而是通过在一个类声明的 extends 子句中使用一个被
遮掩的类这种方式,你也可以解决本谜题。因为基类总是一种类型,出现在
extends 子句中的名字从来都不会被解析为变量名。下面的程序就展示了这项技
术,它也会打印出 Black:

public class FadeToBlack {
static class Xy extends X.Y{ }
public static void main(String[ ] args){
System.out.println(Xy.Z);
}
}

  


如果你使用的 5.0 或更新的版本,那么通过在一个类型变量声明的 extends 子句
中使用 X.Y 这种方式,你也可以解决本谜题:

public class FadeToBlack {
public static <T extends X.Y> void main(String[] args){
System.out.println(T.Z);
}
}

  


总之,要解决由类型被变量遮掩而引发的问题,需要按照标准的命名习惯来重命
名类型和变量,就像在谜题 68 中所讨论的那样。如果做不到这一点,那么你应
该在只允许类型名的上下文环境中使用被遮掩的类型名。幸运的话,你将永远不
需要凭借这种对程序的变形来解决问题,因为大多数的类库作者都很明智,他们
都避免了必需使用这种变形的有问题的用法。然而,如果你确实发现自己身处这
种境地,那么你最好是要了解这个问题需要解决。

猜你喜欢

转载自www.cnblogs.com/yuyu666/p/9841014.html
69
69A