我想知道Boost.Spirit.Qi中是否有一种方法可以在运行时动态组合任意数量的规则。 Boost.Spirit的内部工作方式对我来说仍然有点神秘,但由于规则被实现为对象似乎是可行的。我的动机是让语法的某些部分容易扩展。
考虑以下设想的例子:
namespace qi = boost::spirit::qi;
namespace px = boost::phoenix;
typedef std::string::const_iterator iterator_t;
template<typename Expr>
inline bool parse_full(const std::string& input, const Expr& expr)
{
iterator_t first(input.begin()), last(input.end());
bool result = qi::phrase_parse(first, last, expr, boost::spirit::ascii::space);
return first == input.end() && result;
}
void no_op() {}
int main(int argc, char *argv[])
{
int attr = -1;
// "Static" version - Works fine!
/*
qi::rule<iterator_t, void(int&)> grammar;
qi::rule<iterator_t, void(int&)> ruleA = qi::char_('a')[qi::_r1 = px::val(0)];
qi::rule<iterator_t, void(int&)> ruleB = qi::char_('b')[qi::_r1 = px::val(1)];
qi::rule<iterator_t, void(int&)> ruleC = qi::char_('c')[qi::_r1 = px::val(2)];
grammar =
ruleA(qi::_r1) | //[no_op]
ruleB(qi::_r1) | //[no_op]
ruleC(qi::_r1); //[no_op]
*/
// "Dynamic" version - Does not compile! :(
std::vector<qi::rule<iterator_t, void(int&)>> rules;
rules.push_back(qi::char_('a')[qi::_r1 = px::val(0)]);
rules.push_back(qi::char_('b')[qi::_r1 = px::val(1)]);
rules.push_back(qi::char_('c')[qi::_r1 = px::val(2)]);
std::vector<qi::rule<iterator_t, void(int&)>>::iterator i(rules.begin()), last(rules.end());
qi::rule<iterator_t, void(int&)> grammar;
grammar = (*i)(qi::_r1);
for(++i; i!=last; ++i)
{
grammar = grammar.copy() | (*i)(qi::_r1);
}
// Tests
if(parse_full("a", grammar(px::ref(attr)))) std::cout << attr << std::endl;
if(parse_full("b", grammar(px::ref(attr)))) std::cout << attr << std::endl;
if(parse_full("c", grammar(px::ref(attr)))) std::cout << attr << std::endl;
std::cin.ignore(std::numeric_limits<std::streamsize>::max(), '\n');
return 0;
}
Visual Studio 2010提供的错误是:
error C2440: 'initializing' : cannot convert from 'boost::fusion::void_' to 'int &'
我怀疑这是因为没有将继承的属性传递给grammar.copy()
。不幸的是,我找不到一个简单的方法,所以我选择了一种解决方法。因此,我有一个最后一个版本(我已经要感谢那些到现在为止的人!)。这个似乎有效:
// "Dynamic" version - Kind of works! :-/
std::vector<qi::rule<iterator_t, void(int&)>> rules;
rules.push_back(qi::char_('a')[qi::_r1 = px::val(0)]);
rules.push_back(qi::char_('b')[qi::_r1 = px::val(1)]);
rules.push_back(qi::char_('c')[qi::_r1 = px::val(2)]);
std::vector<qi::rule<iterator_t, void(int&)>>::iterator i(rules.begin()), last(rules.end());
qi::rule<iterator_t, int()> temp;
temp = (*i)(qi::_val); //[no_op]
for(++i; i!=last; ++i)
{
temp = temp.copy() | (*i)(qi::_val); //[no_op]
}
qi::rule<iterator_t, void(int&)> grammar;
grammar = temp[qi::_r1 = qi::_1];
然而,一旦我附加了一个简单的语义动作(例如“[no_op]”),行为就会变得非常奇怪。它不像以前那样打印0,1,2,而是打印0,0,2。所以我想知道,我正在努力完成导致未定义的行为?这是一个错误吗?或者很可能,我只是以错误的方式使用某些东西(例如语义行为?)?
答案 0 :(得分:7)
是的我不确定是否真的理解它在内部是如何工作的,但是你没有复制for循环中的所有规则(只剩下左边的那些)所以这似乎有效:
std::vector<qi::rule<iterator_t, void(int&)>> rules;
rules.push_back(qi::char_('a')[qi::_r1 = px::val(0)]);
rules.push_back(qi::char_('b')[qi::_r1 = px::val(1)]);
rules.push_back(qi::char_('c')[qi::_r1 = px::val(2)]);
std::vector<qi::rule<iterator_t, void(int&)>>::iterator
i(rules.begin()), last(rules.end());
qi::rule<iterator_t, int()> temp;
for(; i!=last; ++i)
{
qi::rule<iterator_t, int()> tmp = (*i)(qi::_val)[no_op];
temp = temp.copy() | tmp.copy();
}
qi::rule<iterator_t, void(int&)> grammar;
grammar = temp[qi::_r1 = qi::_1];
// Tests
int intres1;
int intres2;
int intres3;
bool res1 = parse_full("a", grammar(px::ref(intres1)) );
bool res2 = parse_full("b", grammar(px::ref(intres2)) );
bool res3 = parse_full("c", grammar(px::ref(intres3)) );