c++ - Boost spirit 词素及其属性

Question

我正在使用一个跳过空格的解析器。有一次，我不想跳过，所以我想使用 qi::lexeme .但是，这要么不会编译，要么会弄乱我的结果。我尤其不能理解最后一点。 lexeme的属性如何处理了吗？

这是我正在尝试做的一个例子:

#include <iostream>
#include <iomanip>
#include <string>
#include <boost/spirit/include/qi.hpp>
#include <boost/fusion/include/vector.hpp>

namespace qi = boost::spirit::qi;
namespace fu = boost::fusion;

struct printer_type
{
    void operator() (int i) const
    {
        std::cout << i << ' ';
    }

    void operator() (std::string s) const
    {
        std::cout << '"' << s << '"' << ' ';
    }

} printer;

int main() {
    for (std::string str : { "1foo 13", "42 bar 13", "13cheese 8", "101pencil13" }) {
        auto iter = str.begin(), end = str.end();

        qi::rule<std::string::iterator, qi::blank_type, fu::vector<int, std::string, int>()> parser = qi::int_ >> +qi::alpha >> qi::int_;

        fu::vector<int, std::string, int> result;
        bool r = qi::phrase_parse(iter, end, parser, qi::blank, result);

        std::cout << " --- " << std::quoted(str) << " --- ";
        if (r) {
            std::cout << "parse succeeded: ";
            fu::for_each(result, printer);
            std::cout << '\n';
        } else {
            std::cout << "parse failed.\n";
        }

        if (iter != end) {
            std::cout << " Remaining unparsed: " << std::string(iter, str.end()) << '\n';
        }
    }
}

注意这一行:

qi::rule<std::string::iterator, qi::blank_type, fu::vector<int, std::string, int>()> parser = 
                      qi::int_ >> +qi::alpha >> qi::int_;

好的，所以我们需要一个整数，然后是一个字符串，然后又是一个整数。但是，我不想跳过第一个 int 和字符串之间的空格，这里不能有空格。如果我使用 lexeme，合成的属性就会变得困惑。

没有 lexeme 的运行给出以下结果:

--- "1foo 13" --- parse succeeded: 1 "foo" 13 
 --- "42 bar 13" --- parse succeeded: 42 "bar" 13 
 --- "13cheese 8" --- parse succeeded: 13 "cheese" 8 
 --- "101pencil13" --- parse succeeded: 101 "pencil" 13 

所以一切都解析得很好，这很好。但是，第二个示例 ( 42 bar 13 ) 不应成功解析，所以这里是 lexeme 的结果围绕第一个 int 和字符串( qi::lexeme[qi::int_ >> +qi::alpha] >> qi::int_; ):

" 0  "1foo 13" --- parse succeeded: 1 "
 --- "42 bar 13" --- parse failed.
 Remaining unparsed: 42 bar 13
 --- "13cheese 8" --- parse succeeded: 13 " 0 
" 0  "101pencil13" --- parse succeeded: 101 "

什么!？我对发生了什么一无所知，我很高兴得到任何启发:)

附带问题:我想省略 lexeme完全定义一个不跳过的子规则。在这种情况下如何指定属性？

然后子规则具有属性 fusion::vector<int, std::string>() , 但我仍然希望主要规则有 fusion::vector<int, std::string, int>()作为属性，而不是 fusion::vector<fusion::vector<int, std::string>, int>() (无论如何都不会编译)。

Answer 1

使用 no_skip 指令:qi::int_ >> qi::no_skip[+qi::alpha] >> qi::int_

 --- "1foo 13" --- parse succeeded: 1 "foo" 13 
 --- "42 bar 13" --- parse failed.
 Remaining unparsed: 42 bar 13
 --- "13cheese 8" --- parse succeeded: 13 "cheese" 8 
 --- "101pencil13" --- parse succeeded: 101 "pencil" 13 

https://wandbox.org/permlink/PdS14l0b3qjJwz5S

---

Sooo.... what!? I have not the slightest clue what is going on, i'm happy for any enlightment :)

正如@llonesmiz 提到的 qi::lexeme[qi::int_ >> +qi::alpha] >> qi::int_解析器绑定(bind)到 tuple<tuple<int,std::string>,int>你触发了 trac 8013 bug/misfeature 在这里两次(第一次是针对整个序列解析器，第二次是针对 lexeme 中的序列)。