表达式解释器：让 Flux 代码真正跑起来

Sat, 23 May 2026 00:00:00 +0000

Parser 负责把源码变成 AST，但 AST 本身不会执行。cpp/pl/flux 的执行入口主要在 runtime/runtime_eval.cpp 和 runtime/runtime_exec.cpp：前者处理表达式求值，后者处理文件级语句执行、结果收集和顶层环境。

Value：运行时的统一数据模型

解释器首先需要一个统一的运行时值类型。当前 Value 覆盖了 Flux 子集执行所需的主要类型：

数组和对象是很多高级能力的基础。数组承载 array.map/filter/reduce 这类高阶函数；对象既表示普通 record，也表示 package object、函数命名参数和 table row。

table 是项目中特别重要的一类值。它不是单张二维表的简单包装，而是 Flux table stream 的内存表示，包含 rows、logical tables、group key、bucket、result name 等信息。后续查询执行文章会单独展开。

Value 是解释器最核心的数据结构之一。它需要在两个方向之间取平衡：一方面要足够通用，能承载 Flux 的动态值；另一方面不能变成“什么都能塞”的无约束容器。

当前实现把类型枚举和具体 payload 绑定在一起，调用方通过 type() 判断，再使用 as_int()、as_array()、as_object() 这类访问器取值。这种设计比到处使用 std::any 更可控，也比一开始引入复杂类型系统更轻量。

它的代价是 runtime 需要大量显式类型检查。例如 builtin 取参数时必须确认字段存在、类型正确、数组元素符合预期。项目里很多 helper 的价值就在这里：把重复的参数检查、错误信息和 StatusOr 返回模式收敛起来，避免每个 builtin 都手写一套脆弱逻辑。