Raku语法动态更新问题：解析Racket/Scribble月度报告失败

核心问题分析 #

动态变量$*tsymm在解析第二个月份章节时未正确重置，导致子章节匹配的上下文信息错误。本质是Raku动态变量的作用域特性——若未在章节解析的边界处做作用域隔离或显式重置，后续章节会继承前一章节的变量值。

可行解决方案 #

1. 改用词法变量隔离章节作用域 #

动态变量适合跨作用域共享，但这里章节解析是独立上下文，用词法变量更可靠：

grammar ScribbleReport {
    rule TOP { <month-section>+ }
    rule month-section {
        my $tsymm; # 每个章节单独初始化词法变量
        '<section>' <year-month> { $tsymm = $<year-month>.Str }
        <sub-section>+
    }
    rule year-month { \d+ \s \d+ \(<[A..Z]><[a..z]>+?\) } # 匹配2024 12(December)格式
    rule sub-section {
        '<sub>' $tsymm # 直接使用当前章节的词法变量
    }
}

$tsymm被限制在单个<month-section>的作用域内，每个章节解析时都会重新初始化，不会互相干扰。

2. 用temp关键字临时覆盖动态变量 #

如果必须保留动态变量，用temp在块内临时赋值，块结束后自动恢复原变量值：

grammar ScribbleReport {
    rule TOP { <month-section>+ }
    rule month-section {
        '<section>' <year-month> 
        with $<year-month>.Str {
            temp $*tsymm = $_; # 块结束后自动恢复$*tsymm之前的值
            <sub-section>+
        }
    }
    rule sub-section { '<sub>' $*tsymm }
}

这种方式无需手动重置，能确保下一个章节解析时$*tsymm回到初始状态。

3. 直接传递上下文参数给子章节 #

完全避免全局变量，将章节的年月信息作为参数传递给子章节规则：

grammar ScribbleReport {
    rule TOP { <month-section>+ }
    rule month-section {
        '<section>' $ym=<year-month>
        <sub-section($ym)>+
    }
    rule sub-section($tsymm) { '<sub>' $tsymm.Str }
    token year-month { \d+ \s \d+ \(<[A..Z]>[a..z]+\) }
}

子章节规则直接接收当前章节的上下文，从根源上消除了作用域冲突问题。

验证方法 #

构造多章节测试输入：

<section>2024 12(December)
<sub>2024 12(December)
<section>2024 11(November)
<sub>2024 11(November)

检查解析结果中子章节的年月是否与对应章节一致，确认变量未被前一章节的值污染。

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