全局变量必须定义在所有函数和类外部的文件作用域顶层，不能嵌套在花括号内；头文件中禁止定义（仅可extern声明）；Static或匿名命名空间可限制链接可见性；多线程下需同步保护。
全局变量必须在所有函数外部定义
全局变量不是“随便写在哪都行”，它得出现在所有 function、main、类定义之外的文件作用域里。写在 main 里？那是局部变量；包在 class 里？那是静态成员或实例成员，不算真正全局。
- 定义位置必须是翻译单元顶层（即 .cpp 文件最外层），且不能嵌套在任何花括号内
- 如果只声明不定义（比如用
extern int g_val;），那得确保某处有且仅有一个定义，否则链接失败 - 头文件里绝不能放定义（如
int g_counter = 0;），否则多文件包含会触发 ODR 违规，报错multiple definition of 'g_counter'
extern 声明和定义的区别很关键
extern 不是“声明一个全局变量”，而是“告诉编译器：这变量在别处定义了，我只用，不占内存”。很多人混淆它和定义，结果要么没分配空间（运行时访问 nullptr 或垃圾值），要么重复分配（链接时报错）。
- 定义语句：
int g_config_timeout = 3000;—— 分配存储，只能出现一次 - 声明语句：
extern int g_config_timeout;—— 不分配空间，可出现在多个文件中（包括头文件） - 常见错误：在头文件里写
extern int g_flag = 1;——= 1让它变成定义，导致重复定义
静态全局变量限制链接可见性
加 static 的全局变量（如 static int g_local_cache;）只在当前 .cpp 文件内可见，其他文件即使用 extern 也拿不到。这不是“作用域变小”，而是改变了链接属性（internal linkage）。
- 适合存放仅本文件使用的配置、缓存、状态标记
- 不会污染全局命名空间，避免名字冲突，但也不能被单元测试直接检查
- 和匿名命名空间效果等价：
Namespace { int g_local_cache; }，后者更现代、更推荐 - 注意：c++17 起可用
inline变量解决头文件定义问题，但inline int g_shared = 42;要求必须有定义体，且所有 TU 看到的是同一对象
多线程下全局变量不是线程安全的
全局变量本身没有线程保护机制。两个线程同时读写 g_counter++，大概率出错 —— 不是因为语法错，而是因为 ++ 是读-改-写三步操作，中间可能被切换。
立即学习“C++免费学习笔记（深入）”；
- 简单读写（如只读配置）没问题；但带修改的操作必须加同步，比如
std::atomic<int> g_counter{0};</int>或配合std::mutex - 构造函数里初始化全局对象（如
std::vector<int> g_pool(1000);</int>）是线程安全的（C++11 起），但析构顺序不可控，可能在其他线程还在用时就被销毁 - 动态初始化（如调用函数返回值初始化）存在静态初始化顺序 fiasco 风险：不同编译单元的全局对象初始化顺序未定义
全局变量的麻烦不在语法，而在它的生命周期、链接属性、并发行为全由你手动控制——而这些控制点，恰恰最容易被忽略。