匹配可选元素序列中的至少一个元素 (ANTLR)

Question

让我们考虑以下 ANTLR4 语法（最小示例）：

grammar Foo;

expr
   : a? b? c?
   ;

我如何指定a、b 或c 中的至少一个 必须出现在expr 中？

基本上我正在寻找以下内容的较短版本：

grammar Foo;

expr
   : a
   | b
   | c
   | a b
   | a b c
   | b c
   | c
   ;

有没有更简单的方法可以直接在语法中实现，还是解析后需要检查AST？

Answer 1

不像假设的“至少一个”运算符那么简单，但比您提出的解决方案更简单：

expr
   : a b? c?
   | b c?
   | c
   ;

至少，它是n 事物的n 产品，而不是2<sup>n</sup>−1 产品。