结束这个讨论:c++预处理器是图灵完成的。包含是否是多余的，这是一个语义属性。因此，由Rice定理可知，包含是否多余是不可判定的。不可能有一个程序(总是正确地)检测包含是否多余。

这不是自动的，但是doxygen会为#included文件生成依赖关系图。你必须从视觉上看它们，但它们对于了解什么在使用什么是非常有用的。

我尝试过使用Flexelint (PC-Lint的unix版本)，结果有些复杂。这可能是因为我正在处理一个非常庞大且复杂的代码库。我建议仔细检查报告为未使用的每个文件。

主要的担忧是假阳性。同一报头的多个包含被报告为不需要的报头。这是很糟糕的，因为Flexelint没有告诉你头文件被包含在哪一行或者它之前被包含在哪里。

自动化工具可能会出错的一种方式是:

在A.hpp:

class A { 
  // ...
};

在B.hpp:

#include "A.hpp

class B {
    public:
        A foo;
};

在C.cpp:

#include "C.hpp"  

#include "B.hpp"  // <-- Unneeded, but lint reports it as needed
#include "A.hpp"  // <-- Needed, but lint reports it as unneeded

如果你盲目地跟随Flexelint的消息，你会把#include依赖项搞砸。有更多的病理情况，但基本上你需要自己检查标题，以获得最好的结果。

我强烈推荐这篇来自博客Games的关于物理结构和c++的文章。他们推荐了一个全面的方法来清理#include混乱:

的指导方针 以下是从Lakos的书中提炼出来的一组指导原则，可以最大限度地减少文件之间的物理依赖关系。我已经使用它们很多年了，我对效果一直很满意。 每个cpp文件首先包含它自己的头文件。(剪) 头文件必须包含解析它所需的所有头文件。(剪) 头文件应该有最少的头文件来解析它。(剪)

您可以编写一个快速脚本，删除单个#include指令，编译项目，并在没有发生编译错误的情况下记录#include中的名称和它被删除的文件。

让它在晚上运行，第二天你就会有一个100%正确的可以删除的包含文件列表。

有时候蛮力很管用:-)

编辑:有时它不会:-)。下面是一些来自评论的信息:

Sometimes you can remove two header files separately, but not both together. A solution is to remove the header files during the run and not bring them back. This will find a list of files you can safely remove, although there might a solution with more files to remove which this algorithm won't find. (it's a greedy search over the space of include files to remove. It will only find a local maximum) There may be subtle changes in behavior if you have some macros redefined differently depending on some #ifdefs. I think these are very rare cases, and the Unit Tests which are part of the build should catch these changes.

有一个免费的工具包括文件依赖监视器，它可以集成到可视化工作室中。它用红色显示多余的#include。

Clangd现在正在为你做这件事。clang-tidy可能很快也能做到这一点。