ANTLR4语法匹配分隔符内外字符串：wiki内容被忽略原因及修正

初始语法忽略“4”的原因 #

1. 错误在语法规则中使用~操作符：ANTLR4的~仅允许在词法规则的字符集中使用（比如LEXER_RULE: ~'a';，表示匹配除a外的单个字符），不能在语法规则里用来取反字符串或词法符号。初始语法里的wiki: ~'<nowiki>'+;和nowiki: '<nowiki>' ~'</nowiki>'* '</nowiki>';都违反了这一规则，导致ANTLR无法正确解析这两个规则的语义。

2. 隐式词法符号的匹配逻辑混乱：初始语法没有定义显式词法规则，ANTLR会自动为<nowiki>和</nowiki>创建隐式词法符号（优先匹配最长字符串）。但错误的wiki规则无法识别单个字符4属于wiki内容——~'<nowiki>'被ANTLR错误解析，无法匹配非<nowiki>开头的普通字符。

3. 解析规则失效：由于wiki规则的语法错误，ANTLR在解析时会忽略或错误处理该规则。当遇到4时，没有有效规则匹配它，解析器只能继续尝试匹配nowiki规则。而错误的nowiki规则因~'</nowiki>'*的错误解析，意外将4和后续的<nowiki></nowiki>合并匹配为第二个nowiki，从而忽略了4应属于wiki的部分。

修正语法能正常工作的原因 #

修正后的语法通过显式词法规则明确了三类词法符号：

• P1: '<nowiki>'和P2: '</nowiki>'：遵循最长匹配原则，优先识别这两个标记字符串
• NP: .：匹配任意单个字符

此时nowiki: P1 NP* P2会正确匹配<nowiki>与</nowiki>之间的所有内容（包括空内容），wiki: NP+则匹配所有非P1/P2的普通字符序列（比如4），解析器能按预期交替匹配wiki和nowiki内容。

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