antlr 4-警告：规则包含一个可选块，其中至少有一个可选块可以匹配空字符串

Question

我使用antlr v4编写了一个t-sql解析器。此警告是否有问题？

“规则‘sqlCommit’包含一个可选块，其中至少有一个可选块可以匹配空字符串”

我的代码：

sqlCommit: COMMIT (TRAN | TRANSACTION | WORK)? id?;

id:
ID  | CREATE | PROC | AS | EXEC | OUTPUT| INTTYPE |VARCHARTYPE |NUMERICTYPE |CHARTYPE |DECIMALTYPE | DOUBLETYPE | REALTYPE
|FLOATTYPE|TINYINTTYPE|SMALLINTTYPE|DATETYPE|DATETIMETYPE|TIMETYPE|TIMESTAMPTYPE|BIGINTTYPE|UNSIGNEDBIGINTTYPE..........
;

ID: (LETTER | UNDERSCORE | RAUTE) (LETTER | [0-9]| DOT | UNDERSCORE)*

在之前的版本中，我在sqlCommit中直接使用lexer规则ID而不是解析器规则ID。但将ID更改为ID后，会出现警告。

（如果您混淆了ID和ID，则提示：我想使用解析器规则ID而不是ID，因为标识符可以是可能已经被其他lexer规则匹配的文本）

当做

编辑在“280Z28”的帮助下，我解决了这个问题。在解析器规则中，“id”比需要的多了一个斜杠：BITTYPE|CREATE|PROC||AS|EXEC|OUTPUT|

因此| |包括解析器规则可以匹配空字符串。

Answer 1

我很难理解这个规则是如何受到这个警告的影响的（使用antlr 4.7.1）

join_type: (INNER | (left_right_full__join_type)? (OUTER)?)? JOIN;

left_right_full__join_type: LEFT | RIGHT | FULL;

JOIN:        J O I N;
INNER:       I N N E R;
OUTER:       O U T E R;

AFAICT它总是返回JOIN，并且可以选择前面有类型。

Answer 2

从Google搜索：

<代码>错误类型。EPSILON\u可选

编译器警告154。

rule rule包含一个可选块，其中至少有一个可选块可以匹配空字符串

规则包含围绕空替代方案的可选块（（...）？）。

以下规则产生此警告。

x  : ;
y  : x?;                                // warning 154
z1 : ('foo' | 'bar'? 'bar2'?)?;         // warning 154
z2 : ('foo' | 'bar' 'bar2'? | 'bar2')?; // ok

自：4.1

此警告描述的问题主要是性能问题。通过将长度为零的字符串包装到可选块中，您为语法添加了一个完全不必要的决定（是否输入可选块），这很可能会迫使预测算法通过其最慢的路径。这类似于在以下方面包装Java代码：

if (slowMethodThatAlwaysReturnsTrue()) {
  ...
}