如何在算法需知晓派生类时实现算法与数据解耦？

我正在开发一款用于辅助日常工作的简易解释型语言，目前已经完成了几个核心模块的搭建，具体情况如下：

• 已经实现了Lexer（词法分析器），并且成功对接了Abstract Syntax Tree（抽象语法树）生成器，现在AST可以正常输出各类Expressions（表达式）。
• 为了妥善管理表达式对象的内存与所有权，我采用std::unique_ptr来传递这些表达式实例。
• 基于表达式基类，我已经定义了多种具体的派生类型，涵盖：
  • Numbers（数值表达式）
  • Variables（变量表达式）
  • 函数调用与函数原型表达式
  • 二元运算表达式

内容的提问来源于stack exchange，提问作者Thor Correia