我如何用精神正确解析这个？

Question

我的情况：我是 Spirit 的新手，我必须使用 VC6，因此使用 Spirit 1.6.4。

我有一行看起来像这样：

//The Description;DESCRIPTION;;

如果该行以 //The Description; 开头，我想将文本 DESCRIPTION 放入字符串中。

我有一些可行的东西，但对我来说看起来不太优雅：

vector<char> vDescription; // std::string doesn't work due to missing ::clear() in VC6's STL implementation
if(parse(chars,
    // Begin grammar
    (
       as_lower_d["//the description;"]
    >> (+~ch_p(';'))[assign(vDescription)]
    ),
    // End grammar
    space_p).hit)
{
    const string desc(vDescription.begin(), vDescription.end());
}

我更想将所有可打印字符分配给下一个 ';' 但以下内容不起作用，因为 parse( ...).hit == false

parse(chars,
        // Begin grammar
        (
           as_lower_d["//the description;"]
        >> (+print_p)[assign(vDescription)]
        >> ';'
        ),
        // End grammar
        space_p).hit)

如何让它命中？

Answer 1

您可以尝试使用 confix_p：

confix_p(as_lower_d["//the description;"],
         (+print_p)[assign(vDescription)],
         ch_p(';')
        )

它应该相当于Fred的响应。

您的代码失败的原因是 print_p 是贪婪。 +print_p 解析器将消耗字符，直到遇到输入结尾或不可打印的字符。 分号是可打印的，因此 print_p 声明它。 您的输入耗尽，变量被分配，并且匹配失败 - 解析器的最后一个分号没有任何内容可以匹配。

Fred 的答案构造了一个新的解析器 (print_p - ';')，它匹配 print_p 所做的一切，除了分号。 “匹配除 X 之外的所有内容，然后匹配 X”是一种常见模式，因此提供了 confix_p 作为构建此类解析器的快捷方式。 文档建议使用它来解析 C 或 Pascal 风格的注释，但这不是必需的。

为了使您的代码正常工作，Spirit 需要识别出贪婪的 print_p 匹配太多，然后回溯以允许更少的匹配。 但是，尽管 Spirit 会回溯，但它不会回溯到子解析器贪婪匹配的“中间”。 它将回溯到下一个“选择点”，但你的语法没有任何选择。 请参阅详尽的回溯和贪婪Spirit 文档中的 RD。

Answer 2

你没有受到打击，因为 ';' 与 print_p 匹配。 尝试这个：

parse(chars,
    // Begin grammar
    (
       as_lower_d["//the description;"]
    >> (+(print_p-';'))[assign(vDescription)]
    >> ';'
    ),
    // End grammar
    space_p).hit)