直接用 std::function 存回调易致内存泄漏，因捕获的 this 可能悬垂；raii 通过 observerhandle 析构自动注销、快照遍历通知、弱引用防护等机制确保安全。
为什么直接用 std::function 存回调容易内存泄漏？
因为观察者生命周期不可控：如果被观察对象（subject）持有 std::function，而该函数又捕获了某个局部对象（比如 [this]{...}），但观察者提前析构了，subject 里还存着悬垂引用——下次通知就崩溃。RAII 封装的核心不是“更酷”，是让订阅自动失效。
实操建议：
- 不直接暴露
std::function成员，改用带 owner ID 或弱引用语义的 wrapper - 避免在 lambda 中无条件捕获
this；若必须，用std::weak_ptr配合lock()检查有效性 - 注册时返回一个轻量 handle（如
int或std::size_t），注销靠它，而不是靠函数地址比对（不可靠且低效）
如何用 RAII 管理订阅生命周期？
关键不是“封装个类”，而是让 ObserverHandle 析构时自动调用 subject 的注销逻辑。它本身不存数据，只记 id 和引用 subject。
实操建议：
- handle 构造时把唯一 id 注入 subject 的 map/vec，并标记为 active
- handle 析构时调用
subject->unregister(id)，并置 id 为无效值（如 -1）防止重复注销 - handle 支持
reset()主动注销，也支持移动（移动后原 handle 失效） - subject 内部用
std::vector<:optional>>></:optional>或std::unordered_map+ id 映射，避免迭代时因 erase 导致迭代器失效
通知时怎么安全遍历并调用回调？
不能边遍历边删（erase-in-loop），也不能假定所有回调都可重入——尤其当某个回调内部又去 subscribe/unsubscribe 时。
实操建议：
- 先拷贝当前活跃回调列表（
std::vector<:function>> snapshot</:function>），再遍历 snapshot 调用 - subject 内部存储用
std::vector<:shared_ptr>>></:shared_ptr>，保证 snapshot 期间回调对象不被析构 - 避免在回调中修改 subject 状态；如需动态调整，用 “延迟队列”（如
std::vector<:pair id>></:pair>）在通知结束后统一处理 - 如果性能敏感，可用
std::atomic<bool></bool>标记是否正在通知，拒绝嵌套通知或转为队列化
一个够用的最小实现长什么样？
以下不是玩具代码，是去掉模板泛化、保留核心 RAII 逻辑的可运行骨架（C++17）：
class Subject {
std::vector<:shared_ptr>>> callbacks_;
mutable std::mutex mtx_;
<p>public:
class ObserverHandle {
Subject<em> subj_ = nullptr;
std::size<em>t id</em> = -1;
public:
ObserverHandle(Subject</em> s, std::size<em>t i) : subj</em>(s), id<em>(i) {}
ObserverHandle(ObserverHandle&& o) noexcept : subj</em>(o.subj<em>), id</em>(o.id<em>) { o.id</em> = -1; }
ObserverHandle& operator=(ObserverHandle&& o) noexcept {
if (this != &o) { reset(); subj<em> = o.subj</em>; id<em> = o.id</em>; o.id<em> = -1; }
return *this;
}
~ObserverHandle() { reset(); }
void reset() {
if (subj</em> && id<em> != -1) { subj</em>->unregister(id<em>); id</em> = -1; }
}
};</p>
<pre class="brush:php;toolbar:false;">ObserverHandle subscribe(std::function<void> cb) {
std::lock_guard<:mutex> lk(mtx_);
auto sp = std::make_shared<:function>>(std::move(cb));
callbacks_.push_back(sp);
return ObserverHandle(this, callbacks_.size() - 1);
}</:function></:mutex></void>
private: void unregister(std::size_t id) { std::lockguard<:mutex> lk(mtx); if (id .size()) callbacks[id].reset(); }
public: void notify() { std::vector<:function>> snapshot; { std::lockguard<:mutex> lk(mtx); snapshot.reserve(callbacks.size()); for (const auto& cb : callbacks) if (cb && *cb) snapshot.emplace_back(**cb); } for (auto& f : snapshot) f(); } };
注意：真实项目中应把 std::function<void></void> 泛化为模板参数，且 notify 通常带参数；但上面这段已覆盖 RAII 生命周期管理、线程安全基础、悬垂回调防护三个最易出错点。真正复杂的是多线程下 notify 与 subscribe/unsubscribe 的竞态——别指望一次写对，加日志和 TSAN 测试是绕不开的。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
