Perl6 Grammar.parse解析INI文件时无限循环占满CPU求助

嘿，我来帮你揪出这个导致100%CPU的无限循环问题～先看看你给出的Grammar代码里的几个关键问题：

1. TOP规则的嵌套重复引发回溯风暴 #

你写的TOP规则是：

token TOP { [ <comment>* [ <section> [ <line> | <comment> ]* ]* ]* }

这里外层的[...] *和内层的[...] *都是允许零次匹配的，这就给Perl 6的回溯解析器挖了个坑——解析器会不断尝试匹配空内容的组合，比如先匹配零个comment，再匹配零个section块，然后外层又重复这个空匹配，永远停不下来。这种多层可选空匹配很容易触发无限循环。

2. Identifier规则语法不完整 #

你的identifier规则写了一半就断了：

rule identifier { <[A..Za..z]> <[A..Za..z0..9... }

这里不仅缺少了闭合的]>，连最后的}都没写完！语法本身就有错误，解析器根本无法正确识别这个规则，后续的匹配逻辑自然会乱套，这也是引发异常或循环的潜在原因。

3. Subsection规则的字面量匹配问题 #

你定义的subsection规则是：

rule subsection { " <identifier> " }

这里的双引号是字面量匹配，也就是说它会尝试匹配实际的" <identifier> "字符串（包括双引号和空格），但通常INI的subsection格式要么是[section.subsection]，要么是[section "subsection"]，如果是后者，正确的写法应该是用'"' <identifier> '"'来匹配带引号的subsection，而不是把空格包在双引号里。

修正后的Grammar示例 #

我给你调整了规则，解决了上述问题：

grammar Format {
    token TOP {
        <comment>* 
        [ <section> [ <line> | <comment> ]* ]*
    }
    rule section {
        '[' <identifier> <subsection>? ']'
    }
    rule subsection {
        \s+ '"' <identifier> '"'  # 匹配带引号的subsection，比如 [section "sub"]
        # 如果是点分隔的subsection，改成: '.' <identifier>
    }
    token identifier {
        <[A..Za..z]> <[A..Za..z0..9_]>*  # 补全语法，允许下划线，更符合INI规范
    }
    token comment {
        \s* ';' \N* \n?  # 假设INI注释以;开头
    }
    token line {
        \s* <identifier> '=' <value> \n?
    }
    token value {
        <-[\n;]>*  # 匹配直到换行或注释的内容
    }
}

关键改进点： #

• 去掉了TOP规则外层多余的[...] *，避免多层空匹配循环
• 补全了identifier规则的语法，使其合法且符合INI标识符规范
• 修正了subsection的匹配逻辑，根据实际INI格式调整（这里假设是带引号的格式，你可以根据需求改成点分隔）
• 补充了comment和line规则的示例，让整个Grammar更完整

这样调整后，解析器就不会陷入无限循环了，同时语法也能正确匹配INI格式的内容。

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