The problem with detecting superfluous includes is that it can't be just a type dependency checker. A superfluous include is a file which provides nothing of value to the compilation and does not alter another item which other files depend. There are many ways a header file can alter a compile, say by defining a constant, redefining and/or deleting a used macro, adding a namespace which alters the lookup of a name some way down the line. In order to detect items like the namespace you need much more than a preprocessor, you in fact almost need a full compiler.

Lint更多的是一个样式检查器，当然不会有这个完整的功能。

我想你会发现检测多余include的唯一方法是删除、编译和运行套件。

CLion是JetBrains开发的C/ c++ IDE，可以即时检测冗余内容。这些在编辑器中是灰色的，但也有一些函数可以优化当前文件或整个项目中的包含。

我发现你需要为这个功能付费;当第一次加载时，CLion需要一段时间来扫描和分析您的项目。

如果您正在使用Eclipse CDT，您可以尝试http://includator.com，它对beta测试人员是免费的(在撰写本文时)，并自动删除多余的#includes或添加缺失的#includes。对于那些拥有FlexeLint或PC-Lint并正在使用Elicpse CDT的用户，http://linticator.com可能是一个选项(beta测试也是免费的)。虽然它使用了Lint的分析，但它提供了自动删除多余的#include语句的快速修复。

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

我认为PCLint可以做到这一点，但我已经有几年没有研究它了。你可以去看看。

我看了这个博客，作者谈到了一些关于配置PCLint以查找未使用的包含的内容。也许值得一看。

我尝试过使用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文件首先包含它自己的头文件。(剪) 头文件必须包含解析它所需的所有头文件。(剪) 头文件应该有最少的头文件来解析它。(剪)