C++头文件未包含对应cpp文件，如何关联其定义？

其实核心在于C++的编译-链接两步走机制，和你想的“文件互相包含”完全是两码事：

第一步：编译——各自为政，只做语法检查 #

当你在代码里写#include "xxx.h"，预处理器会直接把头文件里的内容“复制粘贴”到当前cpp文件里，然后编译器只处理这个合并后的文件，生成一个目标文件（.obj或.o）。

这时候编译器只需要知道“这个东西是存在的”——也就是头文件里的声明，比如“有个叫add的函数，接受两个int参数，返回int”，至于这个函数具体怎么写，编译器根本不关心。就像你用手机APP，只需要知道点这个按钮能付款，不用管APP后台怎么处理交易。

而库的cpp文件，会被单独编译成另一个目标文件，和你的代码生成的目标文件是完全独立的，互相不干扰。

第二步：链接——把所有零件拼起来 #

等所有cpp文件都编译成目标文件后，链接器就该干活了：

• 它会把你自己代码的目标文件、库的目标文件全部收集起来。
• 然后逐个匹配：比如你代码里调用了add，链接器就去库的目标文件里找add的具体实现代码，把调用的位置和实现的地址关联起来。
• 最后把所有分散的代码、数据整合到一起，生成能直接运行的可执行文件（.exe或.out）。

举个直白的例子 #

假设你有三个文件：

• math.h：只写声明 int add(int a, int b);
• math.cpp：写实现 int add(int a, int b) { return a + b; }
• main.cpp：#include "math.h"，然后写cout << add(1,2);

编译阶段：

1. main.cpp被插入math.h的内容，编译成main.obj
2. math.cpp单独编译成math.obj

链接阶段：
链接器把main.obj和math.obj捏到一起，找到main.obj里调用add的地方，把它和math.obj里add的代码绑定，最终生成可执行文件。

为啥不能把cpp包含到头文件里？ #

要是你把cpp文件包含进头文件，那每个包含这个头文件的cpp都会复制一遍cpp里的实现，编译后会出现多个一模一样的add定义，链接器会直接报错“重复定义”——这就是分开声明和定义的原因，既能让编译器做语法校验，又能避免重复代码的问题。

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