Flex,Bison,C ++ - 编译错误

时间:2013-09-21 13:45:06

标签: c++ bison flex-lexer

我想创建一个程序,为函数创建解析树。 例如:“f(g(x,h(y),v,k(l(c))))”可以是有效的函数调用。

h1.l

%{
#include <iostream>
#include <list>
using namespace std;
#include "h1.tab.hpp"

%}

%option noyywrap
%option c++

%%

[a-z][a-zA-z0-9]*       { yylval.s = yytext; return (TERM_ID); }
"("                     { return (OP); }
")"                     { return (CP); }
";"                     { return (COMMA); }

%%

h1.ypp

%{

#include <list>
#include <string>
#include <iostream>

using namespace std;


extern "C" int yylex(); 
extern "C" int yyerror(char *p) { cerr << "Error!" << endl; }

struct ts {
    string                  *name;
    list<struct ts*>        *plist; /* NULL if the sturcture represents a variable, parameter list if the structure represents a function */
};

%}

%union {
    struct ts *t;
    list<struct ts *> *tl;
    char *s;
}

%token <s> TERM_ID
%token OP CP COMMA

%type <tl> termlist
%type <t> term


%%

term : TERM_ID OP termlist CP   { $$ = new struct ts(); $$->name = new string($1); $$->plist = $3; }
    | TERM_ID   { $$ = new struct ts(); $$->name = new string($1); $$->plist = NULL; }
;

termlist : termlist COMMA term  { $$ = $1; $$->push_back($3); }
    | term  { $$ = new list<struct ts*>(); $$->push_back($1); }
;


%%

int main()
{
    yyparse();
    return 0;
}

编译:

$ bison -d h1.ypp
$ flex h1.l 
$ g++ h1.tab.cpp lex.yy.cc
h1.tab.cpp: In function ‘int yyparse()’:
h1.tab.cpp:1382: warning: deprecated conversion from string constant to ‘char*’
h1.tab.cpp:1528: warning: deprecated conversion from string constant to ‘char*’
Undefined symbols for architecture x86_64:
  "_yylex", referenced from:
      yyparse()    in ccmRHVKn.o
ld: symbol(s) not found for architecture x86_64
collect2: ld returned 1 exit status

我对这些工具了解不多,我之前从未使用过cpp。

我应该改变什么才能使这些事情发挥作用?

2 个答案:

答案 0 :(得分:0)

您正在生成C ++ yylex,然后在解析器中将其声明为extern "C"。 C ++函数和C函数不具有相同的名称(即使它们看起来如此),因此链接器找不到yylex(或_yylex,因为它实际上被调用。)

从两个声明中删除extern“C”,它可能会链接。

您应该将char* s中的%union更改为std::string* s;否则,你将遇到初学者最常见的bison / flex问题之一:C-string yytext指向只有在下次调用yylex之前才有效,这样当bison获得时在使用指针时,它指向不同的字符串。

所以你需要在词法分析器中复制yytext,而不是在解析器中。因此,在你的词法分析器中,你会这样做:

yylval.s = new std::string(yytext);

在你的语法中,你会做(例如):

term : TERM_ID OP termlist CP   { 
         $$ = new struct ts();
         $$->name = $1;        // <-- Here is the change
         $$->plist = $3;
       }

答案 1 :(得分:0)

问题是你正在生成一个C ++ lexer类(在.l文件中使用%option c++),而bison期望一个C yylex函数。移除%option c++,然后将extern "C" int yyex();添加到.l文件的顶部(或从extern "C"文件中删除.y),一切正常。