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

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

我在这里做错了什么？

Answer 1

您的野牛输入包括一个评论很好但过时的定义[注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的原型为：

int yyparse(void* astDest);

但是，在main函数中，您已声明

extern int yyparse();

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

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

注意：

YYPARSE_PARAM自野牛版本1.875以来已被弃用，十多年前，它目前仅适用于与yacc兼容的解析器。您应该使用%parse-param声明，该声明适用于所有由bison生成的解析器，并允许您指定实际参数类型，而不必放弃类型安全性。有关详细信息，请参阅bison manual。

Answer 2

您需要使用Bison从语法文件生成C文件。然后，您需要编译该C文件（默认情况下将命名为y.tab.c）并将其与包含main定义的C文件链接。

yyparse（）未解析的外部符号

2 个答案: