静态IIFE实现无显式调用回调订阅的可行性及相关问题咨询

问题背景 #

我需要实现一套事件回调机制，当特定事件发生时调用已注册的回调函数，且希望无需显式调用订阅函数即可完成回调注册（类似gtest的自动注册效果）。现有代码示例如下：

代码示例 #

subscription.h

#include <functional>
#include <vector>

class subscription {
    public:
    void add(std::function<void()> fun) {
        funs.emplace_back(std::move(fun));
    }
    void execute() {
        for (const auto& fun : funs) {
            fun();
        }
    }

    private:
    static inline auto funs = std::vector<std::function<void()>>{};
};

main.cpp

#include "subscription.h"

int main() {
    // optional API to execute all additions, if needed
    // subscription.gather();
    subscription::execute();
}

hello.cpp

#include "subscription.h"

#include <iostream>

void subscribe_hello() {
    subscription::add([](){ std::cout << "Hello World!\n"; });
}

// Will this work?
static int dummy_hello = [](){ return subscribe_hello(), 1; }();

已知显式调用subscribe_hello()可靠但每次新增回调都要修改通用代码，过于繁琐；静态初始化的dummy_hello能触发注册但不想用这种方式，因此提出以下问题：

问题解答 #

1. 未被使用的静态对象是否会被初始化？ #

C++标准规定：只要静态对象所在的翻译单元被链接到最终程序中，就会在main()函数启动前完成初始化。但存在两种例外情况：

• 如果翻译单元没有被任何代码引用（比如没有函数、变量被其他单元调用），链接器可能会直接剔除整个翻译单元，此时静态对象不会被初始化。
• 若启用了链接时垃圾回收优化（如GCC的-ffunction-sections -Wl,--gc-sections），未被显式引用的静态对象可能被优化掉，可通过[[used]]属性（C++17及以上）标记对象强制保留。

2. 添加constexpr或constinit关键字会有何影响？ #

• constexpr：要求变量的初始化表达式必须是编译期可计算的，但你的注册逻辑涉及修改std::vector（运行时动态操作），无法满足编译期计算要求，强行使用会直接触发编译错误。
• constinit：仅保证变量在静态初始化阶段完成初始化，不改变存储期或链接属性，但你的注册逻辑属于动态初始化（调用非编译期函数），不符合constinit的要求，同样会导致编译错误。

这两个关键字都无法解决你的核心需求，反而会限制初始化逻辑的灵活性。

3. 若该方案可行，是否需要考虑线程安全问题？ #

必须考虑。

• 初始化顺序问题：跨翻译单元的静态对象初始化顺序是不确定的，如果subscription的静态成员funs在某个回调注册之后才初始化，调用add()会操作未初始化的容器，导致未定义行为。
• 线程安全问题：如果程序在main()前有多个线程启动（部分第三方库会这么做），或者多个回调在静态初始化阶段并行注册，std::vector::emplace_back()不是线程安全操作，会引发数据竞争。

4. 若该方案不可行，如何从任意翻译单元实现程序入口时自动调用函数？ #

参考gtest的实现思路，核心是利用全局对象构造函数在main()前执行的特性，同时避免编译器/链接器优化，以下是两种可靠方案：

方案1：全局注册器类（跨平台兼容）

修改subscription.h，新增注册器模板类，同时用函数局部静态变量解决初始化顺序问题：

// subscription.h
#include <functional>
#include <vector>

class subscription {
public:
    static void add(std::function<void()> fun) {
        // 函数局部静态变量保证首次调用时初始化，避免跨单元顺序问题
        static std::vector<std::function<void()>> funs;
        funs.emplace_back(std::move(fun));
    }
    static void execute() {
        static std::vector<std::function<void()>>& funs = get_funs();
        for (const auto& fun : funs) {
            fun();
        }
    }

private:
    static std::vector<std::function<void()>>& get_funs() {
        static std::vector<std::function<void()>> funs;
        return funs;
    }
};

// 注册器模板类，构造函数自动完成注册
template<typename Func>
class CallbackRegistrar {
public:
    explicit CallbackRegistrar(Func&& func) {
        subscription::add(std::forward<Func>(func));
    }
};

在任意翻译单元中，定义全局注册器实例（用[[used]]避免被优化）：

// hello.cpp
#include "subscription.h"
#include <iostream>

[[used]] CallbackRegistrar hello_registrar([](){ std::cout << "Hello World!\n"; });

方案2：编译器扩展属性（简洁但兼容性稍差）

使用GCC/Clang的__attribute__((constructor))属性，标记注册函数在main()前自动执行：

// hello.cpp
#include "subscription.h"
#include <iostream>

__attribute__((constructor))
void subscribe_hello() {
    subscription::add([](){ std::cout << "Hello World!\n"; });
}

MSVC下可使用__declspec(allocate)配合初始化段实现类似效果，但跨平台兼容性不如方案1。

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