为何VS Code中defs.h未包含types.h却能使用其类型且无IntelliSense警告？

编译层面的原因 #

• C语言的预处理阶段是按头文件的包含顺序依次处理的。在你的main.c中，先包含了types.h，其中的typedef unsigned int uint;和typedef unsigned long long uint64;会被预处理程序展开并生效；之后再包含defs.h时，里面用到的uint和uint64已经是被定义过的有效类型，编译器能正常解析函数声明，不会触发编译错误。
• 注意：这种写法是不安全的——如果其他源文件中先包含defs.h再包含types.h，或者只包含defs.h，编译器会直接报错，因为此时uint和uint64是未定义的标识符。

VS Code IntelliSense的原因 #

• IntelliSense在分析代码时，会完整追踪当前翻译单元（即main.c及其递归包含的所有头文件）的预处理顺序。它会识别到types.h先被加载，已经完成了uint和uint64的类型定义，所以在处理defs.h里的函数声明时，能正确识别这些类型，因此不会给出警告。

建议写法 #

为了保证代码的可移植性和健壮性，应该在defs.h的开头明确包含types.h，这样无论哪个源文件包含defs.h，都能确保所需的类型已被定义，避免出现潜在的编译错误。

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