Шаблон посетителя. Является ли void * приемлемым типом возврата для полностью абстрактного интерфейса?

У меня есть AST, представленный обычным способом (дерево узлов абстрактного типа). У меня есть несколько вариантов использования для обхода этого дерева (оптимизатор, который возвращает другой AST; генерация ИК-кода, который возвращает llvm::Value*; и анализатор отладки, который просто выводит на стандартный вывод и ничего не возвращает).

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

class Visitor;

class ASTNode {
public:
virtual void accept(Visitor *visitor);
};

class Visitor {
public:
virtual void visit(CallNode *node) = 0;
virtual void visit(BinExprNode *node) = 0;
// etc
};

Из-за отсутствия возвращаемого значения каждая реализация посетителя должна была бы создать внутреннее состояние и предоставить result() метод с подходящим типом возврата. Это сложно, однако, так как каждый вызов visit() нужен некоторый контекст вокруг выражения, которое вы посещаете (т. е. сам вызов или он используется как часть двоичного выражения?). Для таких вещей, как генерация кода двоичных выражений, сложно собирать возвращаемые значения при посещении узлов операндов (я мог бы сделать это с помощью внутренней переменной временного состояния или чего-то подобного, но она кажется чрезмерно сложной) и трудно рассуждать о ( состояние постоянно меняется).

class OptimizingVisitor : public Visitor {
ASTNode *m_result;
public:
ASTNode *result() {
return m_result;
}

void setResult(ASTNode *node) {
m_result = node;
}

void visit(CallNode *node) {
node->left()->accept(this);
ASTNode *optimizedL = result();
node->right()->accept(this);
ASTNode *optimizedR = result();
setResult(new CallNode(optimizedL, optimizedR));
}

// ... snip ...
};

Я мог бы сделать его еще более сложным, чтобы избежать проблемы «состояние постоянно меняется», передав нового посетителя для каждого узла. Такое ощущение, что эта проблема требует более функционального решения.

На самом деле, я хотел бы написать выше, намного проще и проще для чтения:

class OptimizingVisitor : public Visitor {
public:
ASTNode* visit(CallNode *node) {
ASTNode *optimizedL = node->left()->accept(this);
ASTNode *optimizedR = node->right()->accept(this);
return new CallNode(optimizedL, optimizedR);
}

// ... snip ...
};

Конечно, теперь я изменил тип возврата, поэтому он не соответствует моему контракту с посетителями. Далекий от определения полностью отдельных интерфейсов для каждой возможной реализации посетителя и информирования AST об этих типах посетителей, кажется, единственной действительно логичной вещью, которую можно использовать, является void*, Гарантирует ли этот вид API использование void*? Есть лучший способ сделать это?