Как написать включает в себя с Visitor Pattern?[Простой пример] - PullRequest
1 голос
/ 23 апреля 2019

Я не могу понять, как написать включения шаблона посетителя на этом простом примере.Независимо от того, что я делаю, я всегда получаю круговые зависимости, но никакой другой способ не имеет смысла.

Также я прошу прощения за различные средства защиты заголовков (прагма против #ifndef), я тестировал #pragma и еще не обновил файлы.

Client.cpp

#include "OneVisitor.h"
#include "DataStructure.h"

int main (int argc, char * argv [])
{
    OneVisitor v;
    DataStructure d;

}

DataStructure.h

#ifndef _DATA_STRUCTURE_H_
#define _DATA_STRUCTURE_H_

#include "ElementA.h"

class DataStructure {

    public:
        DataStructure (Visitor & v)
        {   
            std::cout << "ACCEPTS";
            a->accept(v);
        };

    private:
        ElementA * a;

};

#endif

Element.h

#ifndef _ELEMENT_H_
#define _ELEMENT_H_

#include "Visitor.h"
#include <iostream>

class Element {

    public:
        virtual void accept (Visitor & v) = 0;

        void talk ()
        {
            std::cout << "ELEMENT TALKING";
        };

};

#endif

ElementA.h

#pragma once

#include "Element.h"
#include "Visitor.h"

class ElementA : public Element {

    public:
        virtual void accept (Visitor & v) override
        {
            v.Visit(*this);
        };

        void talk ()
        {
            std::cout << "ELEMENT A TALKING";
        };

};

Visitor.h

#ifndef _VISITOR_H_
#define _VISITOR_H_

#include "ElementA.h"

class Visitor {

    public:
        virtual void Visit (ElementA & a) = 0;

};

#endif

OneVisitor.h

#ifndef _ONE_VISITOR_H_
#define _ONE_VISITOR_H_

#include "Visitor.h"

class OneVisitor : public Visitor {

    public:
        virtual void Visit (ElementA & a) override
        {
            a.talk();
        };
};

#endif

Когда я запускаю это, я получаю ошибку "Посетитель не был объявлен" в Element.h, ElementA.h, ElementB.h.Как я могу получить Visitor, определенный в этих классах, не вызывая циклические зависимости?

Ответы [ 2 ]

2 голосов
/ 23 апреля 2019

Используя предварительное объявление class ElementA; в Visitor.h

#ifndef _VISITOR_H_
#define _VISITOR_H_

// Just use a forward declaration of the class ElementA;
// NOTE1: The include of ElementA.h is not needed anymore.
// NOTE2: The visitor.h doesn't need to know what is defined
// in ElementA, only your .cpp needs, this is how forward 
// declaration works.
class ElementA;

class Visitor {

    public:
        virtual void Visit (ElementA & a) = 0;

};

#endif
2 голосов
/ 23 апреля 2019

Посетитель - это очень абстрактное понятие, и в этом случае имеет смысл его шаблонировать.Использование шаблонов позволяет нам избавиться от циклических зависимостей и значительно упростить вещи.

// Visitor.hpp
#pragma once

template<class T>
class Visitor {
   public:
    virtual void visit(T& item) = 0;
    virtual ~Visitor() = default; 
};

Теперь, если вы хотите иметь посетителя для Element, вы можете просто использовать Visitor<Element>:

// Element.hpp
#pragma once
#include "Visitor.hpp"
#include <iostream>

class Element
{
   public:
    virtual void accept(Visitor<Element>& v) 
    {
        v.visit(*this); 
    }
    virtual void talk() {
        std::cout << "Element talking!\n"; 
    }
    virtual ~Element() = default; 
};

Теперь, когда у нас есть эти вещи, мы также можем написатьфункция для преобразования лямбда-выражений в посетителей:

template<class T, class Func>
struct FunctionVisitor : public Visitor<T> {
    Func func;
    FunctionVisitor() = default;
    FunctionVisitor(FunctionVisitor const&) = default;
    FunctionVisitor(FunctionVisitor&&) = default;

    FunctionVisitor(Func const& func) 
      : func(func) 
    {
    }
    void visit(T& item) override {
        func(item); 
    }
};

template<class T, class Func>
FunctionVisitor<T, Func> makeVisitor(Func const& f) {
    return FunctionVisitor<T, Func>(f); 
}

Объединение всего этого

Это позволяет нам написать хороший код, подобный этому:

#include "Element.hpp"
#include "Visitor.hpp"
#include <vector>

class ElemA : public Element {
   public:
    void talk() override {
        std::cout << "ElemA talking!\n";
    }
};
class ElemB : public Element {
   public:
    void talk() override {
        std::cout << "ElemB talking!\n";
    }
};
class ElemC : public Element {
   public:
    void talk() override {
        std::cout << "ElemC talking!\n";
    }
};

void visitAll(std::vector<Element*>& elements, Visitor<Element>& visitor) {
    for(auto e : elements) {
        e.accept(visitor); 
    }
}

int main() {
    std::vector<Element*> elements {
        new ElemA(),
        new ElemB(),
        new ElemC()
    };

    auto talk = [](Element& e) { e.talk(); };

    visitAll(elements, makeVisitor<Element>(talk));
}
...