raii封装观察者生命周期的关键是自动解绑:用不可复制、可移动的observertoken管理注册/注销,内部持weak_ptr或id,析构时安全unregister;回调中通过weak_ptr.lock()检查对象有效性,避免悬挂。

如何用 RAII 封装观察者生命周期,避免悬挂回调?
核心结论:不能靠裸指针或原始 std::function 存储回调,必须绑定到被观察对象的生存期,且注册/注销需成对自动完成。RAII 的关键不是“自动调用”,而是“自动解绑”——否则回调触发时 this 已析构,必崩。
典型错误现象:EXC_BAD_ACCESS 或 segmentation fault 出现在回调函数第一行;调试发现 this 是野地址;std::function 里捕获了 this 但没管对象是否还活着。
- 用
std::shared_ptr管理被观察者(如Subject),所有观察者注册时只存weak_ptr,回调前先lock()检查有效性 - 观察者自身(如 lambda 或 functor)不持有被观察者强引用,防止循环引用
- 注册接口返回一个 RAII 句柄(如
ObserverToken),其析构函数自动从Subject的回调列表中移除自身 - 不要在
Subject析构时遍历并清空回调列表——此时部分观察者可能已提前析构,再调用其注销逻辑会二次析构
ObserverToken 怎么设计才真正安全?
它不是个标记,而是一个可移动、不可复制的 RAII 锁定器。本质是“注册动作的反向操作封装”,必须确保即使异常抛出也执行注销。
常见错误:把 ObserverToken 设为 std::shared_ptr 或允许拷贝,导致多个副本同时析构同一回调项;或未禁用拷贝,意外延长了回调生命周期。
- 构造函数接收
Subject*和回调在内部容器中的迭代器(或唯一 ID),并用std::unique_ptr或std::optional持有该句柄 - 定义移动构造与移动赋值,转移句柄所有权;显式删除拷贝构造与拷贝赋值
- 析构函数中检查句柄是否有效(非空),若有效则调用
Subject::unregister(…)—— 这个 unregister 必须是线程安全的(如用std::atomic标记已注销,或加锁) - 示例关键片段:
class ObserverToken {<br> Subject* subj_;<br> std::size_t id_;<br> mutable std::atomic<bool> consumed_{false};<br>public:<br> explicit ObserverToken(Subject* s, std::size_t id) : subj_(s), id_(id) {}<br> ObserverToken(const ObserverToken&) = delete;<br> ObserverToken& operator=(const ObserverToken&) = delete;<br> ObserverToken(ObserverToken&& o) noexcept : subj_(o.subj_), id_(o.id_) { o.subj_ = nullptr; }<br> ~ObserverToken() { if (subj_ && !consumed_.exchange(true)) subj_->unregister(id_); }<br>};</bool>
Subject 内部回调存储选 vector 还是 map?
选 std::vector<:function>></:function> + 索引 ID 更轻量,前提是不频繁增删中间项;若需按类型/事件名快速查找,则用 std::unordered_map<:string std::vector>></:string>。但注意:map 的 key 生命周期管理容易出错。
性能影响明显:每次通知都要遍历全部回调,vector 的 cache 局部性更好;map 查找快但插入/删除开销大,且哈希冲突可能拖慢遍历。
- 用
std::vector时,注销靠 ID 索引,但需处理“稀疏 ID”问题——推荐用 freelist 或直接 swap-and-pop(注销后把末尾元素移到该位置,并更新其 ID) - 避免在通知循环中修改容器(如回调里又注册/注销),这会导致迭代器失效。标准做法是:先拷贝活跃回调到临时
std::vector<:function>></:function>,再遍历执行 - 如果支持多线程,
std::vector的读多写少场景下,可用std::shared_mutex;但更轻量的做法是只在注册/注销时加锁,通知时不锁(前提是拷贝回调是原子的)
lambda 捕获 this 时怎么防止悬垂?
直接 [=] 或 [this] 捕获几乎必然出问题——除非你能 100% 确保观察者对象寿命长于被观察者。真实项目里,这是最常被忽略的崩溃源头。
正确做法不是“别捕获 this”,而是“用弱引用控制访问权限”。尤其当被观察者是局部变量、或由智能指针管理时,必须同步生命周期。
- 被观察者需继承自
std::enable_shared_from_this<subject></subject>,注册时传shared_from_this()给回调,让回调内部用weak_ptr持有 - 回调内第一行写
auto self = shared_from_this().lock(); if (!self) return;—— 不要省略这个检查 - 如果被观察者不是动态分配的(比如栈对象),那就根本不能用 this 捕获,改用函数对象 + 外部状态管理,或直接不用观察者模式
- 示例安全捕获:
[wptr = std::weak_ptr<subject>(subject->shared_from_this())]() {<br> if (auto ptr = wptr.lock()) {<br> ptr->onEvent(); // 安全<br> }<br>}</subject>
复杂点在于:Subject 和 Observer 可能跨线程,weak_ptr::lock() 是线程安全的,但后续操作未必;真正容易被忽略的是——回调执行期间,Subject 被析构,而回调还没退出,此时 ptr 虽然有效,但其成员函数可能访问已释放资源。所以,业务逻辑里仍需配合状态标志位做双重防护。
C++免费学习笔记(深入):立即使用
在学习笔记中,你将探索 C++ 的入门与实战技巧!











