C++标准库中外部链接全局变量的使用相关问题

问题1：C++标准库使用带外部链接全局变量的合理性 #

通常不建议使用全局变量，请问C++标准库中使用带外部链接的全局变量的合理性是什么？

标准库使用这类全局变量的核心合理性在于满足底层适配、性能控制与封装需求：

• 底层API适配：很多标准库功能依赖操作系统或C底层API（如pthread_once），这类API常需要全局/线程局部状态来传递数据，标准库通过全局变量完成适配，比如std::call_once中用线程局部变量传递可调用对象到跳转函数。
• 线程安全与性能：对于线程局部存储（TLS）变量，带外部链接的声明能让库内多个编译单元共享同一线程局部实例，同时TLS天然线程隔离，不会产生普通全局变量的线程安全问题。
• 实现封装：这类变量属于库内部未公开细节（示例中@cond undocumented标记），不会暴露给用户代码，避免了用户代码中全局变量的常见问题（命名冲突、生命周期不可控、依赖混乱）。
• 兼容性降级：当平台不支持TLS等特性时，全局变量作为 fallback 实现保证功能可用，比如示例中无TLS时用全局std::function和互斥锁兜底。

问题2：“extern变量仅为声明而非定义”的表述是否准确？ #

extern变量仅为声明而非定义，这一表述是否准确？以gcc在mutex.h中对std::call_once的实现为例，声明了带外部链接的线程局部全局变量：

extern __thread void* __once_callable;
extern __thread void (*__once_call)();

这个表述不完全准确，需结合变量类型和声明形式判断：

• 普通全局变量：extern修饰的声明一般是非定义声明，但如果声明同时初始化（如extern int x = 10;），会被视为定义（即使带extern），属于特殊的定义声明。
• 线程局部变量（__thread/C++11thread_local）：extern __thread属于引用性声明（非定义），不带extern的__thread声明才是定义（每个线程生成一个实例）。示例中的extern __thread仅告知编译器变量存在于其他编译单元，并非定义。

简言之：extern的核心作用是指定外部链接，是否为定义取决于初始化或存储类的组合，不能一概而论。

问题3：__once_callable和__once_call的定义位置 #

若__once_callable和__once_call仅被声明未定义，它们的定义位置在哪里？在devtoolset-11的标准库头文件中未找到不带extern的定义，是否定义在源文件中？

这些变量的定义确实在标准库的源文件（而非头文件）中，原因如下：

• 避免ODR违反：头文件会被多个编译单元包含，若在头文件中定义（去掉extern），每个包含的编译单元都会生成变量实例，违反单定义规则（ODR）。
• 实现细节隐藏：标准库内部实现细节会放在.cpp/.cc源文件中编译，最终打包进libstdc++.so（动态库）或libstdc++.a（静态库），用户仅需通过头文件的声明使用功能即可。

在devtoolset-11的libstdc++源代码中，你可以在线程或互斥相关的源文件（如src/c++11/mutex.cc或src/c++11/thread.cc）中找到类似定义：

__thread void* __once_callable;
__thread void (*__once_call)();

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