ANTLRv4 C语法为何接受无空格的constint标识符？

核心原因拆解 #

1. 词法分析的匹配逻辑 #

ANTLR的词法分析遵循最长匹配和规则定义优先级：

• C.g4里仅定义了CONST（匹配const）和INT（匹配int）这两个单独的关键字规则，没有对应constint的关键字规则。
• 输入constint是连续字符串，无法被任何单个关键字规则匹配，此时会触发标识符规则（通常是IDENTIFIER : [a-zA-Z_][a-zA-Z0-9_]*;）的匹配，把它识别为一个合法的自定义标识符。

2. 语法规则对自定义类型的兼容 #

C语言本身支持用户通过typedef定义自定义类型，所以C.g4的语法规则（比如typeSpecifier）会专门预留标识符的位置，示例规则大致如下：

typeSpecifier
    : VOID
    | CHAR
    | INT
    | LONG
    | IDENTIFIER // 允许自定义类型名作为类型说明符
    // ...其他内置类型规则
    ;

当constint被识别为标识符后，语法分析器会将其视为一个合法的自定义类型，后续的变量声明结构符合语法要求，因此不会报错。

对比：缺少分号为何报错 #

const int test = 3缺少分号时，违反了C.g4中声明语句必须以分号结尾的明确规则，属于语法结构不完整，所以会直接触发语法错误。

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