C++如何实现基于模板的观察者模式类

在C++里实现观察者模式，一个很常见的坑是直接拿 std::function 来存所有回调。这种做法会丢失签名信息，导致编译器没法在编译期做校验，更别说支持带参通知了——比如 on_data_changed(int, const std::string&) 这种场景，根本塞不进去。正确的思路是采用模板化的 Observer 基类，然后通过类型擦除接口 INotifier 来统一管理不同的特化观察者。这样既保住了类型安全，又能灵活应对多种事件类型。

为什么不能直接用 std::function 存储所有回调？

观察者模式要支持多种参数类型和返回值，如果硬塞进 std::function 里，签名信息就全丢了。编译器没法在编译期做校验，更别想支持带参通知—— on_data_changed(int, const std::string&) 这种实际业务场景，根本跑不起来。模板才是解耦接口与实现的正路，而不是靠运行时擦除掉类型。

如何定义泛型观察者基类并支持多事件类型？

核心是把事件类型作为模板参数，而不是把回调类型硬编码。每个具体事件类型对应一个独立的模板实例，彼此完全无关。举个例子，Observer 和 Observer 是两种完全不同的类型，编译器能做强类型检查，从根本上杜绝了“传错事件类型”这类运行时错误。

代码实现上也很直接：

templateclass Observer {public:    virtual ~Observer() = default;    virtual void on_notify(const EventT& e) = 0;};

这样定义出来的基类，干净利落，没有多余的东西。

如何让被观察者支持添加/移除任意模板化观察者？

关键是用类型擦除容器来存储不同特化版本的观察者，但擦除方式必须保留调用能力——用虚函数中转，而不是 std::any 或 void* 这种生硬的手段。具体做法分三步：

• 定义统一的内部接口 INotifier，含纯虚函数 notify(const void* event)
• 每个 Observer 派生类构造时绑定自己的 on_notify，并在 INotifier::notify 中安全地 static_cast 回去
• 被观察者只存 std::vector>，添加时包装一层

示例片段如下：

templateclass ConcreteNotifier : public INotifier {    Observer& obs_;public:    explicit ConcreteNotifier(Observer& obs) : obs_(obs) {}    void notify(const void* event) override {        obs_.on_notify(*static_cast(event));    }};
这套设计把类型擦除的细节封装好了，使用者只需要关心自己业务的观察者逻辑。
实际使用时最容易漏掉的两件事
一是观察者生命周期管理。模板本身不解决内存安全，如果用 raw pointer 存 observer，很容易悬空。建议配合 std::shared_ptr> 加上弱引用通知机制，避免野指针问题。
二是事件对象的拷贝成本。如果 EventT 很大——比如里面含了个 std::vector——每次 notify() 都传值就成了性能瓶颈。此时最好约定事件对象 immutable，在 notify 接口中改用 const EventT&，同时确保被观察者持有的事件生命周期长于通知过程。
说到底，模板观察者模式不是“写一次就能套所有场景”的银弹。EventT 的设计粒度、通知时机、线程安全边界，都得按实际业务来定。UI 更新事件和后台任务完成事件，很可能需要完全不同的模板参数和生命周期策略——这是实践中绕不开的功课。