是否有工具将"覆盖"标识符添加到现有C++代码中

Question

任务

我试图找出如何最好地将C++ 0x的override标识符添加到已经覆盖大量C++代码的所有现有方法中,而无需手动执行.

(我们有许多,几十万行代码,而且手动完成它将是一个完全不起作用的.)

目前的想法

我们的编码标准说我们应该virtual在派生类中对所有隐式虚方法添加关键字,即使严格不必要(以帮助理解).

因此,如果我自己编写脚本,我会编写一个脚本来读取所有标题,找到所有以virtual开头的函数,并override在下面的分号前插入.然后在支持的编译器上编译它override,并修复基类中的所有错误.

但我真的不想使用这种本土方式,因为:

• 它显然会很乏味且容易出错.
• 并不是每个人都记得,每次都要添加虚拟关键字,因此这种方法会错过一些现有的覆盖

有现成的工具吗？

那么,是否已经有一个工具可以解析C++代码,检测覆盖的现有方法,并附override加到它们的声明中？

(我知道静态分析工具,比如PC-lint,它会警告看起来应该覆盖的函数.我所追求的是实际上会使我们的代码变得混乱的东西,以便在编译器中检测到覆盖中的未来错误时间,而不是后来的静态分析)

(如果有人想要指出C++ 03不支持'覆盖'......在实践中,我将添加一个宏,而不是实际的"覆盖"标识符,以便在旧版本上使用我们的代码不支持此功能的编译器.所以在添加标识符之后,我会运行一个单独的脚本来替换它我们将要使用的任何宏...)

提前致谢...

Answer 1

LLVM项目正在开发一个名为"cpp11-migrate"的工具,该工具目前具有以下功能:

• 将循环转换为基于范围的for循环
• 将空指针常量(如NULL或0)转换为C++ 11nullptr
• 用类型说明符替换变量声明中的auto类型说明符
• 将说明override符添加到适用的成员函数中

此工具在此处记录,应作为clang 3.3的一部分发布.但是,您可以下载源代码并立即自行构建.

编辑

更多信息:

• C++ 11 Migrator的状态 - 博客文章,日期为2013-04-15
• cpp11-migrate用户手册

编辑2:2013-09-07

"cpp11-migrate"已重命名为" clang-modernize ".对于Windows用户,它现在包含在新的LLVM快照构建中.

Answer 2

我们的DMS软件重新设计工具包及其支持C++ 11的C++前端可以做到这一点.

DMS是用于任意编程语言的通用程序转换系统; C++前端允许它处理C++.DMS解析,构建准确的AST和符号表(这对C++来说很难),提供对查询AST节点和树的属性的支持,允许在树上进行过程转换和源到源转换.完成所有更改后,可以重新生成修改后的树,并保留注释.

您的问题需要您找到派生的虚拟方法并进行更改.执行此操作的DMS源到源转换规则类似于:

    source domain Cpp.  -- tells DMS the following rules are for C++

    rule insert_virtual_keyword (n:identifier, a: arguments, s: statements):
       method_declaration -> method_declaration " =
       " void \n(\a) { \s } "  ->  " virtual void \n(\a) { \s }"
       if is_implicitly_virtual(n).

这些规则与语法树匹配,因此它们不能与注释,字符串或其他任何内容不匹配.有趣的引号不是C++字符串引号; 它们是元引号,允许规则语言知道它们内部的内容必须被视为目标语言("Cpp")语法.反斜杠是从目标语言文本中逃脱的,允许匹配任意结构,例如,\ a表示需要"a",其被定义为语法类别"arguments".

你需要更多的规则来处理函数返回非空结果的情况,等等,但你不需要很多.

有趣的部分是实现控制转换应用程序的谓词(返回TRUE或FALSE):is_implicitly_virtual.该谓词采用(抽象语法树)方法名称n.这个谓词将参考完整的C++符号表来确定n究竟是什么.我们已经知道它是一种方法,只是它的语法设置,但我们想知道在什么类的上下文中.符号表提供方法和类之间的链接,类的符号表信息告诉我们类继承的内容,以及这些类,它们包含哪些方法以及如何声明它们,最终导致发现(或不)父类方法是虚拟的.执行此操作的代码必须实现为针对C++符号表API的过程代码.然而,所有艰苦的工作都已完成; 符号表是正确的,包含对所需的所有其他数据的引用.(如果您没有此信息,则无法通过算法决定,并且任何代码更改都可能是错误的).

过去使用DMS已经使用程序转换对C++代码进行了大量更改.(查看网站上的论文页面,了解C++重新架构主题).

(我不是C++专家,只是DMS架构师,所以如果我有错误的细节,请原谅.)