8.工厂方法（Factory Method）

本文讲述了对象创建模式中的工厂方法模式，介绍了工厂模式的动机、定义、结构、代码实例，最后进行了总结。
再次感谢GeekBand的李建忠老师、GOF等前辈

1. “对象创建”模式

• 通过“对象创建” 模式绕开new[细节依赖]，来避免对象创建（new）过程中所导致的紧耦合（依赖具体类），从而支持对象创建的稳定。它是接口抽象之后的第一步工作[不能只考虑变量声明符合面向接口，同样要避免等号之后具体的对象创建细节]。
• 典型模式
  • Factory Method 工厂方法
  • Abstract Factory
  • Prototype
  • Builder

2. 动机（Motivation）

• 在软件系统中，经常面临着创建对象的工作；由于需求的变化，需要创建的对象的具体类型经常变化。
• 如何应对这种变化？如何绕过常规的对象创建方法(new)，提供一种“封装机制”来避免客户程序和这种“具体对象创建工作”的紧耦合？

3. 代码实例

FileSplitter1.cpp实现的是文件分割器，MainForm1.cpp实现的是Windows窗口应用程序，接收文件路径、文件分割大小、同步文件分割进度，并通过按钮来开启文件分割。假如现在只对二进制文件进行分割，那么可以直接在MainForm中创建BinarySplitter堆对象，但一旦使用new直接创建对象，那相当于固定了类型，阻止了变化。前面提到应使用未来的眼光看待问题，假设添加了“分割文件、图片、视频”需求，本代码中就必须要在Button1_Click()创建指定类型堆对象。

// MainForm1.cpp
class MainForm : public Form
{
	TextBox* txtFilePath;
	TextBox* txtFileNumber;
	ProgressBar* progressBar;

public:
	void Button1_Click(){  
		BinarySplitter *binarySplitter = 
            new BinarySplitter();//依赖具体类
        
        binarySplitter->split();
	}
};

// FileSplitter1.cpp
class ISplitter{
public:
    virtual void split()=0;
    virtual ~ISplitter(){}
};

class BinarySplitter : public ISplitter{
    
};

class TxtSplitter: public ISplitter{
    
};

class PictureSplitter: public ISplitter{
    
};

class VideoSplitter: public ISplitter{
    
};

面向接口编程[针对接口编程，而不是针对实现编程。不将变量类型声明为某个特定的具体类，而是声明为某个接口。客户程序无需获知对象的具体类型，只需要知道对象所具有的接口。减少系统中各部分的依赖关系，从而实现“高内聚、松耦合”的类型设计方案。]最简单的体检就是将变量声明为抽象基类。变化点为不同的文件分割器，依据面向接口编程思想，需使用ISplitter声明变量，代码变为ISplitter *splitter = new BinarySplitter()。
 
根据“依赖倒置原则”[高层不应依赖底层，都应该依赖抽象，抽象不应依赖实现细节，实现细节应该依赖抽象]。上述代码中ISplitter* splitter为抽象，new BinarySplitter()为实现细节，因此我们依赖了实现细节，那么如何解决呢？
 
首先考虑有几种获得对象的方法：

• 直接创建栈对象，细节
• new创建堆对象，细节
• 通过方法返回，将对象创建封装在方法当中。

ISplitterFactory.cpp、FileSplitter2.cpp使用了工厂方法来产生堆对象。和直接new不同，factory->CreateSplitter()可以称之为多态new。由于只需要一个工厂堆对象，因此将工厂指针作为成员属性，可以通过构造或者普通函数传参修改工厂类型，每一次Button1_Click()都会产生一个指定类型的分割器。

// ISplitterFactory.cpp
//抽象类
class ISplitter{
public:
    virtual void split()=0;
    virtual ~ISplitter(){}
};


//工厂基类
class SplitterFactory{
public:
    virtual ISplitter* CreateSplitter()=0;
    virtual ~SplitterFactory(){}
};

// FileSplitter2.cpp
//具体类
class BinarySplitter : public ISplitter{
    
};

class TxtSplitter: public ISplitter{
    
};

class PictureSplitter: public ISplitter{
    
};

class VideoSplitter: public ISplitter{
    
};

//具体工厂
class BinarySplitterFactory : public SplitterFactory{
public:
    virtual ISplitter* CreateSplitter(){
        return new BinarySplitter();
    }
};

class TxtSplitterFactory: public SplitterFactory{
public:
    virtual ISplitter* CreateSplitter(){
        return new TxtSplitter();
    }
};

class PictureSplitterFactory: public SplitterFactory{
public:
    virtual ISplitter* CreateSplitter(){
        return new PictureSplitter();
    }
};

class VideoSplitterFactory: public SplitterFactory{
public:
    virtual ISplitter* CreateSplitter(){
        return new VideoSplitter();
    }
};

// MainForm2.cpp
class MainForm : public Form
{
    SplitterFactory*  factory;//工厂

public:
    
    MainForm(SplitterFactory*  factory){
        this->factory=factory;
    }
    
	void Button1_Click(){

        
		ISplitter * splitter=
            factory->CreateSplitter(); //多态new
        
        splitter->split();

	}
};

代码重构之后，可能会有这种问题，“那我们在使用的时候还是需要创建不同的工厂对象，这样不也发生了依赖么？”。注意，设计模式的使用不是为了消除变化，而是为了将变化约束到一个区域，就像“将兔子赶到笼子中，而不要在房间里蹦来蹦去，弄乱房间”。

4. 模式定义

定义一个用于创建对象的接口[SplitterFactory]，让子类决定实例化哪一个类[BinarySplitterFactory等]。Factory Method使得一个类的实例化延迟（目的：解耦，手段：虚函数）到子类。

5. 结构（Structure）

绿色表示稳定，红色表示变化。其中Product相当于ISplitter，ConcreteProduct相当于BinarySplitter等， Creator相当于SplitterFactory，ConcreteCreator相当于BinarySplitterFactory等。

6. 要点总结

• Factory Method模式用于隔离类对象的使用者和具体类型之间的 耦合关系。面对一个经常变化的具体类型，紧耦合关系(new)会导 致软件的脆弱。
• Factory Method模式通过面向对象的手法，将所要创建的具体对 象工作延迟到子类，从而实现一种扩展（而非更改）的策略，较好地解决了这种紧耦合关系。
• Factory Method模式解决“单个对象”的需求变化。缺点在于要 求创建方法/参数相同。