野牛 %prec 不起作用

Question

我正在用 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...

非常感谢帮助。

Answer 1

一元减号的语法：

 '-' INTEGER %prec UMINUS

不允许其参数是表达式。所以它明确地抓住了以下INTEGER，并且永远不需要%prec规则。

---

%prec 的问题在于，如果不需要该规则，yacc/bison 不会抱怨。所以你永远不知道它是否有任何作用。恕我直言，最好只写一个明确的语法。