与yacc中的相似规则匹配

Question

在 yacc+lex 程序中，在 yacc 文件中使用这些规则（以及更多），

stmt    : ';'
        | expr ';'      { /*code*/ }
        | IF '(' expr ')' stmt  { /*code*/ }
        | IF '(' expr ')' stmt ELSE stmt { /*code*/ }
.
.
.
.

如果输入是这样的：

if(1<2) {return 5;}

“(1<2)”是一个表达式，“{return 5}”是一个 stmt，它匹配。否则，如果输入类似于：

if(1<2) {return 5;} else {return 2;}

不匹配...

我试过改变 ELSE 和 IF 的结合性...它说 "syntax error"。

编辑 1：

expr 定义为：

expr    : ID   '=' expr { emit(dup); emit2(istore, ->localvar); }
    | ID   PA  expr { emit2(iload, ->localvar); emit(iadd); emit(dup); emit2(istore, ->localvar); }
    | ID   NA  expr { emit2(iload, ->localvar); emit(isub); emit(dup); emit2(istore, ->localvar); }
    | ID   TA  expr { emit2(iload, ->localvar); emit(imul); emit(dup); emit2(istore, ->localvar); }
    | ID   DA  expr { emit2(iload, ->localvar); emit(idiv); emit(dup); emit2(istore, ->localvar); }
    | ID   MA  expr { emit2(iload, ->localvar); emit(irem); emit(dup); emit2(istore, ->localvar); }
    | expr EQ  expr { emit3(if_icmpeq, 7); emit(iconst_0); emit3(goto_, 4); emit(iconst_1); }
    | expr NE  expr { emit3(if_icmpne, 7); emit(iconst_0); emit3(goto_, 4); emit(iconst_1); }
    | expr '<' expr { emit3(if_icmplt, 7); emit(iconst_0); emit3(goto_, 4); emit(iconst_1); }
    | expr '>' expr { emit3(if_icmpgt, 7); emit(iconst_0); emit3(goto_, 4); emit(iconst_1); }
    | expr LE  expr { emit3(if_icmple, 7); emit(iconst_0); emit3(goto_, 4); emit(iconst_1); }
    | expr GE  expr { emit3(if_icmpge, 7); emit(iconst_0); emit3(goto_, 4); emit(iconst_1); }
    | expr '+' expr { emit(iadd); }
    | expr '-' expr { emit(isub); }
    | expr '*' expr { emit(imul); }
    | expr '/' expr { emit(idiv); }
    | expr '%' expr { emit(irem); }
    | '(' expr ')'
    | '$' INT8      { emit(aload_1); emit2(bipush, ); emit(iaload); }
    | ID            { emit2(iload, ->localvar); }
    | INT8          { emit2(bipush, ); }
    | INT16         { emit3(sipush, ); }
    | INT32         { emit2(ldc, constant_pool_add_Integer(&cf, )); }
    | FLT       { error("float constant not supported in Pr3"); }
    | STR       { error("string constant not supported in Pr3"); }
    ;

Answer 1

在 yacc 脚本中，我将 if 语句定义如下：

if_statement : IF  b_expr   
                   statement
               else_part
             ;

else_part    : ELSE
                statement
             | empty
             ;

与yacc中的相似规则匹配

Matching with similar rules in yacc

c

yacc

lex