1)为了提高内聚(Cohesion)和松耦合(Coupling),我们经常会抽象出一些类的公共接口以形成抽象基类或者接口。这样我们可以通过声明一个指向基类的指针来指向实际的子类实现,达到了多态的目的。这里很容易出现的一个问题n多的子类继承自抽象基类,我们不得不在每次要用到子类的地方就编写诸如new ×××;的代码。这里带来两个问题1)客户程序员必须知道实际子类的名称(当系统复杂后,命名将是一个很不好处理的问题,为了处理可能的名字冲突,有的命名可能并不是具有很好的可读性和可记忆性,就姑且不论不同程序员千奇百怪的个人偏好了。),2)程序的扩展性和维护变得越来越困难。
2)还有一种情况就是在父类中并不知道具体要实例化哪一个具体的子类。这里的意思为:假设我们在类A中要使用到类B,B是一个抽象父类,在A中并不知道具体要实例化那一个B的子类,但是在类A的子类D中是可以知道的。在A中我们没有办法直接使用类似于new ×××的语句,因为根本就不知道×××是什么。
以上两个问题也就引出了Factory模式的两个最重要的功能:
1)定义创建对象的接口,封装了对象的创建;
2)使得具体化类的工作延迟到了子类中。
我们通常使用Factory模式来解决上面给出的两个问题。在第一个问题中,我们经常就是声明一个创建对象的接口,并封装了对象的创建过程。Factory这里类似于一个真正意义上的工厂(生产对象)。在第二个问题中,我们需要提供一个对象创建对象的接口,并在子类中提供其具体实现(因为只有在子类中可以决定到底实例化哪一个类)。
图1
Factory模式经常在系统开发中用到,但是这并不是Factory模式的最大威力所在(因为这可以通过其他方式解决这个问题)。Factory模式不单是提供了创建对象的接口,其最重要的是延迟了子类的实例化(第二个问题),以下是第二种情况的一个Factory的结构示意图:
图2
图2中关键中Factory模式的应用并不是只是为了封装对象的创建,而是要把对象的创建放到子类中实现:Factory中只是提供了对象创建的接口,其实现将放在Factory的子类ConcreteFactory中进行。这是图2和图1的区别所在。
Product.h
1 #ifndef _PRODUCT_H_ 2 #define _PRODUCT_H_ 3 class Product { 4 public: 5 virtual ~Product() =0; 6 protected: 7 Product(); 8 private: 9 }; 10 class ConcreteProduct:public Product 11 { 12 public: 13 ~ConcreteProduct(); 14 ConcreteProduct(); 15 protected: 16 17 private: 18 }; 19 #endif //~_PRODUCT_H_
Product.cpp
1 #include "Product.h" 2 #include<iostream> 3 using namespace std; 4 Product::Product() { cout<<"Product...."<<endl; } 5 Product::~Product() { 6 cout<<"~Product...."<<endl; 7 } 8 ConcreteProduct::ConcreteProduct() { cout<<"ConcreteProduct...."<<endl; } 9 ConcreteProduct::~ConcreteProduct() {}
Factory.h
#ifndef _FACTORY_H_ #define _FACTORY_H_ class Product; class Factory { public: virtual ~Factory() = 0; virtual Product* CreateProduct() = 0; protected: Factory(); private: }; class ConcreteFactory:public Factory { public: ~ConcreteFactory(); ConcreteFactory(); Product* CreateProduct(); protected: private: }; #endif //~_FACTORY_H_
Factory.cpp
#include "Factory.h" #include "Product.h" #include <iostream> using namespace std; Factory::Factory() { cout<<"Factory....."<<endl; } Factory::~Factory() { cout<<"~Factory....."<<endl; } ConcreteFactory::ConcreteFactory() { cout<<"ConcreteFactory....."<<endl; } ConcreteFactory::~ConcreteFactory() { } Product* ConcreteFactory::CreateProduct() { return new ConcreteProduct(); }
main.cpp
1 #include "Factory.h" 2 #include "Product.h" 3 #include <iostream> 4 using namespace std; 5 int main(int argc,char* argv[]) { 6 Factory* fac = new ConcreteFactory(); 7 8 Product* p = fac->CreateProduct(); 9 10 return 0; 11 }
Factory模式也带来至少以下两个问题:
1)如果为每一个具体的ConcreteProduct类的实例化提供一个函数体,那么我们可能不得不在系统中添加了一个方法来处理这个新建的ConcreteProduct,这样Factory的接口永远就不肯能封闭(Close)。当然我们可以通过创建一个Factory的子类来通过多态实现这一点,但是这也是以新建一个类作为代价的。
2)在实现中我们可以通过参数化工厂方法,即给FactoryMethod()传递一个参数用以决定是创建具体哪一个具体的Product(实际上笔者在VisualCMCS中也正是这样做的)。当然也可以通过模板化避免1)中的子类创建子类,其方法就是将具体Product类作为模板参数,实现起来也很简单。
可以看出,Factory模式对于对象的创建给予开发人员提供了很好的实现策略,但是Factory模式仅仅局限于一类类(就是说Product是一类,有一个共同的基类),如果我们要为不同类的类提供一个对象创建的接口,那就要用AbstractFactory了。