使用惰性求值实现三元类型 if

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;

并且绑定函数具有原型

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

我可以做些什么，以便根据比较器的值仅评估一个表达式吗？

Answer 1

使用boost::phoenix::if_elseC++ 三元运算符的角色公式：

>> (comparator >> ',' >> expression >> ',' >> expression) [qi::_val = boost::phoenix::if_else(qi::_1, qi::_2, qi::_3)]

（与所有其他代码行保持原样）。

这意味着仅评估qi::_2和之一。qi::_3