我真的没有使用过任何工具做这样的事情…但是，就我所看到的所有答案，没有人说过这个问题是不可计算的。

这是什么意思呢?这个问题不能用计算机上的任何算法解决。这个定理(这样的算法不存在)是图灵停止问题的一个推论。

你将使用的所有工具都不是算法，而是启发式(即不是精确的算法)。他们不会给你所有没有使用的代码。

有两种未使用的代码:

局部路径，即在某些函数中，某些路径或变量未使用(或使用但没有任何意义，如写入但从未读取) 全局的:永远不会调用的函数，永远不会访问的全局对象

对于第一种类型，一个好的编译器可以帮助:

-Wunused (GCC, Clang)应该警告未使用的变量，Clang未使用的分析器甚至已经增加到警告从未读取的变量(即使使用)。 -Wunreachable-code(旧的GCC，在2010年被移除)应该警告从未被访问的局部块(它发生在早期返回或条件总是计算为true时) 据我所知，没有选项可以警告未使用的catch块，因为编译器通常不能证明没有异常将被抛出。

对于第二种，要困难得多。静态地，它需要整个程序的分析，即使链接时间优化实际上可以删除死代码，在实践中，程序在执行时已经进行了如此多的转换，以至于几乎不可能向用户传递有意义的信息。

因此有两种方法:

The theoretic one is to use a static analyzer. A piece of software that will examine the whole code at once in great detail and find all the flow paths. In practice I don't know any that would work here. The pragmatic one is to use an heuristic: use a code coverage tool (in the GNU chain it's gcov. Note that specific flags should be passed during compilation for it to work properly). You run the code coverage tool with a good set of varied inputs (your unit-tests or non-regression tests), the dead code is necessarily within the unreached code... and so you can start from here.

如果您对这个主题非常感兴趣，并且有时间和意愿自己开发一个工具，我建议您使用Clang库来构建这样一个工具。

使用Clang库获取AST(抽象语法树) 从入口点开始执行标记-清除分析

因为Clang将为您解析代码，并执行重载解析，所以您不必处理c++语言规则，并且您将能够集中精力处理手头的问题。

然而，这种技术不能识别未使用的虚拟覆盖，因为它们可能由您无法推理的第三方代码调用。

我认为您正在寻找一个代码覆盖工具。代码覆盖工具将在代码运行时分析它，它将让您知道哪些代码行被执行了，执行了多少次，以及哪些代码没有执行。

您可以尝试使用这个开源代码覆盖工具:TestCocoon—用于C/ c++和c#的代码覆盖工具。

我有个朋友今天问了我这个问题，我看了看一些有前途的Clang开发，例如ASTMatchers和Static Analyzer，它们可能在编译过程中有足够的可见性来确定死代码部分，但后来我发现了这个:

https://blog.flameeyes.eu/2008/01/today-how-to-identify-unused-exported-functions-and-variables

它几乎完整地描述了如何使用一些GCC标志，这些标志似乎是为了识别未引用的符号而设计的!

如果你使用g++，你可以使用这个标志-Wunused

根据文档:

每当变量未使用时发出警告 除了它的声明，无论何时 函数被声明为静态的，但是 从来没有定义，每当一个标签 声明但未使用，并且每当a 语句计算的结果为 明确没有使用。

http://docs.freebsd.org/info/gcc/gcc.info.Warning_Options.html

编辑:这里是另一个有用的标志-Wunreachable-code 根据文档:

此选项用于在编译器检测到至少一整行源代码永远不会执行时发出警告，因为某些条件永远不会满足，或者因为它在一个永远不会返回的过程之后。

更新:我在遗留的C/ c++项目中发现了类似的主题死代码检测

GNU链接器有一个——cref选项，用于生成交叉引用信息。你可以通过-Wl，——cref从gcc命令行传递它。

例如，假设foo。O定义了一个符号foo_sym，也在bar.o中使用。然后在输出中你会看到:

foo_sym                            foo.o
                                   bar.o

如果foo_sym限制为foo。O，那么你不会看到任何额外的目标文件;后面会跟着另一个符号:

foo_sym                            foo.o
force_flag                         options.o

现在，从这里我们不知道是否使用了foo_sym。它只是一个候选:我们知道它是在一个文件中定义的，而没有在其他任何文件中使用。Foo_sym可以在foo中定义。O和用于那里。

那么，你该怎么处理这些信息呢

执行一些文本修改，以识别限制在一个目标文件中的这些符号，生成候选列表。 进入源代码，给每个候选对象提供带有静态的内部链接，就像它应该有的那样。 重新编译源代码。 现在，对于那些真正未使用的符号，编译器将能够警告，为你精确定位它们;你可以删除它们。

当然，我忽略了其中一些符号是故意不使用的可能性，因为它们是为动态链接而导出的(即使在链接可执行文件时也可能出现这种情况);这是一种更微妙的情况，你必须了解并明智地处理。