C++实现轻量级观察者模式(RAII风格) _ 回调管理逻辑实现【源码】-C++-PHP中文网

std::function+std::shared_ptr不适合轻量级观察者因其堆分配和原子开销；应采用栈上raii句柄，构造注册、析构注销，仅存裸指针/id，用原子标记快照调用避免竞态。

c++实现轻量级观察者模式(raii风格) _ 回调管理逻辑实现【源码】

为什么 `std::function` + `std::shared_ptr` 组合不适合轻量级观察者？

因为每次注册回调都要堆分配（std::function 内部可能 new，std::shared_ptr 控制块也堆分配），且引用计数带来原子操作开销。轻量级场景下，你真正需要的是：栈上生命周期可控、无锁、零分配的绑定与解绑。

RAII 风格的核心不是“用 RAII”，而是让观察者句柄本身成为资源管理单元——构造即注册，析构即注销，且不依赖堆内存。

避免在回调注册时触发任何动态内存分配
观察者句柄必须能安全拷贝（用于传参/存储），但注销逻辑只执行一次
被观察对象不持有观察者所有权，只存裸指针或 tag；注销靠观察者自己“反向通知”

`observer_handle` 如何实现“构造即注册、析构即注销”？

关键在把注销动作延迟到句柄析构，且保证只执行一次。不能靠被观察者维护列表并遍历清理（那会引入迭代器失效或线程竞争），而应由观察者主动登记一个可调用的注销函数。

典型做法是：被观察者暴露一个 register_observer 方法，返回一个 observer_handle；该句柄内部持有一个 std::function<void></void>，内容就是“从被观察者中移除我”的逻辑——但这个 std::function 本身不能捕获大对象，必须轻量。

推荐用捕获 lambda 包装一个裸函数指针 + void*（如 [obj, id]{ obj->unregister(id); }），而非捕获 this 指针加成员函数，避免隐式生成闭包对象
observer_handle 的移动构造/赋值需置空原句柄的注销函数，防止重复调用
析构时直接调用 m_unregister()，无需检查是否已注销——设计上它就该是幂等的

struct observer_handle {
    std::function<void> m_unregister;
    observer_handle() = default;
    observer_handle(std::function<void> f) : m_unregister(std::move(f)) {}
    observer_handle(observer_handle&& o) noexcept : m_unregister(std::move(o.m_unregister)) { o.m_unregister = {}; }
    observer_handle& operator=(observer_handle&& o) noexcept {
        if (this != &o) {
            m_unregister = std::move(o.m_unregister);
            o.m_unregister = {};
        }
        return *this;
    }
    ~observer_handle() { if (m_unregister) m_unregister(); }
};
</void></void>