使 yylex 返回 symbol_type 而不是 int

Question

我正在尝试从 yylex 返回符号对象，如本文档http://www.gnu.org/software/bison/manual/html_node/Complete-Symbols.html所示

但是，当我编译时，我发现它return yy::parser::make_PLUS();被放入int yyFlexLexer::yylex()，所以我收到此错误消息（并且许多类似的消息形成其他规则）：

lexer.ll:22:10: error: no viable conversion from 'parser::symbol_type' (aka 'basic_symbol<yy::parser::by_type>') to 'int'
{ return yy::parser::make_PLUS(); }

解决这个问题的正确方法是什么？

词法分析器

%{
#include "ASTNode.hpp"

// why isn't this in parser.tab.hh?
# ifndef YY_NULLPTR
#  if defined __cplusplus && 201103L <= __cplusplus
#   define YY_NULLPTR nullptr
#  else
#   define YY_NULLPTR 0
#  endif
# endif

#include "parser.tab.hh"

#define yyterminate() return yy::parser::make_END()
%}

%option nodefault c++ noyywrap

%%
"+"            { return yy::parser::make_PLUS(); }
"-"            { return yy::parser::make_MINUS(); }
... more rules ...
%%

解析器.yy

%{
#include "AstNode.hpp"
#include ...

static int yylex(yy::parser::semantic_type *arg);
%}

%skeleton "lalr1.cc"

%define api.token.constructor
%define api.value.type variant
%define parse.assert

%token          END 0
%token          PLUS
%token          MINUS
%token ... many tokens ...
%type   <ASTNode *> S statement_list ...

%%

S:      statement_list
        { $$ = g_ast = (StatementList *)$1; }
    ;

... more rules ...

%%

static int yylex(yy::parser::semantic_type *arg) {
    (void)arg;
    static FlexLexer *flexLexer = new yyFlexLexer();
    return flexLexer->yylex();
}

void yy::parser::error(const std::string &msg) {
    std::cout << msg << std::endl;
    exit(1);
}

Answer 1

您必须yylex在生成的扫描器和生成的解析器中使用正确的签名来声明 。显然，回归int并不是你想要的。

在 bison 发行版中包含的 calc++ 示例（并在bison 手册中进行了描述）中，您可以看到如何执行此操作：

然后是扫描函数的声明。Flex 期望 yylex 的签名在宏 YY_DECL 中定义，并且 C++ 解析器期望对其进行声明。我们可以将两者分解如下。

// Tell Flex the lexer's prototype ...
# define YY_DECL \
  yy::calcxx_parser::symbol_type yylex (calcxx_driver& driver)
// ... and declare it for the parser's sake.
YY_DECL;

这只是更改声明的正常方式yylex。尽管 bison 手册没有提到这一点，并且.ll后缀可以说具有误导性，但它并没有使用 C++ flex 骨架。它使用 C 框架来生成可以用 C++ 编译的文件。据我所知，它甚至没有生成可重入的词法分析器。

calc++.yy文件中还有一个重要的选项：

驱动程序通过引用传递给解析器和扫描器。这提供了一个简单但有效的纯接口，不依赖全局变量。

// The parsing context.
%param { calcxx_driver& driver }

这表明这calcxx_driver& driver对于解析器和扫描器来说都是一个参数。也就是说，您将其提供给解析器，解析器会自动将其传递给扫描器。这yylex与使用 生成的原型相匹配YY_DECL。

您实际上可能在扫描仪操作中不需要该对象。我不认为它的使用是强制性的，但我几乎没有在 bison 或 flex 中使用过 C++ API，所以我很可能是错的。