17370845950

std::function是C++11引入的通用函数封装器，用于统一持有函数指针、lambda、成员函数指针等可调用对象；必须用于需运行时动态存储/传递类型一致但来源不同的可调用体的场景，如回调注册、事件系统、异步队列和策略替换。

std::function 是 C++11 引入的通用函数封装器，本质是一个可调用对象包装器模板类，能统一持有函数指针、成员函数指针、lambda 表达式、std::bind 结果等任意符合签名的可调用实体。

什么时候必须用 std::function？

当你需要把“不同来源但类型一致”的可调用对象存进同一容器、作为参数传给通用接口、或延迟执行时，std::function 就不可替代。

例如回调注册、事件系统、异步任务队列、策略模式中的策略替换——这些场景下你无法提前知道用户会传 lambda、普通函数还是绑定了对象的成员函数。

• 不能用函数指针替代：函数指针无法保存捕获变量的 lambda 或绑定后的成员函数
• 不能用模板参数硬推导：模板要求编译期确定类型，而回调常需运行时动态设置
• 不能用 auto 参数：函数参数不能是 auto（C++20 有概念约束，但依然不解决存储问题）

std::function 的声明和类型擦除代价

声明格式为 std::function，括号内是目标调用签名，不是函数名。它通过类型擦除（type erasure）实现多态，内部通常使用小对象优化（SOO）或堆分配。

这意味着每次构造或赋值都可能触发内存分配（尤其当可调用体较大时），且调用有间接跳转开销（类似虚函数）。对性能极度敏感路径（如 tight loop 内高频调用），应避免无谓封装。

• 小 lambda（无捕获或仅捕获几个 trivial 类型）通常走 SOO，零分配
• 带大捕获块、std::bind 结果、或 std::function 嵌套时，大概率触发堆分配
• 调用开销约比直接调用多 1–2 层函数指针解引用，实测通常在纳秒级，但累积效应不可忽视

常见误用和崩溃点

最典型问题是空 std::function 被调用，触发 std::bad_function_call 异常。它不像指针能判 nullptr，但提供了 operator bool() 检查是否有效。

std::function cb;
// cb(); // ❌ 抛出 std::bad_function_call
if (cb) {
    cb(42); // ✅ 安全调用
}

• 不要用 std::function 存储临时 lambda 捕获了局部变量的引用——生命周期管理责任仍在你手上
• 避免在返回值中直接返回 std::function 包装的栈上 lambda，除非确保调用方立即消费
• 跨线程传递 std::function 时，注意其内部状态是否线程安全（本身是线程安全的，但封装的可调用体不一定）

真正难的从来不是怎么写 std::function f = [](double x){ return x*2; };，而是想清楚它在哪一层抽象里该出现、谁负责生命周期、以及有没有更轻量的替代方案（比如策略类模板、函数指针+void*上下文、或 C++20 的 std::move_only_function