重新组织数据之十四 ：Replace Type Code with Subclasses（以子类取代型别码）

你有一个不可变的（immutable）type code ，它会影响class 的行为。

以一个subclass 取代这个type code。

动机（Motivation）

如果你面对的type code 不会影响宿主类的行为，你可以使用Replace Type Code with Class 来处理它们。但如果type code 会影响宿主类的行为，那么最好的办法就是借助多态（polymorphism ）来处理变化行为。

一般来说，这种情况的标志就是像switch 这样的条件式。这种条件式可能有两种表现形式：switch 语句或者if-then-else 结构。不论哪种形式，它们都是检查type code 值，并根据不同的值执行不同的动作。这种情况下你应该以Replace Conditional with Polymorphism 进行重构。但为了能够顺利进行那样的重构，首先应该将type code 替换为可拥有多态行为的继承体系。这样的一个继承体系应该以type code 的宿主类为base class，并针对每一种type code 各建立一个subclass 。

为建立这样的继承体系，最简单的办法就是Replace Type Code with Subclasses：以type code 的宿主类为base class，针对每种type code 建立相应的subclass 。 但是以下两种情况你不能那么做：(1) type code 值在对象创建之后发生了改变；(2)  由于某些原因，type code 宿主类已经有了subclass 。如果你恰好面临这两种情况之一，就需要使用Replace Type Code with State/Strategy 。

Replace Type Code with Subclasses 的主要作用其实是搭建一个舞台，让Replace Conditional with Polymorphism 得以一展身手。如果宿主类中并没有出现条件式，那么 Replace Type Code with Class 更合适，风险也比较低。使用Replace Type Code with Subclasses 的另一个原因就是，宿主类中出现 了「只与具备特定type code 之对象相关」的特性。完成本项重构之后，你可以使用 Push Down Method 和 Push Down Field 将这些特性推到合适的subclass去，以彰显它们「只与特定情况相关」这一事实。

Replace Type Code with Subclasses 的好处在于：它把「对不同行为的了解」从class 用户那儿转移到了class 自身。如果需要再加入新的行为变化，我只需添加subclass 一个就行了。如果没有多态机制，我就必须找到所有条件式，并逐一修改它们。因此，如果未来还有可能加入新行为，这项重构将特别有价值。

作法（Mechanics）

·	使用Self-encapsulate Field 将type code 自我封装起来。

Ø	如果type code 被传递给构造函数，你就需要将构造函数换成factory method。

·	为type code 的每一个数值建立一个相应的subclass 。在每个subclass 中覆写（override）type code的取值函数（getter），使其返回相应的type code 值。

Ø	这个值被硬编码于return 中（例如：return 1）。这看起来很骯脏， 但只是权宜之计。当所有case 子句都被替换后，问题就解决了。

·	每建立一个新的subclass ，编译并测试。

·	从superclass 中删掉保存type code 的值域。将type code 访问函数（accessors）声明为抽象函数（abstract method）。

·

编译，测试。

范例（Example）

为简单起见，我还是使用那个恼人又不切实际的「雇员/薪资」例。我们以Employee 表示「雇员」：

class Employee...

   private int _type;

   static final int ENGINEER = 0;

   static final int SALESMAN = 1;

   static final int MANAGER = 2;

   Employee (int type) {

       _type = type;

   }

第一步是以Self-encapsulate Field 将type code 自我封装起来：

     int getType() {

       return _type;

   }

由于Employee 构造函数接受type code 作为一个参数，所以我必须将它替换为一个factory method：

   static Employee create(int type) {

       return new Employee(type);

   }

   private Employee (int type) {

       _type = type;

   }

现在，我可以先建立一个subclassEngineer「表示「工程师」。首先我建立这个subclass，并在其中覆写type code 取值函数：

class Engineer extends Employee {

   int getType() {

       return Employee.ENGINEER;

   }

}

同时我该修改factory method ，令它返回一个合适的对象：

class Employee

   static Employee create(int type) {

       if (type == ENGINEER) return new Engineer();

       else return new Employee(type);

   }

然后，我继续逐一地处理其他type code ，直到所有type code 都被替换成subclass 为止。此时我就可以移除Employee 中保存type code 的值域，并将getType() 声明为一个抽象函数。现在，factory method 看起来像这样：

   abstract int getType();

   static Employee create(int type) {

       switch (type) {

           case ENGINEER:

              return new Engineer();

           case SALESMAN:

              return new Salesman();

           case MANAGER:

              return new Manager();

           default:

              throw new IllegalArgumentException("Incorrect type code value");

       }

   }

当然，我总是避免使用switch 语句。但这里只有一处用到switch 语句，并且只用于决定创建何种对象，这样的switch 语句是可以接受的。

很自然地，在建立了这些subclass 之后，你就应该使用 Push Down Method 和 Push Down Field，将「只与特定种类的雇员相关」的函数和值域推到相关的subclass 去。