17370845950

内部链接符号仅在当前翻译单元可见，外部链接符号可被其他翻译单元访问；默认非static非const全局变量和函数具外部链接，static修饰、匿名命名空间内定义或const字面量类型全局变量具内部链接。

在 C++ 中，“内部链接”和“外部链接”描述的是符号（如变量、函数、类等）在编译和链接阶段的可见范围。简单说：有外部链接的符号能被其他翻译单元（.cpp 文件）访问；有内部链接的符号只能在当前翻译单元内使用。

什么是外部链接（external linkage）

默认情况下，命名空间作用域中的非 static、非 const 的全局变量和函数具有外部链接。这意味着它们的名字会被放进目标文件的符号表中，并可能在链接时与其它翻译单元中同名的符号合并（或报重定义错误）。

• 典型例子：int global_var = 42; 和 void func() { } 在 .cpp 文件顶部定义，没加 static 或 inline 等修饰，就默认是外部链接。
• 多个 .cpp 文件里都定义了同名的外部链接变量（未用 extern 声明），链接器会报 multiple definition 错误。
• 如果只在一个 .cpp 里定义，其它 .cpp 用 extern int global_var; 声明，就能跨文件使用——这是外部链接的典型用法。

什么是内部链接（internal linkage）

有内部链接的符号不会出现在目标文件的公共符号表中，因此无法被别的翻译单元访问。它只在当前 .cpp 文件内有效。

• 用 static 修饰的全局变量或函数：例如 static int helper = 0; 或 static void log_debug() { } —— 这是最传统的方式，但仅适用于变量和函数（C++17 起不推荐用于内联变量）。
• 匿名命名空间（anonymous namespace）：这是 C++ 推荐的替代 static 的方式，作用相同但更现代、更一致。例如：

namespace {
    int hidden_counter = 0;
    void helper_impl() { /* 只本文件可用 */ }
}

匿名命名空间里的所有名字都自动获得内部链接，且比 static 更“彻底”——它还能包裹类型（如 struct、class）、模板等，而 static 不能修饰类型。

const 全局变量的特殊情况

在 C++ 中，const 修饰的全局变量（非 extern）默认具有内部链接（前提是类型是字面量类型且初始化为常量表达式）。

• const int MAX = 100; → 内部链接（不需 static 或匿名命名空间）
• extern const int EXT_MAX; → 外部链接（必须在别处定义）
• const std::string s = "hello"; → 外部链接（因为 std::string 不是字面量类型）

怎么选：static 还是匿名命名空间？

• 对函数和变量：优先用匿名命名空间，语义更清晰，兼容性更好（比如支持模板、类型别名）。
• static 在类内声明静态成员时仍有不可替代的作用（static int count;），但那是另一回事，和链接属性无关。
• C++17 起，inline 变量也可用于定义具有外部链接的变量（解决头文件定义问题），但它和内部链接无关，不要混淆。

基本上就这些。内部链接本质是“藏起来”，外部链接本质是“拿出来共用”。选对方式，能避免 ODR 违反、重定义错误，也让代码意图更明确。