Question

%type <string> Id
%type <ExprRes> Factor
%type <ExprRes> Term
%type <ExprRes> Expr
%type <InstrSeq> StmtSeq
%type <InstrSeq> Stmt
%type <BExprRes> BExpr
%type <ExprRes> Primary

%token Ident        
%token IntLit   
%token Int
%token Write
%token IF
%token EQ
%token GTE
%token LTE
%token UM
%token UP   

%%

Prog            :   Declarations StmtSeq                                {Finish($2); } ;
Declarations    :   Dec Declarations                                    { };
Declarations    :                                                       { };
Dec             :   Int Ident {EnterName(table, yytext, &entry); }';'   { };
StmtSeq         :   Stmt StmtSeq                                        { $$ = AppendSeq($1, $2); } ;
StmtSeq         :                                                       { $$ = NULL;} ;
Stmt            :   Write Expr ';'                                      { $$ = doPrint($2); };
Stmt            :   Id '=' Expr ';'                                     { $$ = doAssign($1, $3);} ;
Stmt            :   IF '(' BExpr ')' '{' StmtSeq '}'                    { $$ = doIf($3, $6);};
BExpr           :   Expr EQ Expr                                        { $$ = doBExpr($1, $3);};
Expr            :   Expr '+' Term                                       { $$ = doAdd($1, $3); } ;
Expr            :   Expr '-' Term                                       { $$ = doMinus($1, $3); };
Expr            :   Term                                                { $$ = $1; } ;
Term            :   Term '*' Factor                                     { $$ = doMult($1, $3); } ;
Term            :   Term '/' Factor                                     { $$ = doDiv($1, $3); } ;
Term            :   Factor                                              { $$ = $1; } ;
Factor          :   Primary                                             { $$ = $1;};
Primary         :   '-'Primary                                              { $$ = doUnaryMinus($1);};

Primary         :   IntLit                                              { $$ = doIntLit(yytext); };
Primary         :   Ident                                               { $$ = doRval(yytext); };
Id              :   Ident                                               { $$ = strdup(yytext);}

这是我的yacc语法。我想让一元减去工作。 x--例如。

然而，当我尝试在我的测试文件上运行它时

int num1;    
int num2;  
int num3;   
int num4;

num3 = 100;    
num4 = 200;   
num3 = num4 / num3;  
num1 = 1;   
num1 = num3-num1;  
num1--;

print num3;   
print num4;   
print num1;

我在第num1行 -

上得到了一个yyerror

yyerror在我能找到的任何细节上都非常模糊。我只能发现它在输入中遇到错误时被调用。我不知道这个错误是否来自于我对如何写我的语法或什么的误解。我有一个指向非法字符的程序，它说该问题来自该行中的第一个“ - ”符号。我想知道在哪里寻找我的答案或者你是否看到错误。

这是我的lex文件：

%{
#include "yaccExample.h"
#include "y.tab.h"

#define YY_INPUT(buf,result,max_size) \
    { int c = GetSourceChar(); \
          result = (c == EOF) ? YY_NULL : (buf[0] = c, 1); \
        }

%}


letter [A-Za-z]
digit [0-9]

%%
if                              {return IF;}
int                             {return Int;}
print                           {return Write;}
{letter}({letter}|{digit})*     {return Ident;}
{digit}{digit}*                 {return IntLit;}
\=\=                            {return EQ;}
\-\-                            {return UM;}
\+\+                            {return UP;}
\>\=                            {return GTE;}
\<\=                            {return LTE;}
\=                              {return '=';}
\+                              {return '+';}
\*                              {return '*';}
\;                              {return ';';}
\{                              {return '{';}
\}                              {return '}';}
\(                              {return '(';}
\)                              {return ')';}

[ ]                             {}
\t                              {}
\r                              {}
\n                              {}

.               {WriteIndicator(GetCurrentColumn());
                   WriteMessage("Illegal Character in lex");}

%%


yywrap () {
}

Answer 1

问题是对术语的误解。根据你的语法，一元减号意味着在主要数字之前单独使用减号。

Primary         :   '-'Primary

语法的正确测试代码如下所示。它应该正确编译。

num1 = -99;  
num1 = -num3;
num1 = -(num3-num1);

运营商＆＃39; - ＆＃39;被称为减量并且不会出现在你的语法中。如果需要编译递减运算符，则必须将其添加到语法中。

Answer 2

yacc对调试语法的支持有限。在这种情况下经常有用的一件事是定义YYDEBUG预处理器符号并将yydebug全局设置为非零。这将导致转储到扫描和移位的所有令牌的stdout，并在解析时减少规则，这可能会有所帮助。

添加：

#ifdef YYDEBUG
    extern int yydebug;
    yydebug = 1;
#endif

到你的main函数（或者可能使用命令行开关来设置yydebug），并使用-DYYDEBUG编译所有源文件

如何在YACC中为后递增/递减运算符编写语法？

2 个答案: