c++ - Bison，在 C++ 中与 flex 交互

Question

我尝试编写一个编译器，并使用 flex/bison 进行扫描和解析。我的问题是关于这 2 个如何通信，以便 lex 传递标记类型和(如果需要)语义值。

问题是我发现了不同的(冲突的？)文档。

例如here他们提到使用 yylval 子字段作为语义值，并返回标记类型(可能是整数)。

[0-9]+ {
   yylval->build<int> () = text_to_int (yytext);
   return yy::parser::token::INTEGER;
}
[a-z]+ {
   yylval->build<std::string> () = yytext;
   return yy::parser::token::IDENTIFIER;
 }

但是，我看到(也在官方文档中)this :

"-"      return yy::calcxx_parser::make_MINUS  (loc);
"+"      return yy::calcxx_parser::make_PLUS   (loc);
"*"      return yy::calcxx_parser::make_STAR   (loc);
"/"      return yy::calcxx_parser::make_SLASH  (loc);
"("      return yy::calcxx_parser::make_LPAREN (loc);
")"      return yy::calcxx_parser::make_RPAREN (loc);
":="     return yy::calcxx_parser::make_ASSIGN (loc);

{int}      {
  errno = 0;
  long n = strtol (yytext, NULL, 10);
  if (! (INT_MIN <= n && n <= INT_MAX && errno != ERANGE))
    driver.error (loc, "integer is out of range");
  return yy::calcxx_parser::make_NUMBER (n, loc);
}
{id}       return yy::calcxx_parser::make_IDENTIFIER (yytext, loc);
.          driver.error (loc, "invalid character");
<<EOF>>    return yy::calcxx_parser::make_END (loc);

这里根本没有提到yylval，我们返回的是一些奇怪的make_???函数，我无法理解它们的定义位置、它们接受的参数以及它们返回的内容。

有人可以向我澄清这两种方法之间的区别吗，如果我应该使用第二种方法，请对那些神秘的 make_ 做一个简短的解释？？？方法？

提前致谢!

Answer 1

您链接到的文档部分是描述替代 API 的两部分中的第一部分。最好从beginning开始阅读，其中解释说:

The actual interface with yylex depends whether you use unions, or variants.

您引用的示例使用了变体，因此使用了 complete symbols接口(interface)，其中定义了 make_* 方法。 (这些不是标准库或 Boost 变体；它们是由 bison 框架定义的简单的可区分 union 类。)

您使用哪个 API 完全取决于您；他们都有优点和缺点。

还有第三种选择:使用 C 接口(interface)构建解析器和词法分析器。这不会阻止您使用 C++ 数据类型，但您不能将它们直接放入解析器堆栈；您需要使用指针，这使得内存管理更加手动。 (实际上，还有两种不同的 C API:传统的，解析器在需要 token 时自动调用扫描器，以及“推送”接口(interface)，扫描器使用每个 token 调用解析器。)