Objective-c：类簇

本文参考《Effective Objective-C 2.0 编写高质量iOS与OS X的52个有效方法 第9条：以“类簇模式”隐藏实现细节》

前言

闲暇无事，翻开了以前阅读的书籍《Effective Objective-C 2.0 编写高质量iOS与OS X的52个有效方法》，看到“类簇”这一条的时候，觉得不错，想着在实际开发过程中也非常有用，因此借鉴本书内容，分享给大家。

简介

“类簇（class cluster）”是一种很有用的设计模式，可以隐藏“抽象基类”背后的实现细节。OC的系统框架中普遍使用此模式。比如iOS的用户界面框架UIKit中就有一个名为UIButton的类。想创建按钮，需要调用下面这个“类方法”。

+ (UIButton *)buttonWithType:(UIButtonType)type;

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

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

- (void)drawRect:(CGRect)rect {
   if (type == TypeA) {
       // Draw TtypeA button
   } else if (type == TypeB) {
       // Draw TypeB button
   }
}

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

创建类簇

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

首先要定义抽象基类：EOCEmployee

// EOCEmployee.h

#import <Foundation/Foundation.h>

typedef NS_ENUM(NSUInteger, EOCEmpoyeeType) {
    EOCEmpoyeeTypeDeveloper,
    EOCEmpoyeeTypeDesigner,
    EOCEmpoyeeTypeFinance,
};

@interface EOCEmployee : NSObject

@property (nonatomic, strong) NSString *name;    /**< 姓名 */
@property (nonatomic, assign) NSUInteger salary; /**< 薪水 */

// 便利构造方法，创建对象
+ (EOCEmployee *)employeeWithType:(EOCEmpoyeeType)type;

// 指示执行日常工作
- (void)doADaysWork;

@end

// EOCEmployee.m

#import "EOCEmployee.h"

#import "EOCEmployeeDesigner.h"
#import "EOCEmployeeDeveloper.h"
#import "EOCEmployeeFinance.h"

@implementation EOCEmployee

+ (EOCEmployee *)employeeWithType:(EOCEmpoyeeType)type {
    switch (type) {
        case EOCEmpoyeeTypeDesigner: {
            return [EOCEmployeeDesigner new];
        }
            break;
        case EOCEmpoyeeTypeDeveloper: {
            return [EOCEmployeeDeveloper new];
        }
            break;
        case EOCEmpoyeeTypeFinance: {
            return [EOCEmployeeFinance new];
        }
            break;

        default:
            break;
    }
}

- (void)doADaysWork {
    // Subclass implement this.
}

@end

创建三个“实体子类”，继承于基类“EOCEmployee”。

1、EOCEmployeeFinance 子类

// 接口部分
@interface EOCEmployeeFinance : EOCEmployee

@end

// 实现部分
@implementation EOCEmployeeFinance

- (void)doADaysWork {
    NSLog(@"计算财政收入");
}

@end

2、EOCEmployeeDesigner 子类

// 接口部分
@interface EOCEmployeeDesigner : EOCEmployee

@end

// 实现部分
@implementation EOCEmployeeDesigner

- (void)doADaysWork {
    NSLog(@"设计素材");
}

@end

3、EOCEmployeeDeveloper 子类

// 接口部分
@interface EOCEmployeeDeveloper : EOCEmployee

@end

// 实现部分
@implementation EOCEmployeeDeveloper

- (void)doADaysWork {
    NSLog(@"写代码");
}

@end

在main函数中调用

#import <Foundation/Foundation.h>

#import "EOCEmployee.h"

int main(int argc, const char * argv[]) {
    @autoreleasepool {

        EOCEmployee *employee = [EOCEmployee employeeWithType:EOCEmpoyeeTypeDeveloper];

        [employee doADaysWork]; // 输出 写代码

    }
    return 0;
}

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

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

如果对象所属的类位于某个类簇中，那么查询其类型信息时就要当心了，你可能觉得自己创建了某个类的实例，然而实际上创建的却是其子类的实例。在Employee这个例子中，[employee isMemberOfClass:[EOCEmployee class]]似乎会返回YES，但实际上返回的却是NO，因为employee并非EOCEmployee类的实例，而是其某个子类的实例。

Cocoa里的类簇

系统框架中有许多类簇。大部分collection类都是类簇，例如NSArray与其可变版本NSMutableArray。这样看来，实际上有两个抽象基类，一个用于不可变数组，另一个用于可变数组。尽管具备公共接口的类有两个，但仍然可以合起来算作一个类簇。不可变的类定义了对所有数组都通用的方法，而可变的类则定义了那些只适用于可变数组的方法。两个类共属同一类簇，这意味着二者在实现各自类型的数组时可以共用实现代码，此外，还能够把可变数组复制为不可变数组，反之亦然。

在使用NSArray的alloc方法来获取实例时，该方法首先会分配一个属于某类的实例，此实例充当“占位数组”。该数组稍后会转为另一个类的实例，而那个类则是NSArray的实体子类。这个过程稍显复杂，这里不做讲解。

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

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

你要知道NSArray是个类簇，那就会明白上述代码错在哪里：其中if语句永远不可能为真。[maybeAnArray class]所返回的类绝不可能是NSArray类本身，因为由NSArray的初始化方法所返回的那个实例其类型是隐藏在类簇公共接口后面的某个内部类型。

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

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

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

• 子类应该继承自类簇中的抽象基类。（若要编写NSArray类簇的子类，则需要继承于NSArray或NSMutableArray）。

• 子类应该定义自己的数据存储方式。（开发者编写NSArray的子类时，经常在这个问题上受阻。子类必须用一个实例变量来存放数组中的对象。这似乎与大家预想的不同，我们以为NSArray自己肯定会保存那些对象，所以在子类中就无须再存一份了。但是大家要记住，NSArray本身只不过是包在其他隐藏对象外面的壳，它仅仅定义了所有数组都需具备的一些接口。对于这个自定义的数组子类来说，可以用NSArray来保存其实例。）

• 子类应当覆写超类文档中指明需要覆写的方法。（在每个抽象基类中，都有一些子类必须覆写的方法。比如说，想要编写NSArray的子类，就需要实现count及“ObjectAtIndex:”方法。像lastObject这种方法则无需实现，因为基类可以根据前两个方法实现出这个方法。）

在类簇中实现子类时所需遵循的规范一般都会定义在基类的文档之中，编码前应该先看看。

要点

• 类簇模式可以把实现细节隐藏在一套简单的公共接口后面。

• 系统框架中经常使用类簇。

• 从类簇的公共抽象基类中集成子类时要当心，若有开发文档，则应首先阅读。