不能直接用 std::function + vector 实现通用观察者,因为类型擦除丢失编译期信息,导致无法静态检查回调签名、无法做编译期多播调度优化、也不支持返回值聚合。

为什么不能直接用 std::function + vector 实现通用观察者?
因为类型擦除会丢失编译期信息,导致无法静态检查回调签名是否匹配主题事件、无法做编译期多播调度优化、也无法支持返回值聚合(比如所有观察者都返回 bool,要求全为 true 才算成功)。真正“通用解耦”的核心,是让主题(Subject)和观察者(Observer)之间不依赖具体类型,但又能在编译期绑定接口契约。
如何用模板参数推导自动注册观察者函数?
关键不是写一个泛型 register_observer,而是让注册动作本身触发 SFINAE 或 concept 检查。例如:主题类模板接受一个可调用类型 Callable,然后用 decltype 和 std::invoke 验证它能否被传入事件参数:
template<typename eventt>
struct subject {
template<typename f>
auto register_observer(F&& f) -> decltype(std::invoke(f, std::declval<eventt>()), void()) {
observers_.emplace_back(std::forward<f>(f));
}
private:
std::vector<:function eventt>> observers_;
};</:function></f></eventt></typename></typename>
这样写看似用了 std::function,但注册时已强制约束了签名——如果 F 不能接受 const EventT&,编译直接失败,而不是运行时报错。更进一步,可用 std::is_invocable_v<f const eventt></f> 替代 decltype 做更清晰的约束。
怎样避免手动管理观察者生命周期引发的悬挂指针?
裸指针或 this 指针注册是最常见悬挂源。正确做法是让观察者自己控制注册/注销时机,并借助 RAII 封装:
- 提供一个
observer_handle类型,构造时注册,析构时自动注销(内部持有弱引用或 token) - 主题侧不存裸函数对象,改用
std::shared_ptr<void></void>+ 类型擦除句柄,配合std::weak_ptr管理生命周期 - 若观察者是类成员函数,必须绑定
std::shared_ptr<t></t>而非this,否则对象销毁后 handle 仍可能尝试调用
典型错误是写 sub.register_observer([&](){ ... }) —— lambda 捕获局部变量或 this 后,一旦作用域结束,调用就 UB。应改用 std::shared_from_this() 或显式传入智能指针。
如何支持事件类型多态但保持零开销?
运行时多态(如基类虚函数)必然有 vtable 查找开销;而完全静态多态(每个事件类型独立实例化)又导致代码膨胀。折中方案是用 std::variant + 访问者模式,但仅限于有限且已知的事件集合:
using event_variant = std::variant<user_logged_in user_logged_out config_changed>;
template<typename... events>
struct subject<:variant>> {
template<typename f>
void register_observer(F&& f) {
// 用 std::visit 包装,但注册时仍按具体 EventT 检查 f
static_assert((std::is_invocable_v<f const events> || ...), "F must accept at least one event type");
// ...
}
};</f></typename></:variant></typename...></user_logged_in>
这里 std::is_invocable_v<f const events> || ...</f> 是 C++17 折叠表达式,确保至少一种事件能被处理。真正的难点不在语法,而在事件继承体系设计——如果事件之间有公共基类,反而容易因 dynamic_cast 引入运行时成本,不如用 ADL + tag dispatch 显式分发。
最易被忽略的是模板实例化爆炸:每个不同事件组合都会生成一套主题代码。实际项目中建议限制事件种类 ≤ 5,并用 extern template 显式实例化常用组合。
C++免费学习笔记(深入):立即使用
在学习笔记中,你将探索 C++ 的入门与实战技巧!











