不能直接用std::function存回调,因事件参数类型各异,统一签名需大量包装lambda导致性能损耗和类型安全丢失;std::any以轻量类型擦除替代,支持运行时安全取值且无虚函数开销。

为什么不能直接用 std::function<void></void> 存回调?
因为事件类型不同,参数各异:有的带 int,有的带自定义结构体,还有的需要返回值。硬塞进统一签名会逼你写大量包装 lambda 或手动转型,一来性能损耗(捕获、堆分配),二来类型安全丢失——std::any 正是为此而设的轻量替代:它不擦除类型信息,支持运行时 std::any_cast 安全取回,且无虚函数开销。
但要注意:std::any 本身不支持拷贝构造非 CopyConstructible 类型(比如含 std::unique_ptr 的类),若业务中需传这类对象,得提前 move 进去或改用 std::any + std::shared_ptr 包装。
如何组织回调列表并保证线程安全?
轻量级 ≠ 无锁,但也不必一上来就上 std::mutex。多数场景下,事件注册/注销频率远低于触发频率,所以推荐「读多写少」策略:用 std::vector<:function std::any>> </:function> 存回调,注册/注销加锁,触发时不锁 —— 只要确保触发期间没人修改容器即可。
- 触发前可对容器做一次
std::vector::data()快照(即拷贝指针),避免迭代中被 resize - 若需在回调里删自己,不要边遍历边 erase;改用标记 + 二次清理,或用
std::list配合erase返回下一个迭代器 - 跨线程触发时,必须保证所有回调对象的生命周期长于分发调用;常见做法是让监听者持有
std::shared_ptr自身,并在回调里 weak_lock 判断是否仍存活
std::any 传参时怎么避免意外切片或隐式转换?
直接写 dispatcher.emit(42) 是危险的:42 会被转成 std::any,但调用方无法知道监听器期望的是 int 还是 long long。正确做法是显式标注事件类型:
立即学习“C++免费学习笔记(深入)”;
struct ClickEvent { int x; int y; };
struct KeyPressEvent { char key; bool shift; };
<p>dispatcher.on<ClickEvent>([](const ClickEvent& e) { /<em> ... </em>/ });
dispatcher.emit(ClickEvent{100, 200});</p>这样模板参数 ClickEvent 就成了类型契约:emit 内部把实参完美转发进 std::any,on 内部用 std::any_cast<clickevent></clickevent> 强制校验,类型不匹配直接抛 std::bad_any_cast,比静默失败好调试得多。
注意:别用 auto 推导 emit 参数类型再塞进 std::any,那会丢失原始 cv-qualifier 和引用性,导致 any_cast 失败。
为什么不用 std::variant 替代 std::any?
std::variant 编译期枚举所有可能类型,内存布局固定,访问快,但要求你提前知道全部事件种类 —— 这违背“轻量级”和“可扩展”初衷。一旦新增事件类型,就得改全局 variant 定义、重编译所有依赖模块。
std::any 允许运行时自由组合,新事件类型只需新增 on<newtype></newtype> 和 emit(NewType{}),不侵入原有代码。代价是每次 any_cast 多一次 type_info 比较,但现代 libstdc++/libc++ 对小对象有优化,实际开销可控(微秒级)。
真正该警惕的是滥用:别把整个 protobuf message 塞进 std::any 当参数,那会触发堆分配;应只传 view、id 或轻量结构体,大数据走外部缓存 + id 引用。


















