使用Pest.rs时如何为内联定义的规则添加解析树捕获节点

问题根源 #

Pest 语法中的普通()仅承担逻辑优先级分组的作用，不属于独立规则单元。解析树构建阶段会自动将这类分组的子节点直接提升到父节点层级（扁平化处理），因此无法生成独立的分组节点。只有被识别为独立规则单元的匹配片段，才会在解析树中生成对应的独立节点。
如果不想为单次使用的匹配逻辑抽取顶层独立规则，完全可以通过内联匿名规则块实现独立节点生成，最终效果和单独定义中间规则完全一致。

核心实现方法 #

直接把需要生成独立节点的普通内联分组，替换为带规则修饰符的匿名规则块，根据需要选择匹配的修饰符即可：

• _{ ... }：静默规则块，内联使用时会生成独立节点，块内部的匹配片段不会拆分出独立子节点，整个节点直接关联完整匹配的文本范围，适合只需要标记分组位置、不需要展示内部细节的场景
• @{ ... }：原子规则块，内联使用时会生成独立节点，块内部的匹配片段仍然会按照原有逻辑生成对应的子节点
• ${ ... }：文本规则块，内联使用时会生成独立节点，匹配的文本会被合并为连续片段，不会拆分为子节点
  这类内联匿名块支持配合所有常用量词（?、*、+）使用，和普通括号的逻辑完全兼容，不需要调整原有规则的结构。代码生成器会自动为每个内联块分配唯一的规则标识，不需要用户手动在顶层定义对应规则，也不需要为规则命名。

场景示例 #

1. FOO/FOOBAR 匹配场景 #

• 修改前（普通括号分组被扁平化，无独立的匹配片段节点）：

conf = { SOI ~ ("FOO" ~ "BAR"?) ~ NEWLINE ~ EOI }

• 修改后（使用内联匿名块生成独立节点，不抽term类中间规则）：

conf = { SOI ~ _{ "FOO" ~ "BAR"? } ~ NEWLINE ~ EOI }

此时生成的解析树会单独分出对应FOO/FOOBAR匹配范围的独立节点，可以清晰区分两种匹配场景。

2. Exim 条件分支建模场景 #

• 修改前（全使用普通括号，内联分组被扁平化，无法区分各分支结构）：

conditional = { ( "ifndef" | "ifdef" ) ~ conditional_block ( ( "elifndef" | "elifdef" ) ~ conditional_block )? ( "else" ~ conditional_block )? }

• 修改后（保留全内联写法，不抽_if/_elif/_else中间规则，各分组生成独立节点）：

conditional = {
  // 初始if/ifndef分支独立节点
  _{ "ifndef" | "ifdef" } ~ conditional_block
  // 可选elif分支独立节点：将关键字与对应块的整体逻辑打包为匿名块，直接在块后添加可选量词
  _{ "elifndef" | "elifdef" ~ conditional_block }?
  // 可选else分支独立节点
  _{ "else" ~ conditional_block }?
}

生成的解析树会清晰拆分出每个分支的匹配范围，完全满足结构展示需求，且全程不需要为单次使用的逻辑定义独立的顶层规则。

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