yacc 中的默认数据类型

Question

yacc/bison 中栈元素的数据类型是什么？ 我尝试过 yacc 手册，一些学术 ppts 但找不到任何东西/ 比如$$, $1, $2等。

Answer 1

默认类型为int。

来自Bison manual section 3.4.1, Data types of semantic values：

如果您的程序对所有语言结构使用相同的数据类型，Bison 通常使用 int 类型作为语义值。

我强烈建议您收藏并阅读 Bison 手册。它包含对该工具的高度可读的介绍，它实际上描述了 Bison 的工作原理。在 Internet 上，您会找到很多关于遗留工具的古老文档，这可能就是您正在查看的文档。一般来说，他们都说默认类型是int，但你可能不得不费力寻找规范。例如，您可以在 Stephen Johnson 经常链接的 Yacc documentation、http://dinosaur.compilertools.net 的“支持任意值类型”小节中找到它：

默认情况下，动作和词法分析器返回的值都是整数。

您还可以在 yacc 的 Posix 规范中找到它，它可能在您的机器上以 man 1p yacc 的形式出现，可在 http://man7.org 的 Linux man-pages 存储库中在线获取。或者，您可以咨询 opengroup.org 上的 official Posix specification for yacc（您可能必须注册才能看到该页面，但它与您在 man7.org 上找到的信息基本相同。）。在这两种情况下，如果你仔细阅读非常，你会发现默认类型的描述；它在%type 声明的描述中标记为“声明部分”的部分中，它说：

如果这个构造 [即%type ...] 存在，yacc 将执行类型检查；如果此构造不存在，则解析堆栈应仅保存 int 类型。

请注意，这并不是对 Bison 的完全准确描述。如果您使用声明 %define api.value.type { ... }（如我的第一个链接中所述），那么这将是所有堆栈的语义类型，无论您的语法描述中是否有 %type 声明。如果您使用 Bison，Bison manual 应该是您的 goto 参考。