C++全局变量：static、inline等修饰符的适用场景

关于C全局变量的修饰符选择，不少老资料因C17的inline变量、C++20的模块机制已经过时，下面结合版本差异和存放位置，把static、inline、extern、const、constexpr的用法梳理清楚：

一、C++17之前的规则 #

1. 放在源文件（.cpp）中 #

• static：当你想让变量仅在当前源文件内部使用，避免和其他源文件的同名全局变量冲突时用。比如源文件里用来临时存储计算中间值的变量，没必要对外暴露。
• extern：用来声明一个在其他源文件中定义的全局变量，实现跨文件访问。比如在A.cpp里定义int global_val = 0;，在B.cpp里写extern int global_val;就能直接操作这个变量。
• const/constexpr：const全局变量默认是内部链接（效果等同于static），只能在当前源文件使用；如果要跨文件共享，需要在定义时加extern const int val = 10;，其他文件用extern const int val;声明即可。C11到C17前的constexpr同样是内部链接，跨文件共享也需要extern配合。

2. 放在头文件（.h/.hpp）中 #

• 绝对不能直接定义非static、非const的全局变量，否则每个包含该头文件的源文件都会生成一个变量副本，链接阶段会报多重定义错误。
• static：每个包含头文件的源文件会得到独立的变量副本，适合不需要跨文件共享的小变量，但要注意修改这个变量只会影响当前文件，其他文件的副本不受影响。
• extern：只做声明不定义，配合源文件里的变量定义实现跨文件共享。比如头文件写extern int global_val;，源文件写int global_val = 0;。
• const/constexpr：默认内部链接，每个包含头文件的源文件有自己的副本；如果要让所有文件共享同一个实例，得在头文件写extern const int val;，然后在某个源文件里定义const int val = 10;。

二、C++17引入inline变量后的变化 #

C++17的inline变量解决了头文件定义全局变量的多重定义问题，核心是允许多个翻译单元定义同一个inline变量，链接时自动合并为单个实例。

1. 头文件中的inline变量 #

• 可以直接在头文件定义inline全局变量，所有包含该头文件的源文件共享同一个实例，比如：

  inline int shared_val = 10; // 所有包含该头文件的.cpp共享此变量
  

• inline const/constexpr：这是最常用的场景，替代了之前extern const的写法，直接在头文件定义就能实现跨文件共享，比如inline constexpr int MAX_SIZE = 100;，无需再去源文件单独定义。
• 注意：inline和static不要搭配使用——static是内部链接，inline是外部链接且保证单实例，两者逻辑冲突，完全没有这样写的必要。

2. 源文件中的inline变量 #

在源文件里定义inline变量意义不大，因为源文件本身就是单个翻译单元，普通全局变量已经是单实例，加inline不会带来额外收益。

三、C++20引入模块后的变化 #

C++20的模块机制重新定义了代码可见性，全局变量的规则也随之调整：

1. 模块内部的全局变量（未导出） #

默认是模块内部链接，效果等同于static，只有模块内的代码能访问，外部模块无法看到。比如模块里写int module_internal_val = 5;，导入该模块的代码无法访问这个变量。

2. 导出的全局变量 #

用export关键字声明/定义，其他模块导入后可直接访问，无需extern：

// 在模块中定义并导出
export int module_shared_val = 0;

// 其他模块导入后直接使用
import my_module;
module_shared_val = 10;

3. 模块中的const/constexpr #

默认是模块内部链接，要导出给其他模块使用，必须加export：

export constexpr int MODULE_MAX = 200;

4. 模块与头文件混合 #

如果模块中包含传统头文件，头文件里的变量仍遵循之前的规则，但模块内部的变量和头文件的变量相互隔离，不会互相影响。

针对三个问题的总结 #

1. 修饰符选择时机：

   • static：想让变量仅在当前翻译单元（源文件/模块内部）可见时使用；
   • extern：C17前用于跨文件声明全局变量，C20模块场景基本不再需要；
   • inline：C++17后在头文件定义全局共享变量，避免多重定义问题；
   • const/constexpr：定义只读全局变量，结合inline（C++17+）可实现跨文件/模块共享，不加则默认内部链接。

2. 版本差异：

   • C++17前：头文件不能直接定义非static/const全局变量，跨文件共享依赖extern+源文件定义；
   • C17到C20前：inline变量解决了头文件全局变量的多重定义问题，const/constexpr结合inline即可实现共享；
   • C++20后：模块替代部分头文件场景，全局变量的可见性由导出控制，默认内部链接，导出后可跨模块共享。

3. 存放位置差异：

   • 源文件：C17前用static定义内部变量，extern声明外部变量；C17后inline意义不大；
   • 头文件：C17前只能用static/const/extern声明；C17后可用inline定义共享变量；
   • 模块：未导出的变量默认仅内部可见，导出的变量可跨模块访问，const/constexpr需加export才能导出。

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