设计模式 - 访问器(Visitor)

动机

  在软件构建过程中，由于需求的改变，某些类层次结构中常常需要增加新的行为(方法)，如果直接在基类中做这样的更改，将会给子类带来很繁重的变更负担，甚至破坏原有设计。
  如何在不更改类层次结构的前提下，在运行时根据需 要透明地为类层次结构上的各个类动态添加新的操作，从而避免上述问题?

模式定义

  表示一个作用于某对象结构中的各元素的操作。使得可以在不改变(稳定)各元素的类的前提下定义(扩展)作用于这些元素的新操作(变化)。

结构类图

案例分析

未使用设计模式

class Element
{
public:
    virtual void Func1() = 0;
    virtual void Func2(int data)=0;
    virtual ~Element(){}
};

class ElementA : public Element
{
public:
    void Func1() override{
        //...
    }
    
    void Func2(int data) override{
        //...
    }
};

class ElementB : public Element
{
public:
    void Func1() override{
        //***
    }
    
    void Func2(int data) override {
        //***
    }  
};

int main()
{
    Element *e1 = new elementA;
    e1->Func1();
    
    Element *e2 = new elementB;
    e2->Func2();
    return 0;
}

使用访问器

class Element
{
public:
    virtual void accept(Visitor& visitor) = 0; //第一次多态辨析

    virtual ~Element(){}
};

class ElementA : public Element
{
public:
    void accept(Visitor &visitor) override {
        visitor.visitElementA(*this);
    }
};

class ElementB : public Element
{
public:
    void accept(Visitor &visitor) override {
        visitor.visitElementB(*this); //第二次多态辨析
    }
};

class Visitor{
public:
    virtual void visitElementA(ElementA& element) = 0;
    virtual void visitElementB(ElementB& element) = 0;
    
    virtual ~Visitor(){}
};

//==================================
//扩展1
class Visitor1 : public Visitor{
public:
    void visitElementA(ElementA& element) override{
        cout << "Visitor1 is processing ElementA" << endl;
    }
        
    void visitElementB(ElementB& element) override{
        cout << "Visitor1 is processing ElementB" << endl;
    }
};
     
//扩展2
class Visitor2 : public Visitor{
public:
    void visitElementA(ElementA& element) override{
        cout << "Visitor2 is processing ElementA" << endl;
    }
    
    void visitElementB(ElementB& element) override{
        cout << "Visitor2 is processing ElementB" << endl;
    }
};
             
int main()
{
    Visitor2 visitor;
    ElementB elementB;
    elementB.accept(visitor);// double dispatch
    
    ElementA elementA;
    elementA.accept(visitor);
    return 0;
}

要点总结

• Visitor模式通过所谓双重分发(double dispatch)来实现在不更改(不添加新的操作-编译时)，Element类层次结构的前提下，在运行时透明地为类层次结构上的各个类动态添加新的操作(支持变化)。
• 所谓双重分发即Visitor模式中间包括了两个多态分发(注意其中的多态机制)：第一个为accept方法的多态辨析，第二个为VisitETementX方法的多态辨析。
• Visitor模式的最太缺点在于扩展类层次结构(增添新的Element子类)，会导致Visitor类的改变。因此Vistor模式适用于“Element类层次结构稳定，而真中的操作却经常面临质繁改动”。

以上内容来源于李建忠老师的c++设计模式