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

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_else，它是 C++ 三元运算符的演员公式：

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

（与所有其他代码行一样）。

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

Answer 2

当然可以！甚至没有说任何东西都被评估过。

因此，您为完整的输入片段解析 AST（抽象语法树），并在评估时跳过不适用的部分。

因此，在许多情况下，关键是分离关注点。如果您将解析与其他阶段（如评估，或者在编译器的情况下，简化、转换和代码生成）分开，编译器/解释器设计变得更容易正确执行。