在递归规则中忽略与{}匹配的空元素

Question

我想描述一个可嵌套的条件。以下是我与之合作的内容：

expr = ( /[_a-zA-Z][a-zA-Z0-9_-]*/ ) ;

condop = ( "AND" | "OR" ) ;
condition = expr { condop condition } ;

start = condition ;

我可以使用以下行生成AST：

foo AND bar

这里是AST：

[
  "foo", 
  [
    [
      "AND", 
      [
        "bar", 
        []
      ]
    ]
  ]
]

但是＆＃34; bar＆＃34;之后有一个空列表，因为我猜最后一次条件规则匹配，＆＃34; condop condition＆＃34;值得一个空字符串。根据文档https://pypi.python.org/pypi/grako/3.16.0，{}会生成一个空列表。

有没有办法防止这种情况发生？

Answer 1

您所看到的不是特定于Grako的。您在同一规则上使用递归和闭包。

有（两种以上）方式来描述这些表达式：

condition = expr { condop expr } ;

或

condition = expr [ condop condition ] ;

或

condition = expr condop condition | expr;

相当于前一个。

左递归在Grako的所有情况下都不起作用，因此使用它需要您自担风险。相当于：

condition = condition condop condition | expr;