如何配置IWYU递归分析头文件？测试案例结果存疑求助

我尝试配置IWYU（Include-What-You-Use）递归分析头文件，但发现它仅分析一层依赖。测试案例如下：

测试代码 #

A.h #

#ifndef A_H
#define A_H
class A
{
};
#endif

B.h #

#ifndef B_H
#define B_H
#include "A.h"
class B
{
public:
    A a;
};
#endif

C.h #

#ifndef C_h
#define C_h
#include "B.h"    // 我认为无需包含A.h，因B.h已包含A.h
class C
{
    A a;
    B b;
};
#endif

C.cpp #

#include "C.h"
void printC(C c)
{
}

编译配置（compile_commands.json） #

[
    {
        "directory": ".",
        "command": "g++ -c C.cpp",
        "file": "C.cpp"
    }
]

我认为C.h无需直接包含A.h，因为C.h已包含B.h，而B.h已包含A.h。但使用include-what-you-use 0.9 based on clang version 5.0.1-2版本，执行命令iwyu_tool -p .后，结果显示C.h需要添加#include "A.h"，对此无法理解，是否操作有误？

解答 #

这不是操作错误，而是IWYU的核心设计规则导致的：代码中直接使用的类型，必须直接包含其定义所在的头文件，不能依赖间接引入。

规则解释 #

IWYU的目标是保证头文件的独立性——如果未来B.h因为重构不再包含A.h，C.h会因为丢失A的定义而编译失败。要求直接包含A.h，能让C.h不依赖B.h的内部实现细节，避免这类潜在问题。

如何让B.h导出A.h的依赖 #

如果希望B.h作为A.h的"导出接口"（即包含B.h的文件自动获得A.h的可见性），可以在B.h中添加IWYU专用注释，标记A.h为导出内容：

修改后的B.h示例：

#ifndef B_H
#define B_H
// IWYU pragma: begin_exports
#include "A.h"
// IWYU pragma: end_exports
class B
{
public:
    A a;
};
#endif

或者简化写法：

#ifndef B_H
#define B_H
#include "A.h"  // IWYU pragma: export
class B
{
public:
    A a;
};
#endif

添加注释后，IWYU会识别到B.h导出了A.h的内容，此时C.h仅包含B.h就满足需求，不会再提示需要添加A.h的引用。

另外需要注意：你使用的IWYU版本基于Clang 5，属于较老版本，新版本的IWYU在导出注释的兼容性和细节处理上更完善，但核心规则保持一致。

内容的提问来源于stack exchange，提问作者Xu Hui