一种方法是使用调试器和编译器特性，在编译过程中消除未使用的机器代码。

一旦某些机器代码被删除，调试器就不会让你在相应的源代码行上添加断点。因此，您将断点放置在任何地方，并启动程序并检查断点——那些处于“此源未加载代码”状态的断点对应于已消除的代码——要么该代码从未被调用，要么已内联，您必须执行一些最小分析，以找出这两者中哪一个发生了。

至少这是它在Visual Studio中的工作方式，我猜其他工具集也可以做到这一点。

这需要做很多工作，但我认为比手动分析所有代码要快。

我自己没有使用过cppcheck，但它声称可以找到未使用的函数。这也许不能完全解决问题，但可能是个开始。

If you are on Linux, you may want to look into callgrind, a C/C++ program analysis tool that is part of the valgrind suite, which also contains tools that check for memory leaks and other memory errors (which you should be using as well). It analyzes a running instance of your program, and produces data about its call graph, and about the performance costs of nodes on the call graph. It is usually used for performance analysis, but it also produces a call graph for your applications, so you can see what functions are called, as well as their callers.

这显然是对页面其他地方提到的静态方法的补充，它只会有助于消除完全不使用的类、方法和函数——它不会帮助找到实际调用的方法内部的死代码。

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

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

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

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

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

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

Mark as much public functions and variables as private or protected without causing compilation error, while doing this, try to also refactor the code. By making functions private and to some extent protected, you reduced your search area since private functions can only be called from the same class (unless there are stupid macro or other tricks to circumvent access restriction, and if that's the case I'd recommend you find a new job). It is much easier to determine that you don't need a private function since only the class you're currently working on can call this function. This method is easier if your code base have small classes and is loosely coupled. If your code base does not have small classes or have very tight coupling, I suggest cleaning those up first.

接下来将标记所有剩余的公共函数，并制作一个调用图，以找出类之间的关系。从这棵树上，试着找出树枝的哪一部分看起来可以修剪。

这种方法的优点是你可以在每个模块的基础上进行测试，所以当你的代码库损坏时，你很容易通过单元测试，而不会有很长一段时间。