在yacc双执行中的if yacc语句

Question

如果是在yacc中，我们如何实现？

我试过这个

|IF log THEN AffectationI ELSE AffectationI {if ($2) $$=$4; else $$=$6;}

但是$4和$6同时执行。

知道

AffectationI等于Var=3

Answer 1

yacc生成一个解析器，而不是一个通用的程序评估器，所以如果您想要执行正在解析的程序，您需要实现一些可以这样做的东西。最简单的方法是让解析器生成一棵树--不求值任何东西，然后有一个单独的逃避器，通过遍历树来“执行”树中的代码。这样你就可以轻易地跳过树中不应该执行的部分--或者重复遍历树中可以被多次评估的部分，比如循环。

或者，您可以使用一个全局“条件”标志来控制是否应该执行并在您的操作中操作它。使用这种方法，if语句如下所示：

statement:
    IF expression
        { $$ = condition_flag; // save the previous condition
          if (condition_flag) condition_flag = $2; }
    THEN statement_list
        { if ($3) condition_flag = !condition_flag; }
    ELSE statement_list
        { condition_flag = $3; } // restore previous condition