C++回调系统实现：std::function与模板参数两种方案优劣对比

方案1：使用std::function存储回调（对应代码中的A类） #

优点 #

• 类型统一：所有接收void(int)签名回调的A类实例属于同一类型，可兼容任意符合该签名的可调用对象（普通函数、带捕获的lambda、仿函数、std::bind产物等），支持将不同来源的A类实例存入同一容器，适合需要统一类型抽象的场景
• 无模板膨胀：仅存在一份A类的二进制实现，不会因为回调类型不同生成重复代码，编译速度更快，二进制体积更小
• 支持实现分离：可将A类的声明与实现拆分到头文件和cpp文件中，不需要对外暴露实现细节，降低依赖复杂度
• 运行时灵活性高：支持在运行时动态修改、重置回调，也可以置空回调实现可选通知逻辑

缺点 #

• 存在运行时开销：std::function依赖类型擦除实现，调用时需要走间接跳转（类似虚函数调用），极端高频调用场景下性能会受影响；若lambda捕获的变量超过小对象优化阈值，还会产生额外的堆分配开销
• 异常风险：调用未绑定可调用对象的空std::function会抛出std::bad_function_call异常，使用时需要额外做空判断
• 签名兼容性差：必须严格匹配预设的函数签名，无法兼容参数、返回值有隐式转换空间的可调用对象

方案2：使用模板参数存储回调（对应代码中的B类） #

优点 #

• 零运行时开销：编译器可直接对回调调用做内联优化，性能和直接调用原生函数完全一致，没有类型擦除的间接开销，也不会产生额外堆分配，适合性能敏感的高频回调场景
• 签名灵活性高：不需要严格匹配固定函数签名，只要可调用对象支持传入int类型参数调用即可，支持兼容参数、返回值可隐式转换的场景
• 无空调用风险：回调对象随类实例一起构造，默认不存在空的可调用状态，不需要额外做空判断

缺点 #

• 类型不统一：每一种不同的回调类型都会生成独立的B类模板实例，比如两个捕获变量不同的lambda属于不同类型，对应的B类实例也属于完全不同的类型，无法存入同一容器，也无法在公共接口中做统一抽象
• 模板膨胀问题：如果用到大量不同类型的回调，会生成多份重复的B类实现代码，增加编译时间和最终二进制体积
• 无法分离实现：模板类的完整实现必须放在头文件中，无法拆分声明和实现，会增加头文件依赖复杂度，拉高整体项目编译耗时
• 运行时灵活性差：回调类型在编译期就已经固定，运行时只能替换同类型的可调用对象，无法动态切换不同类型的回调

内容的提问来源于stack exchange，提问作者Baruch