qi::rule 继承属性为继承属性

Question

假设我们有一个规则 1

qi::rule<std::string::iterator, int()> rule1 = qi::int_[qi::_val=qi::_1];

而且我们决定获取一个 int 作为属性是不够的，我们还想获取原始数据 (boost::iterator_range)。我们可能有很多与 rule1 类型相同的规则。所以最好有一个通用的解决方案。因此我们可以定义另一个规则 2。

qi::rule<
    std::string::iterator,
    std::pair<int, boost::iterator_range<std::string::iterator>>(
        qi::rule<std::string::iterator, int()>&
    )
> rule2 = qi::raw[
    qi::lazy(qi::_r1)[at_c<0>(qi::_val)=qi::_1]
][at_c<1>(qi::_val)=qi::_1];

规则 2 在测试代码中运行良好。

std::pair<int, boost::iterator_range<std::string::iterator>> result;
auto itBegin=boost::begin(str);
auto itEnd=boost::end(str);
if (qi::parse(itBegin, itEnd, rule2(phx::ref(rule1)), result)) {
    std::cout<<"MATCH! result = "<<result.first<<", "<<std::string(boost::begin(result.second), boost::end(result.second))<<std::endl;
} else {
    std::cout<<"NOT MATCH!"<<std::endl;
}

但是如果 rule1 接受一个继承的属性，就说一个 bool。

qi::rule<std::string::iterator, int(bool)> rule1 = qi::int_[
    if_(qi::_r1)[qi::_val=qi::_1]
    .else_[qi::_val=-1]
;

出于测试目的，我们简单地将 true 从 rule2 传递给 rule1。

qi::rule<
    std::string::iterator,
    std::pair<int, boost::iterator_range<std::string::iterator>>(
        qi::rule<std::string::iterator, int(bool)>&
    )
> rule2 = qi::raw[
    qi::lazy(qi::_r1)(true)[at_c<0>(qi::_val)=qi::_1]
][at_c<1>(qi::_val)=qi::_1];

但是编译器会报error_invalid_e测试表达式错误。这有什么问题吗？谢谢。

Answer 1

phx::bind 其实解决了这个问题。

qi::rule<
    std::string::iterator,
    std::pair<int, boost::iterator_range<std::string::iterator>>(
        qi::rule<std::string::iterator, int(bool)>&
    )
> rule2 = qi::raw[
    qi::lazy(phx::bind(qi::_r1,true))[at_c<0>(qi::_val)=qi::_1]
][at_c<1>(qi::_val)=qi::_1];

qi::rule 继承属性为继承属性

qi::rule with inherited attribute as inherited attribute

c++

boost

boost-spirit

boost-phoenix

boost-spirit-qi