PEST语法解析失败求助：自定义类类型字段声明报预期id错误

问题场景 #

使用PEST语法解析类内字段声明时，field x f;解析失败，报错信息如下：

--> 1:10
  |
1 | field x f;
  |          ^---
  |
  = expected id

但field int f;可以正常解析，简化后的PEST语法规则如下：

class_var = { kind ~ type ~ name ~ ";" }
kind      = { "static" | "field" }
type      = { "int" | "char" | "bool" | class_name }
class_name = {id}
name       =  { id }
id         =  { ASCII_ALPHA ~ ASCII_ALPHA* }
WHITESPACE = _{ " " | "\t" | "\n" }

根本原因 #

这是PEST的回溯匹配优先级导致的歧义问题：

• 当解析field x f;时，x既符合class_name（属于type规则），也符合name规则，PEST会优先将x匹配为name。
• 匹配流程变为：kind匹配field → x被匹配为name → 剩余的f;需要匹配type，但f后的;不符合type的规则，最终在;位置报错期望id。
• 而field int f;能正常解析，是因为int是type里明确的关键字，不会被误匹配为name。

修复方案 #

通过原子组强制type作为整体优先匹配，避免回溯歧义。修改后的语法规则如下：

class_var = { kind ~ @{type} ~ name ~ ";" }
kind      = { "static" | "field" }
type      = { "int" | "char" | "bool" | class_name }
class_name = {id}
name       =  { id }
id         =  { ASCII_ALPHA ~ ASCII_ALPHA* }
WHITESPACE = _{ " " | "\t" | "\n" }

或者直接将type定义为原子组：

type      = @{ "int" | "char" | "bool" | class_name }

原子组@{...}会阻止PEST对内部规则进行回溯，确保type被完整匹配后，再去匹配后续的name规则，彻底解决匹配顺序的歧义问题。

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