使用 Flex 和 Bison 指定前缀时编译错误

Compile error when specifying prefixes with Flex and Bison

我正在尝试使用给定的前缀编译一个简单的 bison 解析器 - 已解决 in this question。我使用的是 Bison 版本 2.4.1 和 flex 版本 2.5.35(我不能使用 bison 2.6)。我一直 运行 遇到编译器错误,这让我 运行 原地转了一圈:

即:

make
Making all in src
make[1]: Entering directory `/stage/pool14/eholum/yacc_example/src'
/bin/sh ../ylwrap parcalc.y y.tab.c parcalc.c y.tab.h parcalc.h y.output parcalc.output -- bison -y  -d -p="calcYY"
...yacc_example/src/parcalc.y:27.7-13: warning: type clash on default action: <result> != <>
conflicts: 4 shift/reduce
updating parcalc.h
gcc -DPACKAGE_NAME=\"calculator\" -DPACKAGE_TARNAME=\"calculator\" -DPACKAGE_VERSION=\"1.0\" -DPACKAGE_STRING=\"calculator\ 1.0\" -DPACKAGE_BUGREPORT=\"\" -DPACKAGE=\"calculator\" -DVERSION=\"1.0\" -I.     -g -O2 -MT parcalc.o -MD -MP -MF .deps/parcalc.Tpo -c -o parcalc.o parcalc.c
parcalc.c:1053: error: expected identifier or ‘(’ before ‘=’ token
parcalc.c:1061: error: expected identifier or ‘(’ before ‘=’ token
parcalc.c:1064: error: expected identifier or ‘(’ before ‘=’ token
parcalc.c:1067: error: expected identifier or ‘(’ before ‘=’ token
parcalc.c:1089: error: expected identifier or ‘(’ before ‘=’ token
parcalc.y:75:21: error: lexcalc.c: No such file or directory
make[1]: *** [parcalc.o] Error 1

我目前正在使用 automake,但是如果我使用 flex 和 bison 构建然后尝试使用 c 进行编译,我会得到同样的错误。这是我的 Makefile.am:

bin_PROGRAMS = calculator
AM_YFLAGS = -d -p="calcYY"
calculator_SOURCES = parcalc.y lexcalc.l

lex 代码在 lexcalc.l 中(注意我使用 %option 来指定前缀,但是当我使用 cl 标志时我得到同样的错误):

%{
#include <stdio.h>
#include "parcalc.h"
%}

%option noyywrap
%option prefix="yy"

%%

[ \t] ; 

[0-9]+\.[0-9]+ { 
    yylval.flval = atof(yytext);
    return FLOAT;
}

[0-9]+ {
    yylval.inval = atoi(yytext);
    return INT;
}

- { return MINUS; }

\+ { return PLUS; }

\n {
    yylineno++; 
    return NEWLINE; 
}

. ;

%%

而 Bison 代码在 parcalc.y 中:

%{
#include <stdio.h>
%}

%token INT FLOAT PLUS MINUS NEWLINE;

%union {
    int inval;
    float flval;
    char oper;
    char result[100];
}

%type <inval> INT;
%type <flval> calc FLOAT
%type <oper> PLUS MINUS;
%type <result> line;

%%

lines:
     line lines
    | line
    ;

line:
      NEWLINE
    | calc NEWLINE {
        printf("Result = %f\n", );   
      }
    ;

calc :
      calc PLUS calc { 
        ($$ =  + );
      }
    | calc MINUS calc { 
        ($$ =  - ); 
      }
    | INT { 
        ($$ = );
      }
    | FLOAT { 
        ($$ = ); 
      }
    ;

%%

extern int calcYYparse();
extern FILE *calcYYin;

int main() {

    FILE *myfile = fopen("infile.txt", "r");

    if (!myfile) {
        fprintf(stderr, "can't open infile.txt\n");
        return 1;
    }

    calcYYin = myfile;

    do {
        calcYYparse();
    } while (!feof(calcYYin));

    return 0;
}

void calcYYerror(const char *s) {
    fprintf(stderr, "Unrecognized format\n");
}

我应该注意到,当我丢弃前缀时,一切似乎都工作正常,所以我猜测在生成的 c 文件中外部声明的方式有问题。浏览那些我还没有弄清楚。如果有人弄乱了多个解析器并且对如何使这些东西很好地协同工作有一些见解,我将非常感激。

感谢 Michael 发现前缀标志传递给 bison 编译器的问题。即

AM_YFLAGS = -d -p="calcYY"

对比

AM_YFLAGS = -d -p"calcYY"

还有一点相关的是,前缀仅更改 yyparse、yylex、yyerror、yynerrs、yylval、yylloc、yychar 和 yydebug。所以yyin不需要改。