Bison 语法错误 mac

Question

我在 mac 上使用 Bison，我似乎遇到了以下错误。我似乎无法解决这个问题。知道为什么我从下面显示的代码中收到语法错误吗？

当运行时的终端输出：

syntax error, unexpected identifier, expecting string bison -d parser.y

parser.y

 %{
    #include <stdlib.h>
    #include <string.h>
    #include <stdio.h>
    #define YYDEBUG 1
    extern FILE * yyin;
    FILE * outputFile;
    int yyerror(const char* s);
    int yylex(void);
    %}

    %define parse.error verbose
    %token PROGRAM BEGIN_WORD END VAR PRINT INTEGER STRING NUM ID

    %%
    start       : PROGRAM pname ';' VAR decList ';' BEGIN_WORD statList END { YYACCEPT; }
                ;
    pname       : ID { fprintf(outputFile, "#include <iostream>\nUsing namespace std;\nint main()\n{\n"); }
                ;
    decList     : dec ':' type
                ;
    dec         : ID ',' dec
                | ID
                ;
    statList    : stat ';'
                | stat ';' statList
                ;
    stat        : print
                | assign
                ;
    print       : PRINT '(' output ')' 
                ;
    output      : STRING ',' ID         
                | ID                        
                ;
    assign      : ID '=' expr
                ;
    expr        : term                      
                | expr '+' term             
                | expr '-' term             
                ;
    term        : term '*' factor           
                | term '/' factor           
                | factor
                ;
    factor      : ID
                | NUM
                | '(' expr ')'      
                ;
    type        : INTEGER
                ;
    %%

    int main (void) 
        {
        yyin=fopen("input.txt","r+");
        if(yyin==NULL)
        {
            return(printf("error: failed to open file\n"));
        }
        else 
        {
        outputFile = fopen("abc13.cpp","w");
            return(yyparse());
        }
        return 0;
        }

    int yyerror(const char * s) 
        { 
        return(fprintf(stderr, "%s\n", s)); 
        }

不确定问题是我的 Bison 版本问题，还是因为我在 mac.

版本：

bison 3.0.4_1

Answer 1

诊断

我已经通过 HomeBrew (https://brew.sh/) 安装了 Bison 3.0.4-1，当我在您的代码中运行时，我没有收到任何警告或错误。当我使用 /usr/bin/bison（Apple 提供的 Bison 2.3）时，我得到：

so-5022-1650.y:13.13-23: syntax error, unexpected identifier, expecting string.

我诊断您不小心使用了系统提供的 Bison，而不是 Brew 的 Bison 3.0.4（或您从任何地方获得的）。检查您的 PATH 设置。

我在你的代码前加了一行注释，所以我的第13行对应你的第12行，也就是%define行。当我把它改成

%define "parse.error" "verbose"

Bison 2.3 编译代码没有错误。因此，它甚至可能起作用。当我用 Bison 3.0.4 编译旧符号时，我收到警告：

so-5022-1650.y:13.13-25: warning: %define variable 'parse.error' requires keyword values [-Wdeprecated]
     %define "parse.error" "verbose"
             ^^^^^^^^^^^^^

有一个 %error-verbose 指令名义上已弃用，但它仍然可用。官方在3.0.x中被%define parse.error verbose取代。但是，使用 %error-verbose 可以在 Bison 2.3 和 Bison 3.0.4 中无警告地工作。

获得答案的步骤

你希望%define parse.error verbose做什么？

Mac 上的野牛相当老了 — bison (GNU Bison) 2.3。 2.x 系列中的版本高达 2.7.1，当前版本为 3.0.4。

在关于 %define 的 Bison 3.0.4 文档中，它指出：

There are many features of Bison’s behavior that can be controlled by assigning the feature a single value. For historical reasons, some such features are assigned values by dedicated directives, such as %start, which assigns the start symbol. However, newer such features are associated with variables, which are assigned by the %define directive:

并继续讨论它们是什么。

如果您设法找到 Bison 2.3 文档，%define 不在其中。（例如，我关于 "Flex and Bison" 的 O'Reilly 电子书没有涵盖它 — 它描述了 Bison 2.4.1 和 Flex 2.5.35。）

因此，您可能最好获取 Bison 3.0.4 并编译和安装它（或从 Mac 下载站点之一下载它，预构建）。或者，您需要修改代码以使用旧版本的 Bison，这意味着不使用 %define.

查看 Bison 2.3 的新闻，似乎某些 %define 选项可能已被支持；他们是 'new in 2.2'，或者至少 2.2 的注释提到 %define "global_tokens_and_yystype" "1" 作为一种可能性。这与您使用的语法不同。查看 Bison 3.0.4 NEWS 文件，似乎在 Bison 3.0 中添加了 parse.error（而不是在 Bison 2.7 中）— 这就是为什么您运行在 Bison 2.3 中遇到麻烦。 NEWS 文件也为此使用了无引号符号。

Bison 语法错误 mac

Bison Syntax Error mac

c

bison

flex-lexer

yacc

lex

诊断

获得答案的步骤