第9条:以“类族模式”隐藏实现细节

　　

　　本条要点：（作者总结）

• 类族模式可以把实现细节隐藏在一套简单的公共接口后面。
• 系统框架中经常使用 类族。
• 从类族的公共抽象基类中继承子类时要当心，若有开发文档，则应首先阅读。

 

　　“类族”（class cluster）(类簇)是一种很有用的模式（pattern），可以隐藏 “抽象基类”（abstract base class）

 背后的实现细节。Objective-C 的系统框架中普遍使用此模式。比如，iOS 的用户界面框架（user interface framework）UIKit 中就有一个名为 UIButton 类。想创建按钮，需要调用下面这个 “类方法”（class method）(类别方法)：

+ (instancetype)buttonWithType:(UIButtonType)buttonType;

　　该方法返回的对象，其类型取决于传入的按钮类型（button  type）。然而，不管返回什么类型的对象，他们都继承自同一个基类：UIButotn。这么做的意义在于: UIButotn 类的使用者无须关心创建出来的按钮具体属于哪个子类，也不用考虑按钮的绘制方式等实现细节。使用者只需明白如何创建按钮，如何设置像 “标题”（title）这样的属性，如何增加触摸动作的目标对象等问题就好。

　　回到开头说的问题上，我们可以把各种按钮的绘制逻辑都放在一个类里，并根据按钮类型来切换：

- (void)drawRect:(CGRect)rect {
    // Drawing code
    if (_type = TypeA) {
        // Draw TypeA button
    } else if (_type == TypeB) {
        // Draw TypeB button
    }
}

　　这样写现在看上去还算简单，然而，若是需要依按钮类型来切换的绘制方法有许多种，那么就会变得很麻烦了。优秀的程序员会将这种代码重构为多个子类，把各种按钮所用的绘制方法放到相关子类中去。不过，这么做需要用户知道各种子类才行。此时应该使用 “类族模式”，该模式可以灵活应对多个类，将它们的实现细节隐藏在抽象基类后面，以保持接口简洁。用户无须自己创建子类实例，只需调用基类方法来创建即可。

　创建类族

　　现在举例来演示如何创建类族。假设有一个处理雇员的类，每个雇员都有“名字” 和 “薪水”这两个属性，管理者可以命令其执行日常工作。但是，各种雇员的工作内容却不同。经理带领雇员做项目时，无须关心每个人如何完成其工作，仅需要指示其开工即可。

　　首先要定义抽象基类:

typedef NS_ENUM(NSUInteger, EOCEmployeeType) {
    EOCEmployeeTypeDeveloper,
    EOCEmployeeTypeDesigner,
    EOCEmployeeTypeFinance
};

@interface EOCEmployee : NSObject

@property (copy) NSString *name;
@property NSUInteger salary;

// Helper for creating Employee objects
+ (EOCEmployee *)employeeWithType:(EOCEmployeeType)type;

// Make Employees do their respective day's work
- (void)doADayWork;

@end


+ (EOCEmployee *)employeeWithType:(EOCEmployeeType)type {
    switch (type) {
        case EOCEmployeeTypeDeveloper:
            return [EOCEmployeeDeveloper new];
            break;
            case EOCEmployeeTypeDesigner:
            return [EOCEmployeeTypeDesigner new];
            break;
            case EOCEmployeeTypeFinance:
            return [EOCEmployeeTypeFinance new];
            break;
    }
}

- (void)doADayWork {
    // Subclasses implement this
}

@end

　　每个“实体子类”（concrete subclass）(实体子类一词中的 “concrete” 与 “抽象基类”一词中的 “abstract” 相对，意思是 “非抽象的，可以实例化的”。该词也译为“具体”、“具象”。) 都从基类继承而来。例如:

@interface EOCEmployeeDeveloper : EOCEmployee
@end

@implementation EOCEmployeeDeveloper

- (void)doADayWork {
    [self writeCode];
}

@end

　　在本例中，基类实现了一个“类方法”，该方法根据待创建的雇员类别分配好对应的雇员类实例。这种“工厂模式”（Factory pattern）是创建类族的办法之一。

　　可惜 Objective-C 这门语言没办法指明某个基类是“抽象的”（abstract）。于是，开发者通常会在文档中写明类的用法。这种情况下，基类接口一般都没有名为 init 的成员方法，这暗示该类的实例也许不应该由用户直接创建。还有一种办法可以确保用户不会使用基类实例，那就是在基类的 doADaysWork 方法中抛出异常。然而这种做法相当极端，很少有人用。

　　如果对象所属的类位于某个类族中，那么在查询其类型信息（introspection）(type introspection 的简称，是某些面向对象语言可以在运行期检视对象类型与属性的一种功能。中文译作“内省”或“类型内省”)时就要当心了。你可能觉得自己创建了某个类的实例，然而实际上创建的却是其子类的实例。在 Employee 这个例子中，[employee isMemberOfClass:[EOCEmployee class]] 似乎会返回 YES，但实际上返回的却是NO，因为 employee 并非 Employee 类的实例，而是其某个子类的实例。

　cocoa 里类族

　　系统框架中有许多类族。大部分 collection 类都是类族（作者有时把“类族中的抽象基类”（the abstract base class of a class cluster）直接称为“类族”。这句话实际上是说：大部分 collection 类都是某个类族中的抽象基类），例如 NSArray 与其可变版本 NSMutableArray。这样来看，实际上有两个抽象基类，一个用于不变数组，另一个用于可变数组。尽管具备公共接口的类有两个，但仍然可以合起来算作一个类族（在传统的类族模式中，通常只有一个类具备“公共接口”（public interface）,这个类就是类族中的抽象基类）。不可变的类定义了对所有数组都通用的方法，而可变的类型则定义了那些只适用于可变数组的方法。两个类共属同一类族，这意味着二者在实现各自类型的数组时可以共用实现代码，此外，还能够把可变数组复制为不可变数组，反之亦然。

　　在使用 NSArray 的 alloc 方法来获取实例时，该方法首先会分配一个属于某类的实例，此实例充当“占位数组”（placeholder array）。该数组稍后会转为另一个类的实例，而那个类则是 NSArray 的实体子类。这个过程稍显复杂，其完整的解释已经超出本书范围。

　　像 NSArray 这样的类的背后其实是个类族（对于大部分 collection 类而言都是这样），明白这一点很重要，否则就可能会写出下面这种代码：

    id maybeAnArray = /* ... */;
    if ([maybeAnArray class] == [NSArray class]) {
        // will never be hit
    }

　　你要是知道 NSArray 是个类族，那就会明白上述代码错在哪里：其中的 if 语句永远不可能为真。［maybeAnArray class］所返回的类绝不可能是 NSArray 类本身，因为由 NSArray 的初始化方法所返回的那个实例其类型是隐藏在类族公共接口（public facade）(又称为“外观”、“们面”)后面的某个内部类型（internal type）。

　　不过，仍然有办法可以判断出某个实例所属的类是否位于类族之中。我们不用刚才那种写法，而是改用类型信息查询方法（introspection method）。若想判断某对象是否位于类族中，不要直接检测两个“类对象”是否等同，而应该采用下列代码:

    id maybeAnArray = /* ... */;
    if ([maybeAnArray isKindOfClass:[NSArray class]]) {
        // will be hit
    }

　　我们经常需要向类族中新增实体子类，不过这么做的时候得留心。在 Employee 这个例子中，若是没有 “工厂方法”(factory method)的源代码，那就无法向其中新增雇员类别了。然而对于 Cocoa 中 NSArray 这样的类族来说，还是有办法新增子类的，但是需要遵守几条规则。这几条规则如下:

• 子类应该继承自类族中的抽象基类。若要编写 NSArray 类族的子类，则需令其继承自不可变数组的基类或者可变数组的基类。
• 子类应该定义自己的数据存储方式。开发者编写 NSArray 子类时，经常在这个问题上受阻。子类必须用一个实例变量来存放数组中对象。这似乎与大家预想的不同，我们以为 NSArray 自己肯定会保存那些对象，所以在子类中就无须再存一份了。但是大家要记住， NSArray 本身只不过是包在其他隐藏对象外面的壳，它仅仅定义了所有数组都需要具备的一些接口。对于这个自定义的数组子类来说，可以用 NSArray 来保存其实例。
• 子类应当覆写超类文档中指明需要覆写的方法。在每个抽象基类中，都有一些子类必须覆写的方法。比如说，想要编写 NSArray 的子类，就需要实现 count 及 “objectAtIndex:”方法。像 lastObject 这种方法则无须实现，因为基类可以根据前两个方法实现出这个方法。在类族中实现子类时所需要遵循的规范一般都会定义于基类的文档之中，编码前应该先看看。

END