请Jison忽略一些不必要的细节

Question

我正在使用Jison编写一个解析器，它允许我解析一种相当复杂的表达式语言。在这种语言中，它支持语法，如：

stats_expression
  : stats_function '(' eval_expression ')'
  | other_stats_aggregation
  ;

stats_function
  : SUM
  | AVERAGE
  | ...
  ;

这里的eval_表达式非常复杂（具有嵌套eval、逻辑表达式等功能），我不关心eval_表达式的内容，也不想花费太多精力解析它。我只想获得上述语法中的其他信息，比如stats_函数名。

我的问题是，在Jison中是否有任何方法允许我做一些通配符匹配来轻松匹配整个eval_expression，而无需为eval_expression编写完整的lexer/语法规范？

注意：像使用正则表达式而不是Jison来完成这项工作这样的解决方案对我来说不起作用，因为我需要用我为其编写的整个语法/解析器的语言来解析上面的其他_stats_aggregation部分。

感谢任何帮助。

Answer 1

假设您不需要为任何其他目的完全解析eval_expression（即，它不是表达式的一部分），那么您唯一需要知道的是表达式的终止位置。假设它有平衡括号可能是合理的，所以它将跨越括号平衡的任何令牌序列，可以用以下方式识别：

 balanced_paren_sequence: 
                        | balanced_paren_sequence balanced_paren_object
                        ;

 /* Since jison has no wild cards, you need this complete list */
 balanced_paren_object: '(' balanced_paren_sequence ')'
                      | '+' | '-' | '*' | '/' | ...
                      | `[` | `]` | '{' | '}' | ...
                      | IDENTIFIER | CONSTANT | ...
                      ;

balanced_paren_object的可能RHS列表将包括除（and）之外的所有语言令牌。如图所示，它包括其他平衡对，如[/]and{/}。

您也可以通过添加类似于balanced\u paren\u object的第一个产品的规则来强制实现这些平衡，但这只对改进错误报告有用；如前所述，解析器将接受包含不平衡括号的某些不正确的构造，但由于您没有进行详细的解析，解析器最终还是会接受某些不正确的构造。

您可以将balanced_paren_object的定义内联到balanced_paren_sequence中（事实上，如果只有一种类型的表达式的详细解析树您不需要，您可以使用eval_expression作为非终端的名称）；我写它就像上面一样，只是为了清晰。