在哪里可以找到 C++ 语言的标准 BNF 或 YACC 语法？

Question

我正在尝试开发一种代码生成器来帮助对遗留的 C/C++ 混合项目进行单元测试。 我没有发现任何一种独立的工具可以从声明中生成存根代码。 所以我决定建一个，应该不会那么难。

拜托，任何人都可以给我一个标准的语法链接，用 yacc 语言更好地描述。

希望我不是在重新发明轮子，在这种情况下请帮助我。

最好的问候，凯文

Answer 1

来自C++ FAQ Lite ：

38.11 有没有 yacc-able C++ 语法？

您需要的主要 yacc 语法来自 Ed Willink。 Ed 相信他的语法完全符合ISO/ANSI C++ 标准，但他不保证：“语法没有，”他说，“被用于愤怒。” 您可以获得没有动作例程的语法或带有虚拟动作例程的语法。 您还可以获得相应的 lexer 。 对于那些对他如何实现无上下文解析器感兴趣的人（通过推动所有歧义以及在解析完成后进行少量修复），您可能需要阅读他论文的第 4 章。

还有一个非常古老的 yacc 语法，它不支持模板、异常和名称空间； 加上它以一些微妙的方式偏离了核心语言。 您可以在此处或此处获得该语法。

Answer 2

我最近在语法网站上找到了 C++ 的一些语法文件（C++ 1998: ISO/IEC 14882:1998和 C++ 2008: ISO/IEC SC22/WG21 N2723= 08-0233 网站）。 语法以Enahnced BNF、DMS BNF、BGF、SDF 和 Rascal表示法表示。 遗憾的是，C++ 语法似乎没有得到更新（没有 C++2003 或 C++11）。

Answer 3

对于另一种方法，您可以考虑搭载现有编译器。

GCC-XML会将C++“编译”成XML文件，里面有很多有用的信息； 它可能足以满足您的目的。

不幸的是，GCC-XML 只维护了 1/4，让它工作可能是……有趣的。 祝你好运，如果你 go 这条路线。

Answer 4

我最近发现了这个。 我还没有尝试过，所以不确定它是否有效。 您能否提供有关您正在尝试开发的工具的更多信息？ 我下载了这个语法，因为我正在开发一个检测工具，这样我就可以为我的单元测试框架添加覆盖率信息。

重新阅读您的评论后...

我认为这个工具完全符合您的需求。

Answer 5

Jared 的链接是您可以获得的最接近上下文无关语法的东西。 某些事情确实需要延迟到以后，但那是 arguments 比 C++ 的上下文敏感语法更好。

更糟糕的是，C++1x 将显着复杂化语法。 为了完美解析 C++，解析器需要实现足够多的标准来正确执行重载解析，包括模板参数推导，这反过来需要概念机制、lambdas，实际上几乎所有语言，除了两阶段名称查找和异常规范，如果我没记错的话，不需要实际实现来成功解析程序。

实际上，如果您可以解析 C++，那么您已经完成了编译器的一半。

Answer 6

我们的 DMS 软件再造工具包可通过功能强大的全功能 C++ 解析器获得。 请参阅http://www.semanticdesigns.com/Products/FrontEnds/CppFrontEnd.html这将构建 AST 和符号表，并且可以推断任何表达式的类型。 DMS 使人们能够对 C++ 代码进行任意分析和转换。

一种“简单”的转换是检测代码以收集测试覆盖率数据； 我们将其作为 COTS 工具提供。 请参阅本文以了解 DMS 是如何做到的： http://www.semanticdesigns.com/Company/Publications/TestCoverage.pdf

编辑 2013 年 9 月（这个答案有点陈旧）：DMS 的 C++ 解析器/名称解析/控制流分析在 ISO-、GNU- 和 Microsoft 变体中处理完整的 C++11。 它还将解析（并保留）包含大多数预处理器条件的源代码。 与 GCC 或 Clang 不同，它具有驱动解析过程的显式语法。