c++ - 使用 GCC 强制执行显式(直接)#include 语句

Question

我想知道是否可以使用 GCC 强制执行直接#include 要求。假设我有这些文件:

abc.h:

typedef struct {
   int useful;
} str;

文件1.h:

#include <abc.h>
#ifndef GUARD
#define GUARD

#include <deh.h>

typedef struct {
   int useful;
} str2;

#endif

文件2.h:

#ifndef GUARD2
#define GUARD2
#include <file1.h>

void a_function (str*  my_str);
void a_function2(str2* my_str);

#endif

问题是“file2.h”正在使用“abc.h”中定义的“str”。假设“file1.h”是由某些 Linux 系统上的系统提供的。我无法控制“file1.h”的内容。 If may or may not include , it may or may not inside include guards and it may or may not changed over time.

问题在于支持多个发行版和系统时。如果 file2.h 不小心使用了“str”而不包含 ，它可能会在大多数系统上编译，但在其他系统上可能会失败，或者在将来“file1.h”更改时失败。

有没有办法强制 GCC(或 LLVM)只使用直接在 file2.h 中定义的类型？我知道“#include”就是包含，因此编译器内部在预处理器阶段后可能不会意识到这些问题，但是，我想知道这目前是否可行，如果可行，如何实现？

我在“普通”Linux 发行版上遇到过几次这个问题，但在早期的 Android NDK 版本上更糟糕。

Answer 1

不，#include 指示编译器将其他文件的内容视为放在 #include 指令中——您要求的是其他文件的内容以某种方式区别对待的内容。

在这种情况下，您最好的希望是使用执行依赖性分析的静态分析工具，并检查是否存在对通过间接(嵌套)包含获得的类型(或函数或对象)的直接依赖性。

免费doxygen文档工具提取有关包含和依赖关系的信息，并以 XML 格式提供这些信息。当然，就重载解析和模板处理而言，它不如真正的编译器准确。我确信有付费工具会更准确(用户 Ira Baxter 不时弹出来提及他公司销售的商业产品，DMS Toolkit 或类似的东西，听起来它会获得这些信息)。但我猜测 doxygen 将为大多数“正常”代码提供正确的结果。