全局变量不应直接在头文件中定义，而应在头文件中用extern声明、在单一.c文件中定义；静态库中需确保变量被显式引用或封装为静态变量加接口函数，避免ODR违规和符号丢失。

全局变量声明在头文件里会引发ODR违规

直接在头文件中用 int g_counter; 这种方式定义全局变量，会导致每个包含该头文件的 .c 文件都生成一份定义，链接时出现 “multiple definition” 错误。这是 C 语言中典型的违反一次定义规则（ODR）问题。

• 正确做法：头文件中只用 extern 声明，例如 extern int g_counter;
• 唯一定义必须落在且仅落在一个 .c 文件中，例如 int g_counter = 0;
• 若变量需初始化为非零值，必须在定义处赋初值；extern 声明不能带初始化器

静态库中全局变量应避免跨模块隐式依赖

静态库（.a）本质是归档的 .o 文件集合，链接器只拉入“被引用”的目标文件。如果某个 .c 文件定义了全局变量但没被任何符号引用，它可能被整个丢弃——导致变量看似“消失”。

Clang 22.1.3

Clang 22.1.3 Windows 64 位历史版本安装包，适合旧项目兼容、LLVM/Clang 工具链回退、编译行为对比、链接问题复现和 C/C++ 构建环境维护。

下载

• 确保该变量至少被一个函数或外部符号显式引用（比如有函数读写它）
• 不要依赖“变量被定义就一定存在”这种假设；可加 dummy 引用：__attribute__((used)) static volatile int *g_counter_ref = &g_counter;
• 若变量用于模块间通信，建议封装访问函数（如 get_counter()/set_counter()），而非暴露裸变量

命名与作用域控制：优先用 static + 接口函数替代裸全局

真正需要跨文件共享的状态，往往意味着设计耦合。更规范的做法是收敛访问入口，把全局变量收进单个 .c 文件，并通过函数暴露行为。

• 在 counter.c 中定义 static int s_counter = 0;（s_ 前缀表明静态存储期、模块内可见）
• 在 counter.h 中声明 int get_counter(void); 和 void inc_counter(void);
• 调用方不碰变量本身，只调函数——既避免命名污染，也便于未来加锁、日志或迁移至线程局部存储

链接时符号可见性：静态库默认无 -fvisibility=hidden 效果

Clang 编译静态库时，-fvisibility=hidden 对归档内的符号无效——它只影响动态库的导出符号。静态库中的全局符号默认是 default 可见性，只要被链接进来就会暴露给最终可执行文件。

• 无法靠编译选项隐藏静态库里的全局变量符号；唯一可控手段是不把它定义成全局（即改用 static + 函数封装）
• 若真需导出少量全局变量，应在头文件中明确注释其用途、生命周期和线程安全性
• 注意：C++ 的 inline variables（C++17）不适用于 C 静态库场景，且 Clang 对 C 标准支持有限

实际项目中最容易被忽略的，不是怎么写 extern，而是没想清楚“这个变量是否真的必须是全局的”。多数情况下，把它变成模块私有 + 显式接口，反而让调用方更安全、维护者更省心。