在使用boost :: spirit进行解析时，我如何假设“默认值”？

Question

假设我的语法定义为：

some_rule := a b [c [d]]

其中c和d是可选的，如果没有给出，则默认为某个值（假设为14）。如果没有给出值，我可以将其默认为14吗？我希望生成的std::vector总是大小为4。

我最接近的是如下：

qi::rule<Iterator, std::vector<int>(), ascii::space_type> some_rule;
some_rule %= int_ >> int_ >> -int_ >> -int_;

// ...

some_other_rule = some_rule[&some_callback_for_int_vectors];

然后将为未显示的可选值获取0（我相信）。然后我将最后的连续0改为14.这不仅错误，而且也不优雅。有更好的方法吗？

Answer 1

看起来您可以使用boost::qi::attr辅助解析器执行此操作。

int default_value = 14;

qi::rule<Iterator, int(),              ascii::space_type> some_optional_rule;
qi::rule<Iterator, std::vector<int>(), ascii::space_type> some_rule;

some_optional_rule %= int_ | attr(default_value);
some_rule          %= repeat(2)[int_] >> repeat(2)[some_optional_rule];

我仍然不确定这是否是最佳方式。