Question

我正在使用Yacc和Lex进行练习。练习是这样的：

在创建和编译文件.y和.lex后，我对这两个命令没有错误：

bison -vd -o parser.c es.y
flex es.lex

在这些之后我用：

编译parser.c

gcc -g -c parser.c

我有这些错误：

In function yyparse:
parser.c:1304: error: incompatible types in assignment
parser.c:1334: error: incompatible types in assignment 
parser.c:1436: error: incompatible types in assignment
parser.c:1576: error: incompatible types in assignment

和其他警告。我的lex文件是：

%{
#include "parser.h"
#include "def.h"
Value lexval;
%}
%option noyywrap
delimiter       [ \t\n]
spacing         {delimiter}+
digit           [0-9]
num             {digit}+
id              [a-zA-Z]+
sugar           [()*+=;]
%%
{spacing}       ;
{sugar}         {return(yytext[0]);}
if              {return(IF);}
else            {return(ELSE);}
then            {return(THEN);}
end             {return(END);}
write           {return(WRITE);}
{id}            {lexval.name = newstring(yytext); return(ID);}
{num}           {lexval.val=atoi(yytext); return(NUM);}
.               {return(ERROR);}
%%
char *newstring(char *s)
{
  char *p;
  p = malloc(sizeof(strlen(s)+1));
  strcpy(p, s);
  return(p);
}

我的yacc文件是：

%{
#include "def.h"
#define YYSTYPE struct{char *name; int val;}
#define NIL -1
extern Value lexval;
struct SymbTab{char label[30];int value;};
struct SymbTab tab[1000];
int val;
int size=0;
%}
%token ID NUM IF THEN ELSE END WRITE ERROR
%%
program : stat_list
             ;

stat_list : stat ';' stat_list
       | stat
       ;

stat : assign_stat
       | write_stat
       ;

assign_stat : ID {$$.name = lexval.name;} '=' expr {assign($2.name, $4.val);}
                  ;

expr : expr '+' term {$$.val = $1.val + $3.val;}
       | term {$$.val = $1.val;}
       ;

term : term '*' factor {$$.val = $1.val * $3.val;}
       | factor {$$.val = $1.val;}
       ;

factor : '(' expr ')' {$$.val = $2.val;}
       | if_expr {$$.val = $1.val;}
       | ID {if((val =lookup(lexval.name)) == NIL) error(); else $$.val = val;}
       | NUM {$$.val = lexval.val;}
       ;

if_expr : IF expr THEN expr ELSE expr END {$$.val = ($2.val ? $4.val : $6.val);}
       ;

write_stat : WRITE expr {printf("%d\n", $2.val);}
        ;
%%
int isPresent(char *lab)
{
    int i;
    for(i=0; i<size; i++)
        if(strcmp(tab[i].label,lab)==0)
            return i;
    return -1000;
}
void assign(char *l,int n)
{
    if(isPresent(l)==-1000)
    {
        strcpy(tab[size].label,l);
        tab[size].value=n;
        size++;
    }
    else
        tab[isPresent(l)].value=n;
}
int lookup(char *lab)
{
    int i;
    for(i=0; i<size; i++)
        if(strcmp(tab[i].label,lab)==0)
            return tab[i].value;
    return NIL;
}

void error(){ fprintf(stderr, "Syntax error\n"); }


int main(){ yyparse(); return 0; }

我的def.h是：

#include <stdio.h>
#include <stdlib.h>

char *newstring(char*),
     *strcpy(char*, const char*);

void error(),assign(char *l,int n);

int lookup(char *lab),isPresent(char *lab),yylex(),main();

typedef union
{
    int val;
    char *name;
} Value;

我不知道如何解决我在parser.c中得到的错误。

Answer 1

当前的问题是：

#define YYSTYPE struct{char *name; int val;}

这是宏定义发生的最小例子;您可以使用C编译器进行尝试：

#define YYSTYPE struct{char *name; int val;}
int main(void) {
  YYSTYPE a = {"", 42};
  YYSTYPE b;
  b = a;
  return 0;
}

我无法使用任何版本的gcc重现该错误消息。 gcc 6.x和gcc 7.x都会产生更有意义的错误消息（以及大量警告）：

struct.c:5:5: error: incompatible types when assigning to type ‘struct <anonymous>’ from type ‘struct <anonymous>’

即使这样，错误也需要一些解释。由于YYSTYPE是一个宏，因此上面的代码完全等同于扩展宏的以下内容：

int main(void) {
  struct{char *name; int val;} a = {"", 42};
  struct{char *name; int val;} b;
  b = a;
  return 0;
}

在此代码段中，a和b属于不同类型，因为在C中，每次出现匿名struct（即{没有标记名的{1}}是一种不同的类型。

如果struct和a的声明已分别编译在不同的文件中，则不会出现问题，因为b和a的类型兼容。但是在同一个文件中，为了使聚合赋值有效，值和目标变量的类型必须相同，而不仅仅是兼容。由于它们不相同，因此会产生错误。

简单的解决方法是使b成为类型别名而不是宏：

YYSTYPE

类型别名是特定类型的编译时标识符;该类型仍然是匿名typedef struct{char *name; int val;} YYSTYPE;，但现在变量struct的每个声明都是相同的匿名YYSTYPE。

但这对野牛/ yacc来说还不够，因为你还必须告诉它你提供了自己的struct定义。否则，它将插入自己的定义（这是YYSTYPE的类型别名），这会产生不同的编译器错误，因为int将有两个不兼容的定义。因此，您还需要包含以下相当奇怪的宏定义：

YYSTYPE

如果将#define YYSTYPE YYSTYPE定义为宏，则不会包含bison / yacc的默认定义。（它受YYSTYPE保护。）明显的递归定义不是问题，因为C预处理器只替换给定的名称一次;一旦用#ifdef YYSTYPE替换YYSTYPE，它就不会再次尝试替换。

在我看来，赋值本身就背叛了对yacc / lex工具集的可怜的缺乏知识。使用YYSTYPE而不是使用标准lexval机制会为语法创建许多问题;例如，它强制在yylval制作中使用中规则操作。我不知道你为什么要这样做，我怀疑你所教的关于yacc和lex的其他任何事情都是不正确的。

Yacc和Lex错误

1 个答案: