可用std::function+std::vector实现轻量观察者:用vector存储回调,避免裸指针生命周期问题;需确保捕获对象生命周期≥subject,推荐shared_ptr或weak_ptr管理;安全删除用remove_if+erase或两阶段标记;比signals2等库更简洁高效。

用 std::function + std::vector 实现轻量观察者
不用模板元编程或信号槽库,也能在 C++11 起写出干净、可读、够用的观察者。核心是把回调抽象成 std::function<void></void> 或带参变体,用 std::vector 存储,避免裸指针生命周期问题。
常见错误现象:std::function 捕获了局部对象(比如 lambda 里用了栈上变量),注册后回调时访问野内存;或者用 raw pointer 存 observer,被析构后没清理,触发 std::bad_function_call。
- 注册回调必须确保捕获的对象生命周期 ≥ subject 生命周期,推荐用
shared_ptr管理 observer,或只捕获this(且保证 observer 不先于 subject 销毁) - 参数类型要对齐:subject 通知时传
int,observer 注册的std::function<void></void>才能接住;不匹配会编译失败 - 避免在回调中调用
unregister()—— 遍历vector时修改它,容易跳过下一个元素或迭代器失效
如何安全地移除正在执行的观察者
遍历时删元素是经典坑。不能边 for (auto it = v.begin(); it != v.end(); ++it) 边 v.erase(it),迭代器立刻失效。
使用场景:某个 UI 控件销毁前主动解绑,或网络模块断连后清理回调。
立即学习“C++免费学习笔记(深入)”;
- 推荐“两阶段删除”:先标记待删项(比如用
std::optional<:function>></:function>或布尔 flag),循环结束后统一擦除 - 更简单做法:用
std::remove_if+erase惯用法,前提是判断逻辑不依赖外部状态变更 - 如果必须实时解绑,改用
std::list+erase返回下一节点迭代器,但list缓存不友好,小规模观察者用vector更快
std::weak_ptr 解决 observer 生命周期失控
当 observer 是某个类实例,而 subject 是全局/单例,容易出现 subject 活着但 observer 已析构,回调时 crash。
性能影响:每次通知前需调用 lock(),有原子操作开销,但比崩溃强得多。
- subject 存的是
std::vector<:weak_ptr>></:weak_ptr>,不是shared_ptr或 raw pointer - 通知时对每个
weak_ptr调用lock(),得到shared_ptr再判空,非空才调用其方法 - 不要在 observer 析构函数里反向调用 subject 的
unregister()—— 此时 subject 可能已在析构,导致未定义行为
为什么别急着上 boost::signals2 或 Qt 的 QObject::connect
这些库功能全,但引入依赖、编译慢、调试难,尤其嵌入式或命令行工具里,一个 std::vector<:function></:function> 加几十行代码就能覆盖 90% 场景。
兼容性影响:Qt 的信号槽要求 moc,跨线程需 QueuedConnection,隐式拷贝参数;boost::signals2 在 C++17 下和 std::any / std::variant 协作不够自然。
- 纯异步通知?自己加个
std::queue+std::mutex就行,比学 signals2 的线程模型快 - 需要自动断连?
weak_ptr方案已解决,且无反射开销 - 真要多线程安全发布?别锁整个 notify,用
std::atomic<bool></bool>标记是否正在通知,让 unregister 等待,比粒度更细的锁更容易验证
真正复杂的是跨模块所有权和线程边界,不是“怎么注册回调”——把 weak_ptr 和生命周期语义理清楚,比套任何框架都管用。











