用于解析不是关键字的标识符名称的 PEG 语法

Question

我正在使用 Pest.rs 进行解析。 我需要解析标识符，但如果它们恰好是保留关键字，则拒绝它们。 例如， bat是一个有效的标识符名称， this不是因为它具有特定含义。 我的简化语法如下。

keyword = {"this" | "function"}
identifier = {ASCII+}
valid_identifier = { !keyword ~ identifier }

这有效，但它也拒绝像thisBat这样的标识符名称。 所以基本上它检查前缀是否不是keyword ，但我想检查完整的identifier 。

Answer 1

想出了一个破解方法来解决这个问题。

keyword = {"this" | "function"}
identifier = {ASCII+}
valid_identifier = @{ !keyword ~ identifier | keyword ~ identifier }

valid_identifier中新的第二条规则负责匹配第一个拒绝的有效情况。 请注意，我已将valid_identifier原子，因此不会插入空格，并且解析 output 不像this和Bat ，而是单个thisBat 。

Answer 2

假设标识符由字母数字字符组成，另一种选择是：

keyword = {"this" | "function"}
identifier = @{ !(keyword ~ !ASCII_ALPHANUMERIC) ~ ASCII_ALPHANUMERIC+ }

!(keyword ~ !ASCII_ALPHANUMERIC)拒绝任何以关键字开头的标识符，只要关键字后面的字符不能是标识符本身的一部分。 这意味着thisBat是可接受的标识符，但this并非如此。