如何初始化 Bison 的 %union 值？

Question

在 Bison 中，我有一个 union

%union
{
   std::string* sval;
}

我想像这样使用它

在 Lex 中：

*(yylval->sval) = "ABCD";

而不是

yylval->sval = new std::string("ABCD");

轻松防止内存泄漏

但是我需要某种方法来将 std::string 分配给 sval 首先。

我怎样才能做到这一点？

Answer 1

您无法安全地将具有构造函数或析构函数的类型（例如 std::string）放入联合中，因此这不起作用。

你可以做的就是根本不使用 %union ——而是使用宏将 YYSTYPE 直接映射到其他类型：

%{
#define YYSTYPE std::string
%}

然后 yylval 将是该类型（语法代码中的所有 $n 选项也是如此）

Answer 2

我不完全清楚你为什么要这样做，但我可以明白为什么你所拥有的不起作用。 这是因为 "ABCD" 是 const char *，而不是 std::string。

我知道 Yacc 的第一个 "%{ ... %}" 部分允许您在 Yacc 的控制之外定义 C 内容（而且 Bison 似乎具有类似的功能，基于它的向上兼容性）声明和文档此处，2.1.1） 。 为什么不将: 放在

std::string *strABCD = new std::string("ABCD");

该部分中，然后

yylval->sval = strABCD;

在需要指向该字符串的指针时使用: ？

在我看来，这是实现（我认为）你想要的最简单的方法。

如果您担心 Bison 解析器内的分配未被释放（它们应该被释放），我的建议是不要在那里进行分配。 您可以在调用 yyparse() 之前设置字符串，然后在返回后释放它。

更新：

以下是我如何避免在 Bison 解析器中分配/释放该固定值的方法。 将其设置为在程序运行期间有效的全局变量。

主要代码：

std::string *strABCD = new std::string ("ABCD");

int main(...) {
    // Do some stuff.
    : : :
    yyparse();
    : : :
    // Do some other stuff.
}

Bison 解析器源代码：

%{
    extern std::string *strABCD;
%}
: : :
yylval->sval = strABCD;

返回指向 ABCD 字符串的固定指针，在 Bison 代码中根本没有分配或释放（甚至在主代码中也很少）。