野牛%prec不起作用

时间:2013-11-15 00:39:05

标签: c++ bison flex-lexer

我正在实施一个带有flex和bison的简单计算器。

我希望以下输入给出-4而不是4:

-2^2

为了达到-4,我必须声明^运算符的优先级高于一元减号运算符的优先级,但它不起作用。

这是野牛代码:

%{

#include <iostream>
#include <math.h>
using namespace std;
void yyerror(const char *s);
int yylex();

%}


%union  {   
    int    int_val;
    char*  string_val;
    double double_val;

}


%token INTEGER 
%left '+' '-'
%left '*' '/' '%'
%left UMINUS UPLUS
%right '^'

%type <int_val> expr_int INTEGER

%%

program: line '\n'
        | '\n'          { return 0; }
        ;

line: expr_int {    cout<<$1<<endl; return 0;   }
        ;


expr_int: expr_int '+' expr_int          { $$ = $1 + $3; }
        | expr_int '-' expr_int           { $$ = $1 - $3; }
        | expr_int '*' expr_int           { $$ = $1 * $3; }
        | expr_int '^' expr_int           { $$ = pow($1,$3); }
        | '-' INTEGER %prec UMINUS          { $$ = -$2; }
        | '+' INTEGER %prec UPLUS           { $$ = $2; }
        | INTEGER           
        ;

%%

void yyerror(const char *s) {
    printf("error");
}


int main(void) {
    while(yyparse()==0);
    return 0;
}

这是灵活代码:

%{

#include <iostream>
#include "calc.tab.h"

using namespace std;

void yyerror(const char *s);


%}


INTEGER     [1-9][0-9]*|0
UNARY       [+|\-]
BINARY      [+|\-|*|^|]
WS          [ \t]+


%%

{INTEGER}               {   yylval.int_val=atoi(yytext); return INTEGER;    }

{UNARY}|{BINARY}|\n     {   return *yytext; }

{WS}                    {}
.                       {}

%%

//////////////////////////////////////////////////
int yywrap(void) { return 1;  }  // Callback at end of file

为什么野牛不会首先处理2 ^ 2然后添加一元减号,就像我定义的那样? 它继续打印4 ...

非常感谢帮助者。

1 个答案:

答案 0 :(得分:4)

你的一元减法的语法:

 '-' INTEGER %prec UMINUS

不允许其参数为表达式。因此,它毫不含糊地抓取以下INTEGER,并且永远不需要%prec规则。


&LT; personal_opinion&GT; %prec的问题在于,如果不需要规则,yacc / bison不会抱怨。所以你永远不知道它是否做任何事情。恕我直言,最好只写一个明确的语法。