为什么C++开发中需要在多个源文件中重复包含相同头文件

核心原理 #

C++的编译过程以**翻译单元（Translation Unit）**为独立单位运行：每个.cpp文件，加上它递归引入的所有头文件的全部展开内容，构成一个独立的翻译单元。不同翻译单元之间的头文件引入状态、符号声明信息完全隔离，不会互相共享。

分文件实现场景（存在other.cpp）的解释 #

这种场景下存在两个独立的翻译单元：

1. 第一个翻译单元是main.cpp：它引入了<iostream>，所以该单元内所有代码（包括展开的other.h里的test()函数声明）都能识别std::cout等标准库符号，编译不会出问题。
2. 第二个翻译单元是other.cpp：它和main.cpp的编译完全独立，如果它自己没有引入<iostream>，编译器处理到test()函数实现里的std::cout时，完全不知道std::cout的类型定义，自然会编译报错。你在main.cpp里引入的<iostream>只对main.cpp自身的翻译单元生效，和other.cpp没有任何关系。

头文件写实现场景（无other.cpp）的解释 #

这种场景下只有main.cpp这一个翻译单元：
你把test()函数的实现写在了other.h里，当main.cpp执行#include "other.h"时，other.h的全部内容会直接展开到main.cpp里#include "other.h"的位置。而你在main.cpp里是先引入了<iostream>、再引入other.h，展开后test()函数的实现代码就位于<iostream>的引入位置之后，编译器已经识别了std::cout的定义，所以可以正常编译运行。

相关最佳实践 #

• 每个翻译单元（即每个.cpp）需要自行引入所有用到的头文件，不要依赖其他翻译单元的引入状态。
• 头文件要做到「自包含」：如果头文件里的代码用到了某个库的符号，就直接在头文件开头引入对应的头文件，不要依赖引入这个头文件的上层代码提前引入依赖。
• 头文件的头文件保护（#ifndef/#pragma once）仅用于避免同一个翻译单元内重复引入同一个头文件，不会跨翻译单元生效。

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