线程安全订阅表需用std::function+unordered_map配合双mutex及weak_ptr管理生命周期,publish异步投递至消息队列由dispatcher线程处理,避免阻塞与野指针。

用 std::function + unordered_map 实现线程安全的订阅表
核心问题是:多个线程可能同时调用 subscribe() 和 publish(),而订阅关系必须实时、一致地反映在分发逻辑中。直接用裸指针或 raw function pointer 存储回调会引发生命周期问题;用 std::function 包装回调可支持成员函数、lambda 和普通函数,但需注意捕获对象的生存期。
推荐做法是把订阅者标识(如字符串 topic)作为 key,value 是 std::vector<:function std::string>> </:function> 或更稳妥的 std::vector<:shared_ptr std::string>>></:shared_ptr>,避免拷贝时隐式析构。实际中更常见的是用 std::unordered_map<:string std::vector>></:string> 配合双 mutex:一个锁订阅表本身(mtx_subs_),另一个锁消息队列(mtx_msgs_)。
- 不要在
subscribe()中直接持有 this 指针——除非你 100% 确保订阅者对象比消息系统活得久 - 用
std::weak_ptr包裹回调中的对象引用,发布前调用lock()判断是否还有效,否则跳过该回调 - 避免在回调里再调用
unsubscribe()—— 这会导致遍历 vector 时 erase 迭代器失效,应改用“标记+延迟清理”机制
为什么 publish() 必须异步投递,而不是同步遍历回调?
同步调用所有回调看似简单,但一旦某个回调执行时间长(比如写磁盘、网络请求、复杂计算),整个 publish() 就被阻塞,后续消息积压,系统响应变慢甚至假死。尤其在 GUI 或实时数据采集场景下,这是不可接受的。
正确做法是把消息内容(及 topic)打包进 std::pair<:string std::string></:string>,push 到一个线程安全队列(std::queue + std::mutex + std::condition_variable),由单独的 dispatcher 线程消费并逐个触发回调。这个线程可以是单例全局的,也可以按 topic 分组为多个 worker。
立即学习“C++免费学习笔记(深入)”;
- dispatcher 线程启动后应设为
detach()或由上层统一管理生命周期,避免主线程退出时未 join 导致 crash - 消息队列需限制长度,防止内存无限增长;超限时可丢弃旧消息(LIFO)或拒绝新消息(backpressure)
- 如果回调执行失败(抛异常),不要让 dispatcher 线程退出,要 catch 并记录日志,继续处理下一条
std::shared_ptr 与 std::weak_ptr 在生命周期管理中的真实作用
很多实现直接用 std::function 存成员函数,却忘了对象可能已被 delete。此时调用回调就是野指针访问,UB(undefined behavior)。这不是“偶尔出错”,而是必现崩溃,只是时机不确定。
标准解法是让订阅者继承一个基类(如 SubscriberBase),内部持有一个 std::shared_ptr<subscriberbase></subscriberbase>,注册时传入 shared_from_this() 构造的 std::weak_ptr;publish 时先 lock(),成功才构造临时 shared_ptr 并调用其方法。这样既避免循环引用,又保证回调期间对象一定存活。
- 不要在 lambda 捕获列表里写
[this]{...}—— 它不参与 shared_ptr 生命周期管理 - 若使用 Qt,可用
QObject::connect(..., Qt::QueuedConnection)替代手动线程调度,但前提是所有参与者都是QObject派生类 - ZeroMQ 等外部库虽能跨进程/语言,但引入了 socket 层开销和额外依赖,纯进程内通信没必要
性能瓶颈往往卡在锁竞争,而不是算法本身
当发布频率高(如传感器每毫秒发一次)、订阅者多(上百个 callback)时,mtx_subs_ 和 mtx_msgs_ 会成为热点。常见错误是把整个 publish 流程锁住:加锁 → 查表 → 入队 → 解锁 → 唤醒。这导致所有 publish 线程排队等一个 mutex。
优化关键是“读写分离”:订阅表只在 subscribe()/unsubscribe() 时写,publish 时只读;因此可用 std::shared_mutex(C++17)或 boost::shared_mutex,让多个 publish 并发读,互不阻塞。消息队列则可换用无锁队列(如 moodycamel::ConcurrentQueue),或分片(shard)成多个子队列,按 topic hash 分配,进一步降低锁粒度。
- 别过早优化——先用
std::mutex+ 单队列验证逻辑正确性,再根据 profiler 数据(如 perf、vtune)定位真实瓶颈 - std::string 拷贝开销大,高频场景下建议用
std::string_view传参,但要注意 view 的生命周期不能短于消息入队时间 - 调试时加日志容易掩盖竞态问题,建议用 ThreadSanitizer 编译运行,它能直接报告 data race


















