为何C++无法在全局作用域直接调用函数而无需初始化变量？

首先明确：C++其实有多种方案可以避免这种冗余的哑元变量，之所以会用到哑元变量，本质是因为标准C++不允许在全局作用域直接执行语句，必须通过变量初始化、对象构造等方式触发代码执行。下面是几种更优雅的替代方案：

1. 用匿名命名空间+全局构造函数打包初始化逻辑 #

把所有需要在全局初始化阶段执行的逻辑，放到一个匿名命名空间内的结构体构造函数里，只需要定义一个该结构体的全局实例即可，不用给每个初始化函数单独配哑元变量：

// 假设你的初始化函数是这些
static void initContainerA() { /* 填充容器A的逻辑 */ }
static void initContainerB() { /* 填充容器B的逻辑 */ }

namespace {
struct GlobalInitializer {
    GlobalInitializer() {
        initContainerA();
        initContainerB();
        // 所有需要全局执行的初始化都放这里
    }
};
// 定义全局实例，程序启动时自动调用构造函数
static GlobalInitializer globalInit;
}

这种写法把分散的初始化逻辑收拢，只需要一个全局实例，比多个哑元变量整洁得多。

2. 编译器扩展：构造函数属性（GCC/Clang/MSVC支持） #

主流编译器提供了扩展属性，可以标记函数在main()之前自动执行，完全不需要任何变量：

// GCC/Clang 写法
static void __attribute__((constructor)) initContainerA() {
    /* 初始化逻辑 */
}

// MSVC 写法
static void __declspec(allocate(".CRT$XCU")) initContainerB() {
    /* 初始化逻辑 */
}

注意这是非标准特性，但在实际项目中兼容性很好，适合需要独立执行的单个初始化函数。

3. C++20模块初始化（标准方案） #

如果使用C++20模块，可以把初始化逻辑直接写在模块的全局作用域（模块单元的顶层），模块加载时会自动执行：

// mymodule.cppm
export module mymodule;

// 模块初始化代码，加载时自动执行
void initContainer() { /* 填充容器逻辑 */ }
initContainer(); // 直接执行，不需要变量

这是标准C的解决方案，完全规避了哑元变量的问题，但需要项目支持C20模块特性。

回到核心问题：为什么最初的写法需要哑元变量？ #

标准C的全局作用域只能包含声明/定义语句，不能直接写执行代码。要触发代码执行，必须依托变量初始化（比如用函数返回值初始化静态变量）、全局对象构造这些机制，所以才会出现冗余的哑元变量——这是早期C缺乏更直接全局初始化机制时的妥协写法，现在已经有更优雅的替代方案了。

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