带有用于遍历树结构的模板的访客模式

问：

我得到了一个类似“树”的结构，它表示一个简单的加法表达式。（例 2 + 4 + （3 + 5））

我正在使用访客模式遍历树并找到总和。问题是我希望我的实现使用模板，这会导致一些奇怪的错误。

我需要每个子表达式的 accept 函数能够返回任何类型，以便我可以执行的不仅仅是整数运算

#include <iostream>
#include <vector>

#define print(x) std::cout << x << "\n"; 

class Add;
class Number;

// Basic template for visitor class

template <class T>
class Visitor {
public:
    virtual T visitAdd(Add* add) = 0;
    virtual T visitNumber(Number* num) = 0;
};

// Visitor made for adding

template <class T>
class Adder : public Visitor<T> {
public:
    T visitAdd(Add* add) override;
    T visitNumber(Number* num) override;
};

// Node types for expression tree

class Expr {
public:
    template <class T>
    virtual T accept(Visitor<T>* visitor) = 0;
};

class Add : public Expr {
public:
    Expr* left;
    Expr* right;

    Add(Expr* left, Expr* right) : left(left), right(right) {};

    template <class T>
    T accept(Visitor<T>* visitor) {
        return visitor->visitAdd(this);
    }
};

class Number : public Expr {
public:
    int value;

    Number(int value) : value(value) {};

    template <class T>
    T accept(Visitor<T>* visitor) {
        return visitor->visitNumber(this);
    }
};

template <class T>
T Adder<T>::visitAdd(Add* add) {
    return add->left->accept(this) + add->right->accept(this);
}

template <class T>
T Adder<T>::visitNumber(Number* num) {
    return num->value;
}

int main() {

    // Should represent (5 + 2) + (7 + (4 + 2))
    Expr* expression = new Add(
        new Add(
            new Number(5),
            new Number(2)
        ),
        new Add(
            new Number(7),
            new Add(
                new Number(4),
                new Number(2)
            )
        )
    );

    // Print sum as int
    Adder<int> intAdder = Adder<int>();
    print(expression->accept(&intAdder));

    // Print sum as float
    Adder<float> floatAdder = Adder<float>();
    print(expression->accept(&floatAdder));

    return 0;
}

错误：函数模板声明中不允许使用“virtual” （对于 Expr：：accept）