std::function 的类型擦除开销与模板替代方案

背景

在数据中心通信框架中，SPI 回调被高频调用（pubsub 订阅消息、service 请求响应等）。将重复的回调耗时监控逻辑封装到基类方法时，如果用 std::function<void()> 做参数类型，会引入类型擦除开销。本文分析开销来源并给出零成本的模板替代方案。

类型擦除带来的三个开销

1. 堆分配

std::function 内部使用 SBO（Small Buffer Optimization），通常保留 16~24 字节的内联缓冲区。当捕获的闭包大小超过这个阈值时，会在堆上分配内存。高频调用场景下，反复的堆分配/释放会带来性能损失和内存碎片。

2. 间接跳转

类型擦除后，编译器不知道实际调用目标，必须通过函数指针间接跳转。这会阻止内联优化，且在极端情况下可能导致 icache miss（约 5~20ns）。

3. 阻止去虚拟化

原始代码中，编译器可能通过 devirtualization 将虚调用（如 m_spi->OnRtnMsg(...)）优化为直接调用。包在 std::function 中后，这个优化被阻断。

解决方案：模板参数

用模板参数替代 std::function，保留类型信息，使编译器能完整内联调用链：

// 优化前
void InvokeSpiCallback(std::function<void()> callback)
{
    // ...
    callback();  // 间接调用，无法内联
    // ...
}

// 优化后
template <typename F>
void InvokeSpiCallback(F&& callback)
{
    // ...
    callback();  // 编译器知道确切类型，可内联
    // ...
}

调用侧代码无需任何修改，模板自动推导 lambda 类型：

// 两种写法的调用方式完全一致
InvokeSpiCallback([&]() { m_spi->OnRtnMsg(header.content()); });

性能对比

因素	std::function<void()>	模板参数 F&&
堆分配	可能触发（SBO 溢出时）	无
调用方式	间接跳转	直接调用，可内联
去虚拟化	被阻断	保留
代码膨胀	无	每种 lambda 类型生成一份实例
适用场景	需要存储/传递回调	只需立即调用

何时用 std::function，何时用模板

• 需要存储回调（如注册到事件队列、延迟调用） -- 用 std::function
• 只做立即调用（如本例的回调包装器） -- 用模板参数 F&&

本质判断标准：回调对象是否需要跨越当前作用域存活。如果不需要，模板参数始终是更优选择。