std::function_ref是c++20引入的零开销函数视图，仅持有可调用对象地址、不管理生命周期，要求传入左值且无状态；与std::function（值语义、可能堆分配）本质区别在于引用语义和严格生命周期契约。
std::function_ref 不是 C++26 的新特性——它早在 C++20 就已进入标准库（作为 std::function_ref，定义在 <functional></functional>），C++26 并未改动其核心语义。它确实是一个零开销的函数视图类型，但“零开销”有明确前提：你不能用它存储拥有状态的可调用对象（比如捕获了局部变量的 lambda），也不能用它延长临时对象生命周期。
std::function_ref 是什么？和 std::function 有什么根本区别？
它是一个轻量、不可拥有的函数引用包装器，只保存一个指向可调用对象的指针（+ 可选的 this 指针），不进行堆分配、不拷贝目标对象、不管理生命周期。
-
std::function是“可调用对象的值语义容器”，会拷贝/移动目标，可能触发堆分配（如捕获 lambda 超出小对象优化尺寸） -
std::function_ref是“可调用对象的引用语义视图”，仅持有原始可调用对象的地址，大小固定为 2 个指针（通常 16 字节） - 它不参与所有权管理：传入的 lambda、函数指针或绑定对象必须在其被调用期间保持有效
什么时候能安全使用 std::function_ref？
适用场景非常具体：你确定可调用对象的生命周期严格长于 std::function_ref 的使用期，且不需要它“带走”状态。
- 作为函数参数，接收用户传入的回调（如算法接口、事件注册）
- 绑定到静态函数、非捕获 lambda（
[&] {}或[=] {}都不行，只有[] {}或函数指针可以） - 封装成员函数指针时，对象实例必须由调用方保证存活
- 不能用于返回局部 lambda（哪怕不捕获）——因为局部对象销毁后视图就悬空
void process(std::function_ref<int(int)> f) {
std::cout << f(42) << "\n";
}
<p>int main() {
auto lambda = [](int x) { return x * 2; }; // 非捕获，可转成函数指针
process(lambda); // ✅ 安全：lambda 在 process 调用期间有效</p><pre class='brush:php;toolbar:false;'>int a = 10;
auto bad_lambda = [&](int x) { return x + a; }; // 捕获引用 → 无法隐式转为 function_ref
// process(bad_lambda); // ❌ 编译失败：no matching constructor}
立即学习“C++免费学习笔记（深入）”；
常见编译错误和陷阱
错误往往不是运行时崩溃，而是编译直接失败——因为 std::function_ref 构造函数是 SFINAE 友好的，对不满足条件的类型直接禁用。
-
error: no matching constructor for initialization of 'std::function_ref<void>'</void>：传入了捕获 lambda、std::bind结果、或 move-only 可调用对象（如std::unique_ptr包裹的 callable） - 误以为它能“延长临时对象寿命”：例如
std::function_ref{[x=42](){ return x; }}会编译失败，即使不捕获也不行——因为该 lambda 是临时对象，构造function_ref时无法绑定到 const lvalue 引用（标准要求它只接受左值） - 与
std::string_view类比容易误导：两者都叫 “view”，但std::function_ref对绑定对象的“左值性”和“无状态性”要求更严
性能和 ABI 兼容性注意点
它确实是零动态开销，但要注意：它的调用开销略低于 std::function（少一次虚函数表跳转或函数指针解引用），不过现代编译器对 std::function 的简单 case 也能内联优化。
- ABI 稳定：
std::function_ref的内存布局是标准规定的（两个void*），可用于跨编译单元或 DLL 边界传递回调（只要双方都用相同标准版本） - 不能替代
std::function做通用回调存储：比如你要把回调存进容器、延迟执行、或跨线程转移，必须用std::function或手动管理生命周期 - 模板参数推导有时不友好：显式写出签名比依赖 CTAD 更可靠，尤其涉及重载函数或模板函数时
void foo(int); void foo(double); <p>// ❌ 模糊：哪个 foo？ // std::function_ref f = foo;</p><p>// ✅ 明确指定 std::function_ref<void(int)> f1 = foo; std::function_ref<void(double)> f2 = foo;
真正容易被忽略的是生命周期契约——它不报错、不抛异常、不检查空，一旦违反就是未定义行为。写的时候省事，查 bug 的时候得翻调用栈三层以上确认谁负责保活。
