使用 Boost Spirit Qi 解析标记的分隔列表

Question

使用 boost::spirit::qi 我试图解析由标签组成的行，后跟可变数量的分隔标记。我使用 phrase_parse 调用语法，并使用提供的 blank 解析器作为跳过解析器来保留换行符，因为我需要确保标签是每行的第一项。

简单的基本情况：

label token, token, token

可以用语法解析：

line = label >> (token % ',') >> eol;

我面临的问题是语法应该接受零个或多个标记，并且标记可能是空的。语法应该接受以下几行：

label
label ,
label , token
label token, , token,

我还没有设法创建一个接受上述所有示例的语法。 有关如何解决此问题的任何建议？

编辑：

感谢 sehe 就上述问题提供的所有意见。 现在对于我忘记包括的有趣部分...... 语法还应该接受空行和拆分行。 （没有标签的标记） 当我尝试将标签设为可选时，我得到一个与空字符串匹配的无限循环。

label

label token
token

Answer 1

你应该能够接受空列表

line = label >> -(token % ',') >> eol;

请注意，如果您的船长也跳过 eol，eol 将不起作用（因此不要使用 qi::space，但例如 qi::blank 用于此目的）

另外，根据token 的定义，您也许应该将其更改为也接受“空”令牌

---

回应评论：一个完整​​的工作示例Live On Coliru

#include <boost/spirit/include/qi.hpp>

namespace qi = boost::spirit::qi;

int main()
{
    using namespace qi;

    using It     = std::string::const_iterator;
    using Token  = std::string;
    using Tokens = std::vector<Token>;

    rule<It, blank_type> label 
        = lexeme[+~char_(":")] >> ':'
        ;

    rule<It, Token(), blank_type> token
        = lexeme[*~char_(",\n")];
        ;

    rule<It, Tokens(), blank_type> line
        = label >> -(token % ',') >> eol
        ;

    for (std::string const input : {
        "my first label: 123, 234, 345 with spaces\n",
        "1:\n",
        "2: \n",
        "3: ,,,\n",
        "4: ,  \t ,,\n",
        "5: ,  \t , something something,\n",
    })
    {
        std::cout << std::string(40, '=') << "\nparsing: '" << input << "'\n";

        Tokens parsed;
        auto f = input.begin(), l = input.end();
        bool ok = phrase_parse(f, l, line, blank, parsed);

        if (ok)
        {
            std::cout << "Tokens parsed successfully, number parsed: " << parsed.size() << "\n";
            for (auto token : parsed)
                std::cout << "token value '" << token << "'\n";
        }
        else
            std::cout << "Parse failed\n";

        if (f != l)
            std::cout << "Remaining input: '" << std::string(f, l) << "'\n";
    }
}

输出：

========================================
parsing: 'my first label: 123, 234, 345 with spaces
'
Tokens parsed successfully, number parsed: 3
token value '123'
token value '234'
token value '345 with spaces'
========================================
parsing: '1:
'
Tokens parsed successfully, number parsed: 1
token value ''
========================================
parsing: '2: 
'
Tokens parsed successfully, number parsed: 1
token value ''
========================================
parsing: '3: ,,,
'
Tokens parsed successfully, number parsed: 4
token value ''
token value ''
token value ''
token value ''
========================================
parsing: '4: ,       ,,
'
Tokens parsed successfully, number parsed: 4
token value ''
token value ''
token value ''
token value ''
========================================
parsing: '5: ,       , something something,
'
Tokens parsed successfully, number parsed: 4
token value ''
token value ''
token value 'something something'
token value ''