移位/减少冲突错误

Question

我收到 20 班次/减少冲突错误。我通过单独声明运算符优先级来处理它们。我不确定 exprList 和属性列表，我尝试了它们的不同版本，但错误不会改变。

%#include<studio.h>

void yyerror( const char *s)
{
printf("%sn",s);
}
%}
%token tFOR tIN tFUNCTION tSEMICOLON tLPAR tLBRKT tLBRACE tCOLON tINT 
tREAL tSTRING tWHILE tVAR tELSE tCOMMA tRPAR tRBRKT tRBRACE tEQ tNOT tIF  
tIDENT
%token tGT
%token tLT
%token tEQCHECK
%left tPLUS tMINUS
%left tSTAR
%%
statementList:statement|statementList statement | statementList 
tSEMICOLON statement;
statement: assign | if | expr |statementBlock | while |for | functionCall 
| functionDeclaration;
assign: tIDENT tEQ expr | tVAR tIDENT tEQ expr;
if: ifPart elsePart;
ifPart: tIF tLPAR expr tRPAR statementBlock;
elsePart: tELSE statementBlock;
while: tWHILE tLPAR expr tRPAR statementBlock;
for: tFOR tLPAR tVAR tIDENT tIN expr tRPAR statementBlock | tFOR tLPAR 
expr tRPAR statementBlock;
functionDeclaration: tFUNCTION tIDENT tLPAR exprList tRPAR statementBlock
| tFUNCTION tIDENT tLPAR tRPAR statementBlock;
statementBlock: tLBRACE statementList tRBRACE;
functionCall:tIDENT tLPAR exprList tRPAR | tIDENT tLPAR tRPAR;
expr: tIDENT | tSTRING |tLBRKT tRBRKT | tLBRKT exprList tRBRKT
|tLBRACE tRBRACE | tLBRACE propertyList tRBRACE | tNOT expr |
expr tPLUS term | expr tMINUS term | term |
expr tEQCHECK expr | expr tLT expr | expr tGT expr;
exprList: expr | exprList tCOMMA expr;
propertyList: tIDENT tCOLON expr
| propertyList tCOMMA tIDENT tCOLON expr;
term:term tSTAR factor | factor;
factor: tREAL| tINT;
%%

Answer 1

%token不声明运算符的优先级值。所以tLT、tGT和tEQCHECK没有优先声明。(tNOT也没有，正如我后来意识到的那样。

另一方面，你已经声明了tPLUS、tMINUS和tSTAR的优先级，但这些定义是不必要的(和未使用的)，因为你的语法已经明确了它们的优先级。

但是，我相信您对factor的定义存在错误：它位于优先级链的底部，因此它应该包括所有操作数语法。情况似乎并非如此;事实上，我没有看到任何接受括号表达式(例如2 * (3 + 4))的产品，而且我不知道您希望表达式如何包含函数调用。

您可能应该决定是否使用优先声明，并且要么始终如一地这样做(这通常更容易)，要么根本不这样做。查看有关此主题的课程材料可能会有所帮助;如果没有，网络上有很多例子。