Question

我有以下解析规则：

filter = (input >> (qi::repeat(0,2)[char_(';') >> input]))

input是一个返回std::vector<int>向量的规则，我将简称为vec。

问题是：filter规则会返回什么复合属性？

我试过了：

fusion::vector <vec,std::vector <fusion::vector <char,vec> > >

但它失败了，我不知道为什么。

Answer 1

解析器表达式产生的属性类型为quite井 - documented。但这可能会让人迷失方向并且耗费时间。

这是一个技巧：发送一个sentinel来检测属性类型：

struct Sniffer
{
    typedef void result_type;

    template <typename T>
    void operator()(T const&) const { std::cout << typeid(T).name() << "\n"; }
};

然后使用folliing解析器表达式

 (input >> (qi::repeat(0,2)[qi::char_(';') >> input])) [ Sniffer() ]

将转储：

N5boost6fusion7vector2ISt6vectorIsSaIsEES2_INS1_IcS4_EESaIS5_EEEE

c++filt -1告诉你的

代表：

boost::fusion::vector2<
    std::vector<short, std::allocator<short> >, 
    std::vector<boost::fusion::vector2<char, std::vector<short, std::allocator<short> > >, 
                std::allocator<boost::fusion::vector2<char, std::vector<short, std::allocator<short> > > 
            > > 
 >

在Coliru上直播：http://coliru.stacked-crooked.com/view?id=3e767990571f8d0917aae745bccfa520-5c1d29aa57205c65cfb2587775d52d22

boost::fusion::vector2<std::vector<short, std::allocator<short> >, std::vector<std::vector<short, std::allocator<short> >, std::allocator<std::vector<short, std::allocator<short> > > > >

部分原因可能会非常复杂，因为char_(";")可能是';'（或更明确地lit(';')）。 Constrast with this (Coliru)：

boost::fusion::vector2<
    std::vector<short, ... >, 
    std::vector<std::vector<short, std::allocator<short> >, ... > >

这应该回答你的问题。

侧注：解析事物

不要低估Spirit中的自动属性传播。通常，您不必为完全公开的属性类型而烦恼。相反，依赖于Spirit使用的（许多）属性转换将它们分配给提供的属性引用。

我相信你知道列表操作符（%）的精神？我会告诉你如何使用它而不用多说：

vector<vector<short>> data;

qi::parse(f, l, qi::short_ % ',' % ';', data);

现在，如果您需要强制执行它可能是1-3个元素的事实，您可以使用带有Phoenix操作的eps来声明最大大小：

const string x = "1,2,3;2,3,4;3,4,5";
auto f(begin(x)), l(end(x));

if (qi::parse(f, l, 
        (qi::eps(phx::size(qi::_val) < 2) > (qi::short_ % ',')) % ';'
        , data))
{
    cout << karma::format(karma::short_ % ',' % ';', data) << "\n";
}
cout << "remaining unparsed: '" << std::string(f,l) << "'\n";

打印：

1,2,3;2,3,4
remaining unparsed: ';3,4,5'

Boost :: Spirit解析规则中的复合属性生成

1 个答案:

侧注：解析事物