pest.rs文法中如何实现仅排除特定完整字符串的匹配规则

pest 没有提供正则式中的^/$位置锚点，但可以通过组合负向断言实现和^(?!abc$)[a-z]+完全等效的匹配逻辑。

核心写法 #

你之前的写法问题在于，负向断言仅判断了串开头是否为关键字，没有校验关键字是否为完整的独立串。正确的写法需要在断言中补充「关键字后无合法标识符字符」的判断，示例如下（以排除关键字abc、标识符为连续小写字母的场景为例）：

identifier {
    !("abc" ~ !ASCII_ALPHA_LOWER) ~ ASCII_ALPHA_LOWER+
}

逻辑说明 #

• 负向断言内的"abc" ~ !ASCII_ALPHA_LOWER匹配的是完整独立的关键字：即当前位置开头是abc，且abc后没有任何属于标识符合法字符集的内容（要么到输入末尾，要么后续是非标识符字符）
• 只有当当前位置不存在完整独立的关键字时，才会执行后续的标识符通用规则匹配
• 这个写法天然适配文法分词场景，当关键字后紧跟标点、空白、括号等非标识符字符时，也会被正确判定为关键字，不会出现误识别

边界验证 #

该写法可以覆盖所有预期场景：

• 输入为abc：断言命中完整关键字，规则匹配失败，符合关键字排除要求
• 输入为abcd：abc后仍有小写字母d，不满足完整关键字的判定，断言通过，abcd可被正常匹配为标识符
• 输入为ab/aabc/xabc：不满足关键字开头匹配要求，断言直接通过，可正常匹配

多关键字扩展 #

如果存在多个保留关键字，只需要把所有关键字加入断言的分支即可，建议把标识符合法字符抽为独立规则方便维护：

// 定义标识符允许的字符集，可根据需求扩展为ASCII字母、数字、下划线等
id_char = { ASCII_ALPHA_LOWER }
identifier {
    !(
        ("abc" | "def" | "return" | "fn") // 所有保留关键字列在这里
        ~ !id_char
    ) ~ id_char+
}

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