内部链接指符号仅在当前编译单元内可见，如static修饰的全局变量/函数、匿名命名空间内名称；外部链接指符号可被其他编译单元通过extern声明引用并链接，如普通全局变量/函数。

内部链接和外部链接是 C++ 中决定符号（比如变量、函数）能否被其他编译单元访问的关键机制，它们在编译期由链接器根据符号的“链接属性”（linkage）来处理。理解 extern 和 static 的作用，本质上就是理解如何控制这个链接属性。

什么是内部链接（internal linkage）

具有内部链接的符号只能在**当前编译单元（即当前 .cpp 文件）内被访问**，其他 .cpp 文件即使声明了同名符号，也不会链接到它——它们是各自独立的实体。

常见方式：

• 在命名空间作用域中用 static 修饰的变量或函数（C++17 起不推荐用于函数，但语义仍有效）
• 未加 extern 的 const 全局变量（隐式 internal linkage）
• 匿名命名空间内的所有名称（现代 C++ 推荐替代 static 的写法）

例如：

什么是外部链接（external linkage）

具有外部链接的符号可以被**其他编译单元通过声明（declaration）引用并链接**，最终在链接阶段合并为同一个实体。这是默认行为（对非 const 全局变量/函数而言）。

常见方式：

• 普通全局变量或函数（无 static，不在匿名命名空间中）
• 显式用 extern 声明的变量或函数（强调“定义在别处”，不分配存储）
• extern "C" 是特殊形式，用于 C 链接约定，不影响 internal/external 本质，但改变符号名修饰规则

例如：

extern 的真实作用：声明而非定义，且指定外部链接

extern 关键字本身**不创建定义，只做声明**，告诉编译器：“这个符号有外部链接，定义在别的编译单元里”。如果同时初始化，则变为定义（且仍是外部链接）。

• extern int x; → 声明，不分配内存，链接时找外部定义
• extern int x = 42; → 定义（带初始化），且是外部链接（注意：这等价于 int x = 42;，因为初始化使它成为定义）
• extern const int y = 10; → 定义，但因 const 默认 internal linkage，加 extern 才强制为 external linkage

关键点：extern 不改变作用域（scope），只影响链接属性（linkage）和是否为定义。

static 在命名空间作用域中的作用：强制内部链接

在全局/命名空间作用域中，static 的唯一作用就是将符号的链接属性设为 internal，**让它无法被其他编译单元看到**。它和“静态存储期”无关（那是生命周期概念，由是否在函数内定义决定）。

• static int cache[1024]; → 只有本 .cpp 能访问该数组
• static void helper(); → 本文件专用辅助函数，不会和别人冲突
• 注意：函数内 static int x; 是另一回事——它表示局部静态变量（有静态存储期 + 局部作用域），和链接属性无关

现代 C++ 更推荐用匿名命名空间替代全局 static，语义更清晰且支持类/模板等：

一个典型错误场景：头文件中误写定义

如果在头文件（.h）中写了：

正确做法是：

• 头文件中只声明：extern int good_global;
• 在某个 .cpp 中定义：int good_global = 0;
• 或者想让每个翻译单元有独立副本（不共享），就用 static int local_copy = 0; 或放入匿名命名空间

这也是为什么 inline 变量（C++17）和 constexpr 常量常被用于头文件——它们天然支持外部链接且允许多定义。