提振.使用可选解析器的Qi编译器错误

Question

我是Boost。气初学者，所以我尝试了一些简单的例子，试图让我的头脑围绕它。我试图解析一个字符串，看起来像:

A:1     B:2           C:3

字符串中每个组件之间有任意数量的空白。A:等部分是固定的，我想解析整数值。字符串的第三个组成部分，即上面示例中的C:3，是可选的。我想出了下面这个简单的例子来测试Boost。此应用程序的Qi:

#include <boost/optional.hpp>
#include <boost/spirit/include/qi.hpp>
#include <iostream>
namespace qi = boost::spirit::qi;
int main()
{
    std::string s = "A:1   B:2          C:3";
    int a, b;
    boost::optional<int> c;
    if (!qi::parse(s.begin(), s.end(),
        qi::lit("A:") >> qi::int_ >> +qi::space >> "B:" >> qi::int_ >> 
            -(+qi::space >> "C:" >> qi::int_), a, b, c))
    {
        std::cout << "failed to parse" << std::endl;
    }
    std::cout << a << ' ' << b << ' ' << c.value_or(-1) << std::endl;
}

然而，这无法编译(在c++ 11模式下使用Boost v1.58和g++ 5.4.0)。在典型的c++模板错误消息中，我发现了以下内容:

spirit.cc:15:55:   required from here
/usr/include/boost/spirit/home/support/container.hpp:130:12: error: ‘int’ is not a class, struct, or union type
     struct container_value

和

spirit.cc:15:55:   required from here
/usr/include/boost/spirit/home/qi/detail/pass_container.hpp:316:66: error: no type named ‘type’ in ‘struct boost::spirit::traits::container_value<int, void>’
             typedef typename traits::container_value<Attr>::type value_type;
                                                                  ^
/usr/include/boost/spirit/home/qi/detail/pass_container.hpp:329:15: error: no type named ‘type’ in ‘struct boost::spirit::traits::container_value<int, void>’

我在这里做错了什么对任何人来说都很明显吗?

Answer 1

解决这个问题的方法是使用phrase_parse和qi::space skipper:

if (!qi::phrase_parse(s.begin(), s.end(),
        qi::lit("A:") >> qi::int_ >> "B:" >> qi::int_ >> -("C:" >> qi::int_), qi::space, a, b, c))

Answer 2

您的原始语法看起来像这样(带有一些格式):

   qi::lit("A:")
>> qi::int_
>> +qi::space
>> qi::lit("B:")
>> qi::int_
>> -(  +qi::space
    >> qi::lit("C:")
    >> qi::int_
    )

重要的是要注意每个终端生成的属性类型:

• qi::lit没有生成属性
• qi::space生成字符属性
• qi::int生成一个int属性

此外，注意复合属性的相关规则。

基于此，你实际上有:

• 整数
• 字符向量(由于+)
• 整数
的
• 可选(由于-)元组(由于>>)
  • 字符向量(由于+)
  • 整数

这与您使用。

调用parse不匹配。

关键是使用omit指令来抑制你不关心的属性。

在这种情况下，正确的语法应该是:

   qi::lit("A:")
>> qi::int_
>> qi::omit[+qi::space]
>> qi::lit("B:")
>> qi::int_
>> -(  qi::omit[+qi::space]
    >> qi::lit("C:")
    >> qi::int_
    )