在Bison中使用优先级为一元减号不能解决转移/减少冲突

Question

我正在设计一个非常简单的语法,我使用一元减操作数.但是,我得到了一个转变/减少冲突.在Bison手册中,以及我看到的其他任何地方,它都说我应该定义一个新的令牌并赋予它比二进制减去操作数更高的优先级,然后在规则中使用"%prec TOKEN".

我已经这样做了,但我仍然得到警告.为什么？

我正在使用野牛(GNU Bison)2.4.1.语法如下所示:

%{
#include <string>
extern "C" int yylex(void);
%}

%union {
    std::string token;
}

%token <token> T_IDENTIFIER T_NUMBER
%token T_EQUAL T_LPAREN T_RPAREN

%right T_EQUAL
%left T_PLUS T_MINUS
%left T_MUL T_DIV
%left UNARY

%start program

%%

program : statements expr
;

statements : '\n'
           | statements line
;

line : assignment
     | expr
;

assignment : T_IDENTIFIER T_EQUAL expr
;

expr : T_NUMBER
     | T_IDENTIFIER
     | expr T_PLUS expr
     | expr T_MINUS expr
     | expr T_MUL expr
     | expr T_DIV expr
     | T_MINUS expr   %prec UNARY
     | T_LPAREN expr T_RPAREN
;

Answer 1

%prec没有你想要的那么多.它告诉Bison,在- a * b你想要解析它的情况下,(- a) * b而不是- (a * b).换句话说,在这里它会更喜欢UNARY规则的T_MUL规则.在任何一种情况下,您都可以确定该UNARY规则最终会得到应用,而这只是输入被简化为一元参数的顺序的问题.

在你的语法中,事情是非常不同的.任何line非终端序列都将组成一个sequence,并且没有什么可以说line非终端必须在行尾结束.事实上,任何表达都可以是一个line.所以这里基本上有两种解析方式a - b:或者作为带有二进制减号的单行,或者作为两个"行",第二种是以一元减号开头.没有什么可以决定适用哪些规则,因此基于规则的优先权在这里还不起作用.

您的解决方案是通过要求每个line实际结束或后跟行尾符号来纠正您的行拆分.

如果你真的想要你的语法关于行结尾的行为,你需要两个单独的非终端表达式,这些表达式可以并且不能以a开头T_MINUS.你必须将它传播到树上:第一个line可能以一元减号开头,但后续的一个不能.在括号内,从减号开始就可以了.