std::function_ref是C++23引入的非拥有型可调用对象引用，用于高效传递函数或lambda而不复制或分配内存；它不持有所有权、无堆开销，适用于生命周期受控的临时调用场景，常作为函数参数替代std::function以提升性能。
std::function_ref 是 C++23 引入的一个轻量级、非拥有型的可调用对象引用工具，它提供了一种高效的方式来传递函数、lambda 表达式或其他可调用对象，而无需拷贝或移动它们。它的设计目标是替代某些场景下对 std::function 的使用，尤其是在性能敏感的代码中。
什么是 std::function_ref？
std::function_ref 不持有可调用对象的所有权，仅保存对其的引用。这意味着它不会进行动态内存分配，也不会复制底层的可调用实体。它本质上是一个“视图”（view），类似于 std::string_view 之于字符串。
它适用于那些只需要临时调用某个可调用对象、且调用期间该对象生命周期有保障的场景。
立即学习“C++免费学习笔记（深入）”；
C++ Code Review Master
下载
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
- 类型签名：template<class> class std::function_ref;
- 头文件：<functional>
- 不支持赋值为 nullptr，绑定的对象必须始终有效
与 std::function 的关键区别
理解两者差异有助于正确选择使用场景：
- 所有权语义：std::function 是拥有型包装器，会拷贝或移动可调用对象；std::function_ref 只是引用，不管理生命周期
- 性能开销：std::function 可能涉及堆分配（特别是捕获较大的 lambda）；std::function_ref 零开销抽象，通常编译为指针或函数指针加对象指针
- 灵活性 vs 效率：std::function 更灵活，可用于存储和跨作用域传递；std::function_ref 更高效，但要求被引用对象在调用时依然存活
典型使用场景
适合用于函数参数传递，尤其是模板库或高性能中间件中：
void for_each_element(const std::vector<int>& vec, std::function_ref<void(int)> callback) {
for (int x : vec) {
callback(x);
}
}
<p>// 调用方式多样
std::vector<int> data = {1, 2, 3};
for_each_element(data, [](int n) { std::cout << n << " "; });
for_each_element(data, printf_as_int); // 普通函数
这种设计避免了为每个传入的 lambda 创建 std::function 带来的潜在开销。
注意事项和限制
由于其非拥有特性，使用时需格外注意生命周期：
- 不要将局部 lambda 通过 function_ref 返回或长期存储
- 不能从临时对象构造（除非显式延长生命周期）
- 不支持 reset 或 clear 操作，一旦绑定不可变为空状态
- 不能用于需要异步调用或延迟执行的场合，除非确保原对象持续有效
基本上就这些。std::function_ref 是 C++23 对泛型编程和性能优化的一次重要补充，特别适合在接口设计中替代 std::function，以实现更高效的回调机制。只要确保引用对象的生命周期足够长，就能安全享受零成本抽象带来的好处。不复杂但容易忽略的是：它不是万能替代品，而是特定场景下的更优选择。
