C编译器是否会对引用库中重复的公共头文件包含执行去重操作？

核心结论 #

头文件的引入去重逻辑分两种场景：

• 跨独立编译单元（即不同的.c文件）：不会去重，每个.c的预处理过程完全独立，你示例中的main.c和foo/foo.c会各自完整引入一次<stdio.h>
• 同一编译单元内：可以通过标准的头文件防护机制实现去重，避免重复包含导致的定义冲突

原理说明 #

1. C语言的编译流程中，每个.c文件是一个独立的编译单元，预处理器会单独处理每个.c的引入、宏替换等操作，处理完成后才会编译成对应的目标文件（.o文件），不同编译单元的预处理过程互不影响。

2. 头文件通常只存放函数、变量、类型的声明，声明本身允许多次出现在不同编译单元中，只要内容一致就不会引发错误。链接阶段只会合并所有编译单元的符号，最终只会保留一份标准库中printf的实现，因此不会出现冲突。

3. 我们常说的「头文件去重」是针对同一编译单元内多次引入同一个头文件的场景，标准实现有两种：

   • 标准C兼容的哨兵防护写法：

   #ifndef SOME_HEADER_H
   #define SOME_HEADER_H
   // 头文件所有内容
   #endif
   

   • 编译器扩展的简化写法#pragma once，主流编译器（GCC、Clang、MSVC）均支持，无需手动定义宏。

   所有标准库头文件（如<stdio.h>）都自带了上述防护逻辑，哪怕你在同一个.c里重复#include <stdio.h>多次，也不会出现重复定义错误。

示例编译逻辑说明 #

你给出的示例项目结构如下：

执行编译命令gcc -o app main foo/foo.c && ./app时，GCC会依次执行三个步骤：

1. 分别预处理main.c和foo/foo.c，各自展开<stdio.h>的内容
2. 把预处理后的两个文件分别编译为目标文件
3. 链接两个目标文件和标准库生成可执行文件，运行后输出预期结果

这也是为什么社区都建议不要直接包含.c文件：.c文件存放的是实现代码，如果你把.c引入到多个编译单元中，就会出现同一个函数/变量的多次实现定义，链接阶段会直接报错，不符合模块化设计的要求。

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