boost-spirit - 如果使用惰性求值实现三元类型

Question

我正在为 if 函数实现生产规则:

qi::rule<Iterator, ascii::space_type, double(void)> f_if;
f_if = qi::ascii::string("if")
            >> qi::char_('(')
            >> (comparator >> ',' >> expression >> ',' >> expression) [qi::_val = boost::phoenix::bind(&Grammar<Iterator>::function_if, this, qi::_1, qi::_2, qi::_3)]
            >> qi::char_(')')
            ;

表达式和比较器声明为

qi::rule<Iterator, ascii::space_type, double(void)> expression;
qi::rule<Iterator, ascii::space_type, bool(void)> comparator;

并且绑定(bind)函数有原型(prototype)

 double function_if(bool comparator, double left, double right);

有没有什么办法可以根据比较器的值只计算一个表达式？

Answer 1

使用 boost::phoenix::if_else 这是 C++ 三元运算符的 Actor 公式:

>> (比较器 >> ',' >> 表达式 >> ',' >> 表达式) [qi::_val = boost::phoenix::if_else(qi::_1, qi::_2 , qi::_3)]

(与所有其他代码行一样)。

这意味着只有 qi::_2 和 qi::_3 之一将被评估。