有时候,可能会遇到带有两种甚至多种风格的实例的类,并包含表示实例风格的标签(tag)域,例如,考虑下面这个类,它能够表示圆形或者矩形:
// 标记类-远不如使用类层次结构 !
class Figure {
enum Shape {RECTANGLE, CIRCLE}
// 标记字段-该图的形状
final Shape shape;
// 仅当shape 是 RECTANGLE时,才使用这些字段
double length;
double width;
// 仅当shape 是 CIRCLE时,才使用这些字段
double radius;
// 圆形的构造器
Figure(double radius) {
shape = Shape.CIRCLE;
this.radius = radius;
}
// 矩形的构造器
Figure(double length, double width) {
shape = Shape.RECTANGLE;
this.length = length;
this.width = width;
}
double area() {
switch (shape) {
case RECTANGLE:
return length * width;
case CIRCLE:
return Math.PI = (radius * radius);
default:
throw new AssertionError();
}
}
}
这种标签类(tagged class)有着许多缺点。他们中充斥着样板代码,包括枚举声明,标签域以及条件语句。由于多个实现乱七八糟地挤在了单个类中,破坏了可读性。内存占用增加了,因为实例承担着属于其他风格的不相关的域。域不能做成是final的,除非构造器初始化了不相关的域,产生更多的样板代码。构造器必须不借助编译器,来设置标签域,并初始化正确的数据域:如果初始化了错误的域,程序就会在运行时失败。无法给标签类添加风格,除非可以修改它的源文件。如果一定要添加风格,就必须记得给每个条件语句都添加一个条件,否则类就会在运行时失败。最后,实例的数据类型没有提供任何关于其风格的线索,一句话,标签类过于冗长,容易出错,并且效率低下。
幸运的是,面向对象的语言例如Java,就提供了其他更好地方法来定义能表示多种风格对象的单个数据类型:子类型化(subtyping)。标记类只是对类层次的一种比较蹩脚的仿效。
为了将标签类转变成类层次,首先要为标签类中的每个方法都定义一个包含抽象方法的抽象类,这每个方法的行为都依赖于标签值。在Figure类中,只有一个这样的方法:area。这个抽象类时根层次的根(root)。如果还有其他的方法其行为不依赖于标签的值,就把这样的方法放在这个类中。同样地,如果所有的方法都用到了某些数据域,就应该把他们放在这个类中。在Figure类中,不存在这种类型独立的方法或者数据域。
接下来,为每种原始标签类都定义根类的具体子类。在前面的例子中,这样的类型有两个:圆形(circle)和矩形(rectangle)。在每个子类中都包含特定于该类型的数据域。在我们的示例中,radius是特定于圆形的,length和width是特定于矩形的。同时在每个子类中还包括针对对根类中每个抽象方法的相应实现。以下是与原始的Figure类相对应的类层次:
// 替代标记类的类层次结构
abstract class Figure {
abstract double area();
}
class Circle extends Figure {
final double radius;
Circle(double radius) { this.radius = radius; }
double area() { return Math.PI = (radius * radius); }
}
class Rectangle extends Figure {
final double length;
final double width;
Rectangle(double length, double width) {
this.length = length;
this.width = width;
}
double area() { return length = width; }
}
类层次的另一种好处在于,他们可以用来反映类型之间本质上的层次关系,有助于增强灵活性,并进行更好地编译时类型检查。假设上述例子中的标签类也允许表达正方形。类层次可以反映出正方形是一种特殊的矩形这一事实(假设两者丢失不可变的)
class Square extends Rectangle{
Square(double side){
super(side,side);
}
}
注意,上述层次中的域是被直接访问,而不是通过访问方法。这是为了简洁起见才这么做的,如果层次结构是公有(见第14条),则不允许这样做。
简而言之,标签类很少有适用的时候,当你想要编写一个包含显示标签域的类时,应该考虑一下,这个标签是否可以被取消,这个类是否可以用类层次来代替。当你遇到一个包含标签域的现有类时,就要考虑将他重构到一个层次结构中去。
所有文章无条件开放,顺手点个赞不为过吧!