简单 Flex/Bison C++

Question

我已经在寻找答案，但对于一个简单的例子我没有得到任何快速回复。

我想使用 g++ 编译一个 flex/bison 扫描仪+解析器，只是因为我想使用 C++ 类来创建 AST 和类似的东西。

通过互联网搜索，我发现了一些漏洞，都说唯一需要的就是在 lex 文件中使用 extern "C" 声明一些函数原型。

所以我的 shady.y 文件是

%{
#include <stdio.h>
#include "opcodes.h"
#include "utils.h"

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

int counter = 0;

extern "C"
{
        int yyparse(void);
        int yylex(void);  
        int yywrap()
        {
                return 1;
        }

}

%}

%token INTEGER FLOAT
%token T_SEMICOL T_COMMA T_LPAR T_RPAR T_GRID T_LSPAR T_RSPAR
%token EOL

%token T_MOV T_NOP


%% 

... GRAMMAR OMITTED ...

%%

main(int argc, char **argv)
{
    yyparse();
}

，而 shady.l 文件是

%{
    #include "shady.tab.h"
%}

%%

"MOV"|"mov" { return T_MOV; }
"NOP"|"nop" { return T_NOP; }

";" { return T_SEMICOL; }
"," { return T_COMMA; }
"(" { return T_LPAR; }
")" { return T_RPAR; }
"#" { return T_GRID; }
"[" { return T_LSPAR; }
"]" { return T_RSPAR; }
[1-9][0-9]? { yylval = atoi(yytext); return INTEGER;}
[0-9]+"."[0-9]+ | "."?[0-9]? { yylval.d = atof(yytext); return FLOAT; }
\n { return EOL; }
[ \t] { /* ignore whitespace */ }
. { printf("Mystery character %c\n", *yytext); }

%%

最后在 makefile 中我使用 g++ 而不是 gcc：

shady: shady.l shady.y
bison -d shady.y -o shady.tab.c
flex shady.l
g++ -o $@ shady.tab.c lex.yy.c -lfl

flex 和 bison 工作正常，但在链接时出现以下错误：

Undefined symbols:
  "_yylex", referenced from:
  _yyparse in ccwb57x0.o

当然，如果我尝试更改有关该函数的任何内容bison 文件显示 yylex 未在 yyparse 范围内声明。

我是否试图解决比看起来更复杂的问题？实际上，我不需要一个封闭的结构来以面向对象的方式访问解析和词法分析器，我只是想让它工作。

我只是希望能够在 bison 文件中使用 C++（以创建 AST）并从 C++ 对象调用 yyparse() ..

提前致谢

Answer 1

您需要将 yylex 的 extern "C" {} 放在 shady.l 中：

%{
    extern "C"
    {
        int yylex(void);
    }

    #include "shady.tab.h"
%}

%%

"MOV"|"mov" { return T_MOV; }
"NOP"|"nop" { return T_NOP; }

...etc...

此外，在添加虚拟语法规则后，我只需使用以下命令即可构建并运行它：

  559  flex shady.l
  560  bison -d shady.y
  561  g++ shady.tab.c lex.yy.c