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

直接用 std::function + std::vector 注册回调易导致野指针崩溃，因生命周期完全依赖使用者；raii 应通过 observerhandle（移动安全、析构自动解绑）绑定回调与观察者生存期，避免 shared_ptr/weak_ptr 开销。

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

为什么直接用 `std::function` + `std::vector` 注册回调容易出问题

因为生命周期管理完全甩给使用者：观察者对象销毁了，但回调还留在被观察者里，下次触发就 std::bad_function_call 或野指针崩溃。RAII 的核心不是“自动释放”，而是“绑定生存期”——让回调的存续明确依附于某个对象的生命周期。

常见错误现象：Segmentation fault 出现在第 3 次通知后；调试发现 std::function 内部保存的是已析构对象的 this 指针；weak_ptr 方案又引入虚表和引用计数开销，不轻量。

避免裸指针或 shared_ptr 持有观察者：破坏 RAII 的确定性析构
拒绝在被观察者中维护“弱引用池”：增加复杂度且仍需手动清理
关键思路：把“注册”动作变成一个拥有析构行为的对象（即句柄），由它负责反注册

`ObserverHandle` 必须支持移动、不可复制、析构即解绑

这是 RAII 封装成败的关键。句柄本身不持有业务逻辑，只记下被观察者的注销接口（函数指针或 lambda）和唯一 ID（用于快速查找）。它的析构必须无条件触发一次解绑。

示例结构简写：

class ObserverHandle {
    std::function<void> m_unsubscribe;
public:
    explicit ObserverHandle(std::function<void> unsub) 
        : m_unsubscribe(std::move(unsub)) {}
    ObserverHandle(ObserverHandle&&) noexcept = default;
    ObserverHandle(const ObserverHandle&) = delete;
    ObserverHandle& operator=(const ObserverHandle&) = delete;
    ObserverHandle& operator=(ObserverHandle&&) noexcept = default;
    ~ObserverHandle() { if (m_unsubscribe) m_unsubscribe(); }
};</void></void>

注意：m_unsubscribe 必须是可调用对象，不能是 raw function pointer（无法捕获上下文），也不能是带状态的 std::function 以外的类型（兼容性差）。

移动构造/赋值必须 noexcept，否则容器操作（如 std::vector::push_back）可能异常中止导致泄漏
析构中判空再调用，防止多次移动后重复解绑
不要在句柄里存 this 或观察者引用——那是使用者的责任

被观察者端用 `std::vector<:function>></:function>` 最简可行，但要注意迭代器失效

不需要哈希表或红黑树——轻量级场景下，顺序遍历 + 索引擦除足够快；且避免引入额外内存分配和比较开销。问题在于：通知过程中若某回调触发自身解绑，erase 会让后续迭代器失效。

C++14

C++14 对 C++11 的修正与增强版本，适合旧系统维护和较老工具链兼容。

下载

解决方式不是锁或延迟删除，而是“反向遍历 + 下标访问”：

for (size_t i = m_callbacks.size(); i > 0; --i) {
    if (m_callbacks[i-1]) {  // 防空回调
        m_callbacks[i-1]();
    }
}

这样即使中间某次调用导致 m_callbacks 缩容，也不会影响前面的索引。

回调存储用 std::vector<:function>></:function>，不用 std::list：后者每次插入都 new，违背“轻量”目标
注册返回 ObserverHandle，内部 unsubscribe lambda 捕获 this 和当前索引（或迭代器），执行 erase 即可
不提供“按名称/类型解绑”接口：增加泛型复杂度，且违背“句柄即生命周期”的设计契约