三个地址代码语句的 yacc 和 lex 代码

Question

这是我的 lex 代码： 三.l

%{
#include "y.tab.h"
#include "string.h"
%}
%%
[a-zA-Z]+ { yylval.a_var=(char *)malloc(sizeof(char *));
         strcpy(yylval.a_var,yytext);
         return var;}
[-+/*,]   {return yytext[0];}

[\t\n] return 0;

%%

我的 yacc 是

三.y

%{

#include "stdio.h"

#include "string.h"

int yywrap()

{


return 1;
}

static int i;


int d;

char temp();

%}

%left '+' '-'

%left '*' '/'

%union{char *a_var;}

%token id

%token <a_var>var

%start line


%%
line:var '=' exp {printf("%c=t%c\n",$1,$3);}

;
exp:exp '+' exp   {$$=temp();if(i<=1){printf("t%c=%c+%c\n",$$,$1,$3);}  else{printf("t%c=t%c+%c\n",$$,$1,$3);} }

|exp '-' exp       {$$=temp();if(i<=1){printf("t%c=%c-%c\n",$$,$1,$3); } else{printf("t%c=t%c-%c\n",$$,$1,$3);} }

|exp '*' exp        {$$=temp();if(i<=1){printf("t%c=%c*%c\n",$$,$1,$3); } else{printf("t%c=t%c*%c\n",$$,$1,$3);} }

|exp '/' exp       {$$=temp();if(i<=1){printf("t%c=%c/%c\n",$$,$1,$3); } else {printf("t%c=t%c/%c\n",$$,$1,$3);} }

|var    {$$=$1;}

;

%%

main()

{

yyparse();

return 0;

}

int yyerror(char *s)

{



fprintf(stderr,"%s\n",s);

}

char temp()

{

return('1'+ i++);

}

但是当我编译这个

三.y:19.40-41: $3 of `line' 没有声明类型

Three.y:21.20-21: $$ of `exp' 没有声明类型

三.y:21.60-61: `exp' 的 $$ 没有声明类型

3.y:21.63-64: `exp' 的 $1 没有声明类型

3.y:21.66-67: `exp' 的 $3 没有声明类型类型

三.y:21.100-101: ‘exp’ 的 $$ 没有声明类型

三.y:21.103-104: ‘exp’ 的 $1 没有声明类型

三.y:21.106-107: ‘exp’ 的 $3 有没有声明类型

Three.y:22.21-22: `exp' 的 $$ 没有声明类型

Three.y:22.61-62: `exp' 的 $$ 没有声明类型

Three.y:22.64-65: ` exp' 的 $1 exp' 没有声明类型

3.y:22.67-68: 'exp' 的 $3 没有声明类型

3.y:22.104-105: 'exp' 的 1 美元没有声明类型

3.y:22.107-108: 'exp' 的 3 美元 没有声明类型`exp' 没有声明类型

Three.y:23.22-23: `exp' 的 $$ 没有声明类型

Three.y:23.62-63: `exp' 的 $$ 没有声明类型

Three.y:23.65-66 : `exp' 的 $1 没有声明类型

Three.y:23.68-69: `exp' 的 $3 没有声明类型

Three.y:23.102-103: `exp' 的 $$ 没有声明类型

Three.y:23.105 -106: `exp' 的 $1 没有声明类型

Three.y:23.108-109: `exp' 的 $3 没有声明类型

Three.y:24.21-22: `exp' 的 $$ 没有声明类型

Three.y :24.61-62: `exp' 的 $$ 没有声明类型

3.y:24.64-65: `exp' 的 $1 没有声明类型

3.y:24.67-68: `exp' 的 $3 没有声明类型

3 .y:24.102-103: `exp' 的 $$ 没有声明类型

3.y:24.105-106: `exp' 的 $1 没有声明类型

3.y:24.108-109: `exp' 的 $3 没有声明 类型类型

三.y:25.10-11: $$ of `exp' 没有声明类型

pla 帮我解决这个问题..

Answer 1

将该行添加

%type <a_var> exp

到您的代码中，您需要定义 exp.

Answer 2

当您使用 %union 作为 yystype 时，当您引用 yylval 时，您必须说明要使用联合体的哪个成员。因此，

%union{char *a_var;}

当你说你的工会时，

line:var '=' exp {printf("%c=t%c\n",$1,$3);}

你应该说类似 $1.a_var 的东西：

line:var '=' exp {printf("%c=t%c\n",$1.a_var,$3.a_var);}

Answer 3

据我所知， line 和 exp 的语义值类型似乎不是
在您的代码中指定。
所以，我认为指定像 %type这样的类型行 exp 将解决
错误。
希望这有帮助