内部链接指符号仅在当前编译单元内可见，如 static 修饰的全局变量 / 函数、匿名命名空间内名称；外部链接指符号可被其他编译单元通过 extern 声明引用并链接，如普通全局变量 / 函数。
内部链接和外部链接是 C++ 中决定符号（比如变量、函数）能否被其他编译单元访问的关键机制，它们在编译期由链接器根据符号的“链接属性”（linkage）来处理。理解 extern 和 static 的作用，本质上就是理解如何控制这个链接属性。
什么是内部链接（internal linkage）
具有内部链接的符号只能在 ** 当前编译单元（即当前 .cpp 文件）内被访问 **，其他 .cpp 文件即使声明了同名符号，也不会链接到它——它们是各自独立的实体。
常见方式：
- 在命名空间 作用域 中用
static修饰的变量或函数（C++17 起不推荐用于函数，但语义仍有效） - 未加
extern的const全局变量（隐式 internal linkage） - 匿名命名空间内的所有名称（现代 C++ 推荐替代
static的写法）
例如：
立即学习“C++ 免费学习笔记（深入）”；
namespace {int helper = 42;} // 匿名命名空间 → 内部链接
static void log() { /* 只在本文件可用 */} // 内部链接
什么是外部链接（external linkage）
具有外部链接的符号可以被 ** 其他编译单元通过声明（declaration）引用并链接 **，最终在链接阶段合并为同一个实体。这是默认行为（对非 const 全局变量 / 函数而言）。
常见方式：
- 普通全局变量或函数（无
static，不在匿名命名空间中） - 显式用
extern声明的变量或函数（强调“定义在别处”，不分配存储） -
extern "C"是特殊形式，用于 C 链接约定，不影响 internal/external 本质，但改变符号名修饰规则
例如：
立即学习“C++ 免费学习笔记（深入）”；
int global_counter = 0; // 外部链接（定义）
extern int global_counter; // 同一程序中其他文件可这样声明使用
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，语义更清晰且支持类 / 模板等：
namespace {
class LocalHelper {/* … */};
void init() { /* … */}
}
一个典型错误场景：头文件中误写定义
如果在头文件（.h）中写了：
int bad_global = 0; // ❌ 多个 .cpp 包含它 → 多重定义错误（ODR violation）
正确做法是：
- 头文件中只声明：
extern int good_global; - 在某个 .cpp 中定义：
int good_global = 0; - 或者想让每个翻译单元有独立副本（不共享），就用
static int local_copy = 0;或放入匿名命名空间
这也是 为什么 inline 变量（C++17）和 constexpr 常量常被用于头文件——它们天然支持外部链接且允许多定义。
