应使用 std::vector 存储可调用对象,它能安全容纳函数指针、lambda 和绑定对象;notify 时需先拷贝副本再遍历,避免迭代器失效;跨线程需用 mutex 保护容器修改,notify 中拷贝后释放锁以提升并发性。

如何用 std::vector 存储可调用对象而不丢失类型信息
直接存裸函数指针或 std::function 是最稳妥的选择,别试图用 void* 或模板参数推导来“泛化”回调存储——这会立刻引发类型擦除失败或调用崩溃。C++11 起 std::function<void></void> 就是为此设计的:它能容纳函数指针、lambda(捕获或不捕获)、成员函数绑定结果,且调用开销可控。
常见错误是写成 std::vector<void></void>,这样无法存 lambda(哪怕无捕获),更没法存 std::bind 结果;也有人误用 std::any 或 std::variant,徒增复杂度和运行时判断成本。
- 统一用
std::vector<:function>> m_observers</:function>作为观察者容器 - 添加观察者时,允许传入任意可调用对象:
m_observers.emplace_back([this]{ handleEvent(); });或m_observers.push_back(&SomeClass::onUpdate, &obj) - 注意 lambda 捕获生命周期:若 observer 持有局部变量引用,而该变量已析构,调用时必崩——建议优先捕获值(
[=])或确保被观察对象生命周期长于观察者
为什么 notify() 中不能边遍历边删 observer
这是实际编码中最常触发 std::vector 迭代器失效的场景。一旦某个 observer 在回调中调用 removeObserver(),内部执行 erase(),当前迭代器立即失效,后续 ++it 行为未定义,轻则跳过下一个 observer,重则段错误。
解决方案不是加锁或改用 std::list(性能差且没解决根本问题),而是分离“通知”与“清理”阶段:
- 在
notify()开始前,拷贝一份当前 observer 列表:auto observers = m_observers; - 遍历
observers调用回调,此时原m_observers可安全修改 - 若需支持运行时动态移除,让 observer 自己标记“待删除”,再由外部统一清理(比如下一帧或下一次
notify()前)
std::function 的性能开销到底有多大
单次调用比裸函数指针慢约 2–5 纳秒(现代 CPU,开启 O2),主要来自内部虚函数调用或函数指针间接跳转。对大多数业务逻辑(如 UI 更新、日志上报、状态同步)完全可忽略;但若用于每微秒调用百次的高频路径(如音频采样处理、粒子系统更新),就得警惕。
这时可考虑分层设计:核心热路径用函数指针 + void* 上下文(需手动管理生命周期),外围逻辑仍用 std::function 保证易用性。
- 不要为“可能的性能损失”提前放弃
std::function,先 profile 再优化 - 避免在
std::function构造时做昂贵操作,例如把std::string拷贝、文件读取塞进 lambda 捕获——这些应在注册前完成 - 若所有 observer 都是同一类成员函数,可用
std::vector<:pair memberfuncptr>></:pair>替代,省去std::function的小开销
如何安全支持跨线程注册/通知
标准 std::vector 和 std::function 都非线程安全。多个线程同时调用 addObserver() 或 notify() 会破坏容器结构或导致 std::function 内部状态错乱。
最简方案是加 std::mutex,但粒度要合理:只锁容器修改部分(add/remove),notify() 中的拷贝和遍历可放开——因为拷贝的是快照,遍历的是只读副本。
- 声明
mutable std::mutex m_mutex;(mutable允许在 const 成员函数中加锁) -
addObserver()和removeObserver()必须持锁操作m_observers -
notify()中先持锁拷贝m_observers,然后释放锁,再遍历副本——避免阻塞其他线程注册 - 切勿在回调里再次进入同一把锁,否则死锁;observer 自身应负责其内部线程安全
C++免费学习笔记(深入):立即使用
在学习笔记中,你将探索 C++ 的入门与实战技巧!











