17370845950

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 之于字符串。

它适用于那些只需要临时调用某个可调用对象、且调用期间该对象生命周期有保障的场景。

• 类型签名：template class std::function_ref;
  
• 头文件：
  
• 不支持赋值为 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& vec, std::function_ref callback) {
    for (int x : vec) {
        callback(x);
    }
}
// 调用方式多样
std::vector 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，以实现更高效的回调机制。只要确保引用对象的生命周期足够长，就能安全享受零成本抽象带来的好处。不复杂但容易忽略的是：它不是万能替代品，而是特定场景下的更优选择。