Effective C++——条款35(第6章)

条款35: 考虑 virtual 函数以外的其他选择

Consider alternatives to virtual functions

    假如在设计一个游戏类的继承体系时,提供一个成员函数healthValue,返回一个整数,表示人物的健康程度.由于不同的人物可能以不同的方式计算健康程度,将healthValue声明为 virtual 似乎是再明白不过的做法:

class GameCharacter {
public:
    virtual int healthValue() const;    // 返回人物的健康程度
    ...
};

    healthValue并为被声明为pure virtual,这暗示将会有个计算健康程度的缺省算法(详见 条款34).
    考虑一些其他的设计.
    1.借由Non-virtual Interface手法实现 template method模式
    从一个有趣的思想流派开始,这个流派主张 virtual 函数应该几乎总是 private.这个流派建议,较好的设计师 保留healthValue为 public 成员函数,但让它成为non-virtual,并调用一个 private virtual 函数(例如doHealthValue)进行实际工作:

<pre name="code" class="cpp">class GameCharacter {
public:
    int healthValue() const {
        ...                             // 做一些事前工作
        int retVal = doHealthValue();   // 做真正的工作
        ...                             // 做一些事后工作
        return retVal;
    }
private:
    virtual int doHealthValue() const {
        ...
    }
};

    在这段代码中,直接在 class 定义式内呈现成员函数主体.如 条款30所述,那也就让它们全都暗自成了 inline .
    这一基本设计,也就是"令客户通过public non-virtual成员函数间接调用private virtual函数",称为non-virtual interface(NVI)手法.它是所谓 template method设计模式(与C++ template 并无关联)的一个独特表现形式.
    2.借由Function Pointer实现strategy模式
    NVI手法对 public virtual 函数而言是一个有趣的替代方案.另一个戏剧性的设计主张"人物健康程度的计算与人物类型无关",这样的计算完全不需要"人物"这个成分.例如可能会要求每个人物的构造函数接受一个指针,指向一个健康计算函数,可以调用该函数进行实际计算:

class GameCharacter;        // 前置声明
// 以下函数是计算健康程度的缺省算法
int defaultHealthCalc(const GameCharacter& gc);
class GameCharacter {
public:
    typedef int (*HealthCalcFunc)(const GameCharacter&);
    explicit GameCharacter(HealthCalcFunc hcf = defaultHealthCalc) : healthFunc(hcf)
    {}
    int healthValue() const 
    { return healthFunc(*this); }
    ...
private:
    HealthCalcFunc healthFunc;
};

    这个做法是常见的strategy设计模式的简单应用.拿它和"植基于GameCharacter继承体系内的virtual函数"做法比较,它提供了某些有趣弹性:
    同一人物类型的不同实体可以有不同的健康计算函数.
    某已知人物的健康程度计算函数可以子啊运行期变更.
    换句话说,"健康程度计算函数不再是GameCharacter继承体系内的成员函数",这一事实意味,这些计算函数并未特别访问"即将被计算健康程度"的那个对象的内部成分.
    3.借由tr1::function完成strategy模式
    4.古典的strategy模式
    摘要:
    本条款的忠告是,当为解决问题而寻找某个设计方法时,不妨考虑 virtual 函数的替代方案.下面是快速重点复习验证过的几个替代方案:
    使用non-virtual interface(NVI)手法,那是 template method设计模式的一种特殊形式.它以 public non-virtual 成员函数包裹较低访问性(private 或 protected)的 virtual 函数.
    将 virtual 函数替换为"函数指针成员变量",这是strategy设计模式的一种分解表现形式.
    以tr1::function成员变量替换 virtual 函数,因而允许使用任何可调用物搭配一个兼容于需求的签名式.这也是strategy设计模式的某种形式.
    将继承体系内的 virtual 函数替换为另一个继承体系内的 virtual 函数.这是strategy设计模式的传统实现手法.
    注意:
    virtual 函数的替代方案包括NVI手法及strategy设计模式的多种形式,NVI手法自身是一个特殊形式的 template method 设计模式.
    将机能从成员函数转移到 class 外部函数,带来的一个缺点是,非成员函数无法访问 class 的non-public 成员.
    tr1::function对象的行为就像一般函数指针,这样的对象可接纳"与给定的目标签名式(target signature)兼容"的所有可调用物.