促进精神解析 - 创建正确的 AST 树

BOOST SPIRIT parsing - create correct AST tree

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

我必须使用Boost Spirit解析类似这样的序列

t1 JOIN t2 JOIN t3 JOIN ... JOIN tn

结果应该是带有语义的 AST 树 

((...((t1 JOIN t2) JOIN t3) JOIN ...) JOIN tn)

我尝试使用这样的规则：

source = singleTable | (source >> JOIN >> singleTable);

但是，根据 Boost Spirit 设计，解析过程仅使用规则的第一部分，仅解析表达式中的第一项 （"t1"），而将序列的其余部分保留为未解析（"加入 t2 加入 t3 加入......加入 tn"）。

解决此问题

的最佳方法是什么？

我可以像这样重写规则

source = (singleTable >> JOIN >> source) | singleTable;

但在这种情况下，创建的 AST 将看起来像 

(t1 JOIN (t2 JOIN (t3 JOIN (... JOIN tn)...))).

因此，我将需要一个补充处理步骤才能使 AST 达到所需的形式。

解析后是否有其他方法可以提供正确的 AST？

*除了数据库引擎不会盲目地创建这样的 AST。更有可能的是，他们可能会创建一个行源（（连接到）表/视图）的无序列表，并让查询优化器确定如何以最佳方式规划执行。

除非有更好的实际 AST 示例，否则这里有一个更接近的规则：

 singleTable >> - ("JOIN" >> source)
相关文章：