C++ 变量链接性

一 链接

指代对象、引用、函数、类型、模板、命名空间或值的名称可拥有链接。若名称拥有链接，则其所指代的实体与另一作用域中的声明所引入的同一名称所指代者相同。若变量、函数或另一实体声明于数个作用域，但无充分的链接，则生成实体的数个实例。
1 无链接

• 名称只能从其所在的作用域使用。
• 任何声明于块作用域的下列名称无链接：
  • 不显式声明为 extern 的变量（无关乎 static 修饰符）；
  • 局部类与其成员函数；
  • 其他声明于块作用域的名称，例如 typedef 、枚举及枚举项。

2 内部链接

• 名称可从当前翻译单元中的所有作用域使用。
• 任何声明于命名空间作用域的下列名称拥有内部链接：
  • 声明为static的变量、函数或函数模板；
  • 不是extern的，且先前未声明拥有外部链接的，非volatile非inline(C++17 起) const 限定变量（包含 constexpr）；
  • 匿名联合体的数据成员。
  • 另外，所有声明于无名命名空间或无名命名空间内的名称，即使是显式声明为 extern 者，均拥有内部链接。(C++11 起)

3 外部链接

• 名称能从其他翻译单元中的作用域使用。拥有外部链接的变量和函数亦拥有语言链接，这使得可以链接到以不同编程语言书写的翻译单元。
• 任何声明于命名空间作用域的下列名称拥有外部链接，除非命名空间无名或为无名命名空间所含有 (C++11 起)：
  • 未列于上的变量与函数（即不声明为 static 的函数、不声明为 static 的命名空间作用域非 const 变量，和所有声明为 extern 的变量）；
  • 枚举；
  • 类名、其成员函数、静态数据成员（不论是否 const ）、嵌套类及枚举，及首次以类体内的 friend 声明引入的函数；
  • 所有未列于上的模板名（即不声明为 static 的函数模板）。
• 任何首次声明于块作用域的下列名称拥有外部链接：
  • 声明为 extern 的变量名；
  • 函数名。

二 参考

链接性