3

我正在尝试以参数方式实现访问者模式的修改版本，以这种方式避免每个具体元素过载的“通用访问者”，但是，由于我在模板编程方面没有太多经验我不知道如何才能完成“模式”。

代码：

// test.cpp
#include <iostream>
#include <vector>

using namespace std;

struct Base
{
    virtual ~Base() {}
    virtual void visit() = 0;
};

template<typename Visitor>
struct ElementBase : public Base
{
    // No virtual.
    void visit()
    {
        _e.visit(this);
    }

private:
    Visitor _e;
};

// Atoms.
template<typename Visitor>
struct ElementA : public ElementBase<Visitor>
{
    ElementA() : a(5) {}

    int a;
};

// Visitors.
struct VisitorA
{
    void visit(ElementBase<VisitorA> *a)
    {
        ElementA<VisitorA>* elto = dynamic_cast<ElementA<VisitorA>*>(a);

        cout << elto->a << endl;
    }

    /*
    void visit(ElementA<VisitorA> *a)
    {
        cout << a->a << endl;
    }
    */
};

std::vector<Base*> v;

int main()
{
    v.push_back(new ElementA<VisitorA>());

    for (auto i : v)
        i->visit();
}

这工作正常，其输出为 5（如预期的那样）。但我假装是直接使用 VisitorA 中“访问”的第二个（注释）版本。

显然，这不起作用，因为“this”的类型为 ElementBase<...>*。

如何将指针“this”向下转换为 ElementBase 中的实际派生类？

4

1 回答 1

3

就像 user786653 说的那样，Curiously Recurring Template Pattern 可以解决这个问题

template<typename Visitor, typename Derived>
struct ElementBase : public Base
{
    void visit()
    {
        _e.visit(static_cast<Derived*>(this));
    }

private:
    Visitor _e;
};

// Atoms.
template<typename Visitor>
struct ElementA : public ElementBase<Visitor, ElementA<Visitor> >
{
    ElementA() : a(5) {}

    int a;
};

// Visitors.
struct VisitorA
{
    void visit(ElementA<VisitorA> *a)
    {
        cout << a->a << endl;
    }
};
于 2012-12-13T18:50:11.903 回答