将 AST 创建和计算与提升精神分开

Separating AST creation and computation with boost spirit

本文关键字：AST 创建 计算      更新时间：2023-10-16

我尝试构建一个非常简单的计算器，支持x，y，+,-,*，/（，）。这个想法很简单：

  1. 从输入字符串构建语法树（可能是："x+3y"）
  2. 对于给定的 x，y 通过解析语法树并插入 x 和 y 的整数来计算结果。

在 boost 1.46 中，您可以使用 parse_phrase（） 轻松地同时完成这两个步骤。但是，我必须执行步骤 2 一百万次，而解析不会更改。所以我想把它分开（就像经典精神版本中通常的那样）。我该怎么做？（请注意：boost 1.46还没有utree数据结构）

我同时得到了一个解决方案。这很简单，看看这里链接的提升文档。

main（） 函数包含以下代码：

expression_ast ast;
ast_print printer;
bool r = phrase_parse(iter, end, calc, space, ast);
if (r && iter == end)
{
    // [...]
    printer(ast);
    // [...]
}

boost中实际上有多个phrase_parse（）函数。如 boost 文档中所述，phrase_parse 有变体和"带有附加参数的phrase_parse变体：解析器的属性"。在上面的代码中，ast是解析器的属性; 然后printer评估 AST。

如果我们想从外部评估具有不同值的打印机，我们会在每次调用printer(ast)之前将它们传递给打印机。

1.46 注意事项：目前还没有boost::utree。但是，此示例中的 AST 是具有完整功能的替代项。

相关文章：