如何防止私有匿名静态单例对象被编译器优化移除

在适配需要全局初始化/反初始化的C库（如libcurl）时，最初尝试通过匿名命名空间下的静态守卫对象实现库链接后自动执行初始化逻辑，实现代码如下：

namespace {

class curl_guard {
public:
    curl_guard()
    {
        puts("curl_guard constructor");
        // TODO: curl_global_init
    }
    ~curl_guard()
    {
        puts("curl_guard destructor");
        // TODO: curl_global_cleanup
    }
};

curl_guard curl{}; // 运行后无任何输出

}

实际链接运行后终端无任何输出，Debug模式下通过objdump验证，该静态对象被编译器/链接器判定为无访问、无引用，被优化剔除。
需求约束：

• 不能要求库使用者手动在main函数中调用初始化接口或手动构造守卫对象
• 不向库使用者暴露任何初始化相关的对象、接口访问权限
• 优先通用跨编译器方案，GCC专属方案也可接受
• 常规单例模式不适用：不需要任何代码主动访问该初始化逻辑，仅需要库被链接时自动完成初始化/反初始化

方案1：GCC/Clang专属最优方案（推荐） #

直接使用编译器支持的constructor/destructor函数属性，完全规避静态对象被优化的问题，实现零感知自动初始化：

// 初始化函数：main函数执行前自动调用
// 优先级取值101~65535，值越小执行越早，1~100为系统保留优先级请勿使用
__attribute__((constructor(101)))
static void curl_dependency_init() {
    puts("curl global init");
    curl_global_init(CURL_GLOBAL_DEFAULT);
}

// 清理函数：程序退出前自动调用，优先级和初始化函数对应即可
__attribute__((destructor(101)))
static void curl_dependency_cleanup() {
    puts("curl global cleanup");
    curl_global_cleanup();
}

该方案的优势：

• 所有函数标记为static，仅当前编译单元可见，完全不对外暴露任何符号，库使用者无感知
• 不存在静态对象被优化的问题：只要包含该代码的目标文件被链接，标记的函数就会按优先级自动执行
• 可自由控制初始化优先级，解决多依赖库的初始化顺序冲突问题

注意：如果将代码编译为静态库（.a），请将上述初始化/清理代码放在库中对外暴露、必然会被使用者调用的接口所在的编译单元中。静态库的链接规则是仅提取存在外部引用的目标文件，如果初始化代码单独放在无任何对外符号的编译单元，整个目标文件会被链接器跳过。如果是编译动态库（.so）则无该限制，动态库加载时就会自动执行constructor标记的函数。

方案2：通用跨编译器方案 #

如果需要兼容MSVC等不支持GCC属性的编译器，可以采用静态对象+强制引用的方案：

1. 将守卫类和静态对象放在库对外暴露接口的编译单元中，不要单独放在无对外符号的空编译单元
2. 给静态对象加used标记，告知编译器不要优化掉该对象
3. 在库对外暴露的、必然会被使用者调用的接口中，加入对静态对象的无开销伪引用，强制链接器保留该符号

示例代码：

// 放在对外暴露接口的编译单元中
namespace {
class curl_guard {
public:
    curl_guard()
    {
        puts("curl_guard constructor");
        curl_global_init(CURL_GLOBAL_DEFAULT);
    }
    ~curl_guard()
    {
        puts("curl_guard destructor");
        curl_global_cleanup();
    }
};

// 标记对象为已使用，避免编译器优化
[[gnu::used, maybe_unused]] // C++17及以上支持标准属性，低版本可替换为对应编译器的used标记
curl_guard curl_guard_instance{};
}

// 库对外暴露的、使用者必然会调用的接口，比如curl句柄创建封装
void* my_curl_easy_create() {
    // 无运行时开销的伪引用：开O2及以上优化时编译器会删除该行的实际执行逻辑，但会保留静态对象的初始化逻辑
    (void)curl_guard_instance;
    // 实际业务逻辑
    return nullptr;
}

不推荐的方案 #

不建议通过链接选项-Wl,--whole-archive强制保留静态库所有目标文件，该方案会将静态库中所有未被引用的代码全部链接到最终二进制，会无意义增大产物体积。

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