Нужен обходной путь члена виртуального шаблона

Question

Мне нужно написать программу, реализующую шаблон дизайна посетителя. Проблема в том, что базовый класс посетителя является классом шаблона. Это означает, что BaseVisited::accept() принимает шаблонный класс в качестве параметра, и поскольку он использует "this", и мне нужно "this", чтобы указать на правильный экземпляр объекта во время выполнения, он также должен быть виртуальным.
Я хотел бы знать, есть ли способ обойти эту проблему.

template <typename T>
class BaseVisitor {
  public:
    BaseVisitor();
    T visit(BaseVisited *visited);
    virtual ~BaseVisitor();
}


class BaseVisited {
  BaseVisited();
  template <typename T>
    virtual void accept(BaseVisitor<T> *visitor) { visitor->visit(this); }; // problem
  virtual ~BaseVisited();
}

Answer 1

Что вы должны сделать, это отдельный BaseVisitor.

class BaseVisited;
class BaseVisitorInternal {
public:
    virtual void visit(BaseVisited*) = 0;
    virtual ~BaseVisitorInternal() {}
};
class BaseVisited {
    BaseVisited();
    virtual void accept(BaseVisitorInternal* visitor) { visitor->visit(this); }
};
template<typename T> class BaseVisitor : public BaseVisitorInternal {
    void visit(BaseVisited* visited);
};

Если вам нужно, чтобы производные классы BaseVisited тоже были шаблонными и передавали их правильные типы / перегрузки для посещения, вы официально мертвы.

Answer 2

Я придумал что-то немного отличное от DeadMG:

class BaseVisited;

class IVisitor {
  public:
    virtual void visit(BaseVisited *visited) = 0;
    virtual ~IVisitor();
};

template <typename T>
class BaseVisitor : public IVisitor {
  public:
    BaseVisitor();
    virtual void visit(BaseVisited *visited);
    virtual ~BaseVisitor();
    virtual T result();
};


class BaseVisited {
  public:
    BaseVisited();
    virtual void accept(IVisitor *visitor) { visitor->visit(this); };
    virtual ~BaseVisited();
};

У меня есть дополнительный result() функция-член, которая позволяет вам получить результат последнего посещения.

Answer 3

Вы не можете объявлять / определять шаблонные виртуальные функции. Причина в том, что механизм виртуальной диспетчеризации должен быть известен, когда компилятор видит определение базового класса, но шаблоны компилируются по требованию.

С распространенной реализацией vtable проблема заключается в том, что число записей, которые компилятор должен был бы зарезервировать для виртуальной функции, не определено (сколько может быть различных экземпляров типа?), Как и их порядок. Если вы объявите класс:

class base {
public:
   virtual void foo();
   virtual int bar();
};

Компилятор может зарезервировать две записи в vtable для указателей на foo а также bar в vtable, и vtable отлично определен, просто проверяя определение класса. Этого нельзя достичь с помощью шаблонных функций.