Observer接口应定义为纯虚基类,推荐签名virtual void update(const std::string& event, const std::any& data) = 0;需配合std::weak_ptr管理生命周期、两阶段或拷贝列表避免遍历中修改容器,并警惕lambda捕获和线程安全问题。

Observer接口怎么设计才支持多态解耦
观察者模式的核心是让被观察者(Subject)不依赖具体观察者类型,只依赖抽象接口。C++里最直接的方式是定义纯虚基类 Observer,带一个统一的 update() 成员函数。但要注意:如果不同事件需要传递不同参数,硬塞一个通用参数(比如 void* 或 std::any)会削弱类型安全——更稳妥的做法是用模板参数或事件枚举 + 变体(std::variant)区分消息类型。
常见错误是把 update() 设计成无参函数,结果后续扩展时被迫修改所有子类;或者用 dynamic_cast 在内部做类型判断,这说明接口抽象失败。
- 推荐接口签名:
virtual void update(const std::string& event, const std::any& data) = 0;(轻量、灵活) - 若事件种类固定且编译期可知,用
enum class EventType+std::variant<dataa datab></dataa>更安全 - 避免在
update()中执行耗时操作——调用方(Subject)通常在关键路径上,阻塞会影响整个通知流
Subject如何管理Observer生命周期避免悬空指针
裸指针存储 Observer* 最简单,但极易导致被观察者调用已析构对象的 update(),触发未定义行为。智能指针能缓解问题,但 std::shared_ptr<observer></observer> 会强制观察者也用共享指针管理,侵入性强;而 std::weak_ptr 配合 lock() 检查才是更通用的解法。
实际中,Subject 通常持有 std::vector<:weak_ptr>></:weak_ptr>,每次通知前调用 lock() 转成 shared_ptr,失败则从容器中移除对应项(需注意迭代器失效,建议用 erase-remove 惯用法)。
立即学习“C++免费学习笔记(深入)”;
- 不要用
std::list<observer></observer>加手动remove_if—— 无法自动感知观察者销毁 - 若观察者是栈对象(如局部变量),必须显式调用
detach(),否则 Subject 里存的裸指针立刻变悬空 - 考虑线程安全:添加/移除观察者和遍历通知常发生在不同线程,需加锁(如
std::mutex)或用无锁结构(如folly::MPMCQueue)
std::function + lambda 能否替代传统Observer基类
可以,而且更轻量。用 std::function<void std::string const std::any></void> 存储回调,Subject 内部维护 std::vector<:function>></:function>,注册时直接传 lambda 或绑定函数对象。这种方式跳过了继承体系,适合一次性监听或脚本化场景。
但缺陷明显:无法在运行时识别回调来源(比如想取消某个特定 UI 组件的监听),也无法做类型检查(lambda 捕获了局部变量却忘了延长生命周期,容易崩溃)。另外,std::function 有小对象优化开销,高频通知下性能略逊于虚函数调用。
- 适用场景:临时调试钩子、配置变更广播、日志监听等“只关心事件,不关心谁注册”的场合
- 陷阱:捕获
[this]的 lambda 若绑定到长生命周期 Subject 上,而 this 指向对象提前析构,调用时直接 crash - 补救方式:改用
[w = weak_from_this()]捕获,在 lambda 内先if (auto p = w.lock()) { ... }
为什么notify()里不能边遍历边修改观察者容器
这是 C++ 容器迭代的经典陷阱。std::vector::erase() 或 push_back() 会令所有现存迭代器/引用失效,而 notify 循环中若某个 update() 回调内部又调用了 attach() 或 detach(),就会导致当前循环的迭代器指向非法内存,轻则跳过元素,重则崩溃。
标准解法是两阶段处理:第一阶段收集待删除项(如 std::vector<size_t></size_t> 记录索引),第二阶段逆序擦除;或更彻底地——在 notify 前拷贝一份观察者列表(auto observers_copy = observers_;),后续所有增删都在原容器操作,通知只读副本。
- 拷贝成本可控:Observer 本身是轻量接口,真正数据在实现类里,拷贝
std::weak_ptr或std::function开销很小 - 避免用
std::list以为能安全erase(iterator)—— 多线程下仍需同步,且 list 迭代器失效规则复杂,不如统一用 vector + copy - 如果通知逻辑本身可能触发新观察者注册(比如 A 更新后触发 B 初始化并注册),那必须确保拷贝发生在任何 update 调用之前
观察者模式最难的不是写出来,而是边界控制:谁负责清理、何时清理、通知是否可重入、跨线程怎么同步。这些细节不靠接口设计,得靠使用约定和文档约束,代码里留下的注释比虚函数还重要。


















