C++如何实现基于模板元编程的通用观察者模式框架-C++-PHP中文网

观察者接口通过模板参数解耦类型依赖，核心是分离注册调度（非模板observerbase）与事件处理（模板typedobserver），结合std::any和type_index实现多事件共存，subject应为非模板类以支持运行时动态事件类型。

c++如何实现基于模板元编程的通用观察者模式框架

观察者接口如何用模板参数解耦类型依赖

传统观察者模式里，Observer 和 Subject 往往绑定具体事件类型，导致每换一种通知数据就得重写一套类。模板元编程的关键破局点是把事件类型作为模板参数传入，而不是硬编码在基类中。

典型错误是直接继承一个泛型 Observer<t></t> 基类，结果发现派生类无法被统一容器管理（因为 Observer<int></int> 和 Observer<string></string> 是完全不同的类型）。正确做法是分离「注册/通知调度」和「事件处理逻辑」：前者用非模板基类（如 ObserverBase），后者由模板派生类实现。

定义空基类 ObserverBase，只含虚析构和纯虚 notify()（不带参数）
模板派生类 TypedObserver<eventt></eventt> 继承 ObserverBase，并在内部保存 std::function<void eventt></void>
注册时把 TypedObserver<eventt>*</eventt> 转为 ObserverBase* 存入 std::vector<:unique_ptr>></:unique_ptr>

如何用 `std::any` 或类型擦除支持多事件类型共存

一个 Subject 实例要能同时通知 int、std::string、自定义结构体等不同事件，靠继承体系无法解决——C++ 没有运行时泛型。必须引入类型擦除机制。

有人试图用 void* 加手动 typeid 判断，但易出错且无类型安全。更稳妥的是组合 std::any 和 std::type_index：

在 Subject::notify() 接口中接受 std::any event
每个 TypedObserver<t></t> 在构造时记录 std::type_index(typeid(T))
通知时遍历观察者列表，对每个观察者检查 event.type() == expected_type，匹配成功再用 std::any_cast<t></t> 安全提取
注意 std::any_cast 失败会抛 std::bad_any_cast，必须捕获或确保类型严格匹配

`Subject` 的模板参数设计：何时用模板，何时该运行时决定

把 Subject 也做成模板（如 Subject<eventt></eventt>）看似统一，但实际限制极大：一个对象无法发布多种事件；无法在运行时动态决定发什么类型；容器无法持有不同 EventT 的 Subject 实例。

C++ Code Review Master

组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。

下载

真正通用的框架里，Subject 应是非模板类，仅依赖 ObserverBase 接口。事件类型信息全部下推到观察者侧。只有当明确知道「这个 Subject 只发一种固定事件」且追求零开销时，才考虑模板化 Subject ——但此时已不属于“通用”范畴。

非模板 Subject 支持任意事件类型，代价是 std::any 的小量运行时开销和类型检查
模板 Subject<t></t> 可省去 std::any 和类型判断，但失去多事件能力
混合方案：提供 Subject（运行时）和 StaticSubject<t></t>（编译期）两个并行实现，由用户按需选用

连接生命周期管理：为什么不能裸指针 + `std::weak_ptr` 不够用

观察者常驻内存时，用 std::shared_ptr<observerbase></observerbase> 注册、std::weak_ptr 在 Subject 中持有，是最常见的自动生命周期方案。但模板元编程下容易忽略一个关键点：TypedObserver<t></t> 的析构可能早于 Subject，而 Subject 的通知逻辑若未检查 weak_ptr::lock() 是否为空，就会 crash。

更隐蔽的问题是：如果观察者是栈对象（比如局部 auto obs = TypedObserver<int>{...}</int>），weak_ptr 无法管理——它只能指向 shared_ptr 控制的对象。此时必须要求用户显式调用 Subject::unsubscribe()，或改用回调函数对象封装整个生命周期。

强制所有观察者通过 std::make_shared 创建，禁止栈分配
在 Subject::notify() 中对每个 weak_ptr<observerbase></observerbase> 先 lock()，空则从容器中移除
提供 ScopedSubscription RAII 类，在构造时注册、析构时自动反注册，避免裸指针悬挂

模板元编程让类型更灵活，但没消除 C++ 的所有权责任。观察者和被观察者谁 owns 谁，必须在框架设计初期就定死，否则后期补救成本极高。