C++中#include指令的实际工作原理是什么？

首先明确：#include就是简单的文本复制粘贴，你代码里的extern声明其实是多余的，但它不会引发编译错误，只是重复声明变量而已。

我们拆解预处理后的代码逻辑：
当预处理器处理#include "header.h"时，会直接将header.h中的int x;复制到main.cpp的对应位置，预处理完成后，main.cpp的实际代码会变成：

int x;
#include<iostream>
extern int x;
int main(){
  x=1;
  std::cout<<x;
}

这里的核心是C++变量声明的两类规则：

• int x;属于定义性声明：既告诉编译器变量的类型和名称，也会为变量分配内存空间
• extern int x;属于引用性声明：仅告知编译器该变量已在别处定义，不会分配新内存

在同一个编译单元中，只要变量有且仅有一个定义性声明，其余的引用性声明都是合法的——编译器会将所有声明指向那个已分配内存的变量。所以你的代码里，虽然extern声明完全没必要，但符合语法规则，程序依然能正常运行。

你产生矛盾误解的原因，是误以为extern只能用于跨文件声明变量，但实际上它也可以在同一文件内重复声明已定义的变量，只是这种写法没有实际意义。

如果去掉main.cpp里的extern int x;，代码依然能正常编译运行，因为预处理后已经存在int x;的定义，直接使用即可。

总结：

• #include的本质就是纯文本替换，不存在特殊处理逻辑
• 你的代码中的extern声明是冗余的，但符合C++语法，因此不会报错
• extern并非只能跨文件使用，它也支持同一文件内的重复声明（已定义的变量）

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