c++23的std::function_ref与普通函数引用有什么区别？ (零开销回调)_技术教程

std::function_ref 是零开销、非拥有、类型擦除的只读回调视图，内部仅存 void* 和函数指针，不分配内存、不复制可调用体，但不管理生命周期，误用将导致悬垂引用或未定义行为。

std::function_ref 是类型擦除的只读视图，不是函数引用

很多人看到 std::function_ref 就以为它是类似 int& 那样的原生引用，其实完全不是。它不持有任何对象，也不参与所有权管理，只是一个轻量级的、非拥有的、类型擦除的回调视图。它的核心目标是：在不分配内存、不复制可调用体的前提下，把任意可调用物（lambda、函数指针、std::function、绑定对象等）统一接入同一接口。

为什么不能直接用 T& 或 const T& 代替？

普通引用要求编译期知道具体类型，而回调场景往往需要“接受多种可调用类型”的统一参数签名。比如一个日志函数想同时接受 void()、void(int)、const char*() 等不同签名的可调用体——这无法用单个模板参数 T& 实现，因为每个 T 都是不同类型，函数重载或模板推导会爆炸。

std::function_ref 可绑定 []{}、&my_free_func、std::function、甚至捕获了局部变量的 lambda（只要不逃逸）
而 auto&& f 或 const auto& f 虽然也能转发，但无法作为函数参数统一声明；写成模板又导致实例化膨胀
用 std::function 会触发堆分配（除非小对象优化生效），且拷贝有开销；std::function_ref 完全避免这两点

std::function_ref 的零开销怎么来的？

它内部只存两个字段：一个指向可调用体的 void*（或类似指针），一个指向调用分发函数的函数指针。两者加起来通常就是 16 字节（x64），且所有操作都是纯指针解引用 + 间接跳转，无虚函数表、无 new/delete、无异常传播开销。

void example(std::function_ref cb) {
    int result = cb(3.14); // 直接调用，无额外分支或检查
}

传入的 lambda 若无捕获，cb 内部存储的是其地址 + 编译器生成的静态调用桩
传入带捕获的 lambda，cb 存储的是捕获块地址 + 对应的调用桩（该桩由标准库为每种签名生成一次）
传入 std::function，cb 仅借用其存储区和调用逻辑，不复制内容
注意：std::function_ref 不延长所引用对象的生命期——若传入栈上 lambda 并保存其 function_ref 到作用域外，就是悬垂引用