нужно виртуальное шаблонное членское обходное решение
Я должен записать программу, реализовав шаблон разработки посетителя. Проблема состоит в том, что основной класс посетителя является шаблонным классом. Это означает что BaseVisited:: примите (), берет шаблонный класс в качестве параметра и так как он использует 'это', и мне нужно 'это' для указания на корректный экземпляр во время выполнения объекта, это также должно быть виртуальным.
Я хотел бы знать, существует ли какой-либо путь вокруг этой проблемы.
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();
}
3 ответа
Вам следует отделить 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 тоже были шаблонными и передавали их правильные типы / перегрузки для посещения, вы официально мертвы.
Вы не можете объявлять/определять шаблонные виртуальные функции. Причина в том, что механизм виртуальной диспетчеризации должен быть известен, когда компилятор видит определение базового класса, но шаблоны компилируются по требованию.
При использовании обычной реализации vtable проблема заключается в том, что количество записей, которые компилятор должен зарезервировать для виртуальной функции, не определено (сколько различных инстанций типа может быть?), как и их порядок. Если вы объявите класс:
class base {
public:
virtual void foo();
virtual int bar();
};
Компилятор может зарезервировать две записи в vtable для указателей на foo и bar в vtable, и vtable будет прекрасно определена простым просмотром определения класса. Этого нельзя достичь с шаблонными функциями.
Я придумал нечто немного отличное от 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(), которая позволяет получить результат последнего посещения.