如何在Raku语法Token中实现交替分支的提交匹配？

你遇到的问题是Raku的交替匹配会自动回溯：当<header>匹配失败时，会 fallback到<regular>分支。要实现“匹配到---后要么成功解析header，要么整体匹配失败”的需求，最简洁的方式是使用Raku的<commit>断言，在<header>匹配到关键标识后锁定当前分支，阻止后续回溯。

修改后的语法代码 #

token paragraph {
    (
        || <header>
        || <regular>
    )
    \n
}

token header { ^^ '---' <commit> '+'**1..5 ' ' \N+ }
token regular { \N+ }

核心原理 #

• <commit>断言的作用是锁定当前匹配分支：一旦执行到这个位置，后续如果匹配失败，Raku不会回溯尝试其他交替分支。
• 以---++Foo为例：首先匹配---并触发<commit>，接着匹配+成功，但后续需要空格的位置不存在，导致<header>匹配失败。此时因为已经锁定分支，不会再尝试<regular>，最终整个<paragraph>匹配失败，完全符合你的预期。

多分支场景适配 #

如果你的实际语法包含更多分支，这种方法依然高效：只需在每个分支的唯一标志性匹配位置添加<commit>，就能确保一旦进入该分支的关键匹配阶段，就不会回溯到其他分支，彻底避免了逐个添加否定前瞻的繁琐操作。

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