我如何假设“默认值”？当使用 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];

我仍然不确定这是否是最好的方法。