当我们发现需要添加新的类型到一个系统中时,最明智的首要步骤就是用多态机制为这些新类型创建一个共同的接口。
用这种方法可以将系统中多余的代码与新添加的特定类型的代码分开。新类型的添加并不会搅乱已存在的代码...或者至少看上去如此。
起初它似乎只需要在继承新类的地方修改代码,但这并非完全正确,仍须创建对象,在创建对象的地方必须指定要使用的准确的构造函数。
因此,如果创建对象的代码遍布整个应用的程序,在增加新类型时将会遇到同样的问题---------仍然必须找出代码中所有与新类型相关的地方。
这是由类的创建而不是类型的使用(类型的使用问题已经被多态机制解决了)而引起的。
解决该问题的方法就是强制用一个通用的工厂(factory)来创建对象,而不允许将创建对象的代码散布整个系统。
如果程序中所有的需要创建对象的代码都转到这个工厂(factory)执行,那么在新增加对象时所要做的全部工作就是只需要修改工厂。
这种设计就是工厂方法(Factory Method)模式的一种变体。
举个例子:(实现工厂模式的一种方法就是在基类中定义一个静态成员函数)
#include <stdexcept>
#include <cstddef>
#include <string>
#include <vector>
#include <algorithm>
#include <iostream>
using namespace std;
template<class Seq> void purge(Seq& c)
{
typename Seq::iterator i;