c++ - yyparse() 的未解析外部符号

Question

我的 main.cpp 看起来像这样:

#include <assert.h>
#include <fstream>
#include <iostream>
#include "astgen.h"
#include "astexec.h"

extern int yyparse();
extern FILE *yyin;

int main()
{
    //yydebug = 0;
    struct AstElement *a = 0;
    FILE *fp ;
    fopen_s(&fp,"example.txt","r");
    //std::cout<<fp;
    if (fp==NULL)
    {
        std::cout<<"error";
    }
    yyin=fp;
    yyparse();

    assert(a);
    struct ExecEnviron* e = createEnv();
    execAst(e, a);
    freeEnv(e);
    /* TODO: destroy the AST */
}

当我尝试编译它时，出现错误:main.obj : error LNK2019: unresolved external symbol "int __cdecl yyparse(void)" (?yyparse@@YAHXZ) referenced in function _main

我是 flex/bison 的新手。任何帮助，将不胜感激。如果有帮助，这是我的 parser.y 文件:

%error-verbose /* instruct bison to generate verbose error messages*/
%{
#include "astgen.h"
#define YYDEBUG 1

/* Since the parser must return the AST, it must get a parameter where
 * the AST can be stored. The type of the parameter will be void*. */
#define YYPARSE_PARAM astDest
extern int yylex();
%}

%union {
    int val;
    char op;
    char* name;
    struct AstElement* ast; /* this is the new member to store AST elements */
}

%token TOKEN_BEGIN TOKEN_END TOKEN_WHILE TOKEN_DO
%token<name> TOKEN_ID
%token<val> TOKEN_NUMBER
%token<op> TOKEN_OPERATOR
%type<ast> program block statements statement assignment expression whileStmt call
%start program

%{
/* Forward declarations */
void yyerror(const char* const message);


%}

%%

program: statement';' { (*(struct AstElement**)astDest) = $1; };

block: TOKEN_BEGIN statements TOKEN_END{ $$ = $2; };

statements: {$$=0;}
    | statements statement ';' {$$=makeStatement($1, $2);}
    | statements block';' {$$=makeStatement($1, $2);};

statement: 
      assignment {$$=$1;}
    | whileStmt {$$=$1;}
    | block {$$=$1;}
    | call {$$=$1;}

assignment: TOKEN_ID '=' expression {$$=makeAssignment($1, $3);}

expression: TOKEN_ID {$$=makeExpByName($1);}
    | TOKEN_NUMBER {$$=makeExpByNum($1);}
    | expression TOKEN_OPERATOR expression {$$=makeExp($1, $3, $2);}

whileStmt: TOKEN_WHILE expression TOKEN_DO statement{$$=makeWhile($2, $4);};

call: TOKEN_ID '(' expression ')' {$$=makeCall($1, $3);};

%%

#include "astexec.h"
#include <stdlib.h>

void yyerror(const char* const message)
{
    fprintf(stderr, "Parse error:%s\n", message);
    exit(1);
}

编辑 1: 我在 VS 2012 环境中使用 winflexbison 来生成我的解析器和词法分析器。构建过程相当简单。所有需要做的就是添加 <appropriate>_custom_build.targets在 VS 中为项目构建自定义项，然后构建解决方案。可以在此处找到对文档的引用 @ winflexbison for Visual studio .

我还想指出的是，我按照相同的方法构建了一个示例 flex 和 bison 文件，然后集成到一个项目中。这对我来说很好。

我在这里做错了什么？

Answer 1

您的 bison 输入包括一个经过良好注释但已过时的定义 [注 1]:

/* Since the parser must return the AST, it must get a parameter where
 * the AST can be stored. The type of the parameter will be void*. */
#define YYPARSE_PARAM astDest

如注释所示，这将导致 yyparse 的原型(prototype)为:

int yyparse(void* astDest);

但是，在您的 main 函数中，您声明了

extern int yyparse();

由于您是用 C++ 编译的，因此在 main.cpp 中声明并由 main 调用的 yyparse 与yyparse 在 parser.tab.h 中声明，在 parser.tab.cpp 中定义。因此，您会收到链接器错误。

如果您将 #include "parser.tab.h" 放入您的 main.cpp 文件而不是手动声明 yyparse，您会可能已经看到了更容易理解的错误消息，但我不能保证 VS 2012 产生的错误消息。

---

注意事项:

1. YYPARSE_PARAM 自 bison 版本 1.875 以来已被弃用，那是十多年前的事了，它目前仅适用于与 yacc 兼容的解析器。您应该使用 %parse-param 声明，它适用于所有 bison 生成的解析器，并且允许您指定实际参数类型，而不必放弃类型安全。查看bison manual了解详情。