ANTLR4疑问：无法解析Compaire词法规则却可解析compaire语法规则

你的问题核心在于ANTLR4的规则命名约定和语法规则中字面量的使用规范，具体原因如下：

• 语法规则中字面量未加单引号：
  你原始语法的type规则里写了ID('<'ID'>')?，这里的<和>没有用单引号括起来。在ANTLR4中，语法规则里的字面量必须用单引号包裹，否则会被当成规则名称（比如<会被视为要匹配名为<的词法/语法规则，但你并未定义），这会导致解析器生成失败，进而无法正常使用Compaire词法规则。

• 词法规则与规则引用的混淆：
  当你显式定义大写开头的Compaire词法规则时，ANTLR会将其视为独立的词法符号。但由于type规则中错误地引用了未定义的<、>规则，整个语法的合法性被破坏，导致Compaire规则无法被正确识别和使用。

• 改为小写语法规则时的隐式词法生成：
  当你把Compaire改成小写的compaire语法规则（compaire: '>' | '<';）时，相当于在语法规则中内嵌了字面量，ANTLR会自动为>和<生成隐式的词法规则。同时如果你修正了type规则中的<和>为'<'和'>'，整个语法能正确生成解析器，自然可以正常解析输入。

修正后的正确语法示例 #

grammar test;

parse: (expr | type) EOF;

type: ID ('<' ID '>')?; // 字面量加单引号
expr: ID Compaire ID;

Compaire: '>' | '<';

ID: [a-z];

内容的提问来源于stack exchange，提问作者Lson