直接用std::function+std::vector注册回调易因生命周期失控导致野指针或bad_function_call;需用move-only、带失效检查的ObserverToken绑定资源,配合weak_ptr防循环引用和析构时自动注销。

为什么直接用 std::function + std::vector 注册回调容易出问题
因为生命周期管理完全甩给使用者:观察者对象销毁了,但它的回调还留在被观察者的容器里;下次通知时一调用就 std::bad_function_call 或更糟——野指针访问。RAII 的核心不是“自动释放”,而是“资源绑定到对象生命周期”,所以得让注册行为本身产生一个可析构的句柄。
ObserverToken 必须是 move-only 且带失效检查
它本质是个“租约”:构造时把回调塞进被观察者列表,析构时自动注销。不能拷贝,否则多个 token 指向同一回调项,二次注销会崩;也不能在析构时不检查是否已被提前注销(比如观察者主动调 unregister())。实际实现中建议用 std::weak_ptr 持有回调节点,或用单调递增的 id + 原子计数器做版本校验。
- 每次注册返回一个
ObserverToken,内部保存唯一id和对被观察者状态的弱引用 - 析构时尝试用
id匹配并移除回调,失败则说明已注销过,静默忽略 - 禁止
ObserverToken的拷贝构造和赋值,只允许移动(= delete拷贝,= default移动)
被观察者侧用 std::vector<:function>></:function> 是最简方案,但要注意迭代器失效
通知过程中如果某个回调又触发了新的注册/注销(比如 A 通知 B,B 立即 unregister 自己),直接遍历 std::vector 会崩溃。稳妥做法是先拷贝一份活跃回调列表再通知:
void notify() {
std::vector<std::function<void()>> copies;
{
std::shared_lock<std::shared_mutex> lock{m_mutex}; // 读锁保护原始容器
copies = m_callbacks; // 浅拷贝函数对象(std::function 可拷贝)
}
for (const auto& cb : copies) {
if (cb) cb(); // 防空检查,避免 move 后残留空函数
}
}
注意:std::function 拷贝开销不大,但若回调体很大或捕获大量数据,应改用 std::shared_ptr<:function>></:function> 存储,避免重复拷贝闭包。
立即学习“C++免费学习笔记(深入)”;
lambda 捕获 this 时必须用 weak_ptr 防循环引用
这是 RAII 封装最容易翻车的地方:观察者对象持有一个 ObserverToken,而注册的 lambda 又捕获了 this(强引用),导致被观察者持有回调 → 回调持有观察者 → 观察者持有 token → token 持有被观察者。解法只有两个字:断链。
- 观察者类自己持有一个
std::weak_ptr<self></self>,注册时从 weak 升级成 shared 再捕获 - 或者更轻量:lambda 不捕获
this,改用[self = weak_from_this()]() mutable { if (auto ptr = self.lock()) ptr->on_event(); } - 切忌写
[this]() { ... }—— 这是 RAII 封装下最隐蔽的内存泄漏源
真正难的从来不是写出来,而是让 token 的析构时机刚好卡在观察者对象析构前,且所有路径(包括异常退出)都覆盖到。weak_ptr 校验和 move-only token 是目前最稳的组合。


















