当我编译非常简单的Lex / Yacc文件时,“某些东西不是结构或联合”错误

时间:2012-05-28 11:46:20

标签: compiler-errors bison yacc lex flex-lexer

我一直在寻找我的问题的答案,但没有人解决我的问题。

这是我非常简单的Yacc文件:

%{
#include <stdio.h>
#include "y.tab.h"

int clientesVodafone = 0;
int clientesMovistar = 0;
float sumaVodafone = 0.0;
float sumaMovistar = 0.0;
%}


%union {
    int t0;
    float cm;
};

%token NUMEROTELEFONO OPERADORA SERVICIO COSTEMENSAJE
%type <t0> OPERADORA
%type <cm> COSTEMENSAJE

%start fichero
%%

ServicioSMS: NUMEROTELEFONO OPERADORA SERVICIO COSTEMENSAJE {
                if ($2.t0 == 0) {
                    clientesMovistar++;
                    sumaMovistar += $4.cm;
                } else {
                    clientesVodafone++;
                    sumaVodafone += $4.cm;
                }
            }

fichero: ServicioSMS
fichero: fichero ServicioSMS

%%

int main(void) {
  yyparse();
  printf("%i clientes de VODAFONE con coste %f euros.", 
        clientesVodafone, sumaVodafone);
  printf("%i clientes de MOVISTAR con coste %f euros.",
        clientesMovistar, sumaMovistar);
}

这是我的Lex文件:

%{
#include <stdio.h>
#include "y.tab.h"
%} 

%% 

6[0-9]{8}           {return NUMEROTELEFONO;}
MOVISTAR            {yylval.t0 = 0; return OPERADORA;}
VODAFONE            {yylval.t0 = 1; return OPERADORA;}
[0-9]+s             {return SERVICIO;}
[0-9]*\.[0-9]+      {yylval.cm = atof(yytext); return COSTEMENSAJE;}

%% 

当我编译时,我得到了着名的错误消息:“错误:请求成员't0',而不是结构或联合”。我也使用成员'cm'获得相同的错误。它们与yyparse()相关联:

 if ($2.t0 == 0) {
     clientesMovistar++;
     sumaMovistar += $4.cm;
 } else {
     clientesVodafone++;
 sumaVodafone += $4.cm;
 }

我使用Bison和Flex并编译:“bison -d -y example.y”,“flex example.l”和“gcc lex.yy.c y.tab.c -ll -lm”。< / p>

谢谢。

1 个答案:

答案 0 :(得分:2)

为什么您有$2.t0$4.cm而不只是$2$4

%type <t0> OPERADORA语句告诉Bison OPERADORA值是在union的t0成员中携带的,因此Bison在最终中用来替换$2的表达式为ServicioSMS操作定义生成的代码将自动引用该t0成员。因此,$2.t0将以<union>.t0.t0结尾,这是一个错误。如果您检查Bison生成的lex.yy.c文件,您应该能够看到这一点。

同样,对于$4.cm,结果为<union>.cm.cm,另一个错误。

因此,在Bison文件的.t0操作定义中删除那些无关的.cmServicioSMS后缀,然后运行新的版本。