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<void> cb;
// cb(); // ❌ 抛出 std::bad_function_call
if (cb) {
cb(42); // ✅ 安全调用
}</void>
- 不要用
std::function存储临时 lambda 捕获了局部变量的引用——生命周期管理责任仍在你手上 - 避免在返回值中直接返回
std::function包装的栈上 lambda，除非确保调用方立即消费 - 跨线程传递
std::function时，注意其内部状态是否线程安全（本身是线程安全的，但封装的可调用体不一定）
真正难的从来不是怎么写 std::function，而是想清楚它在哪一层抽象里该出现、谁负责生命周期、以及有没有更轻量的替代方案（比如策略类模板、函数指针+void*上下文、或 C++20 的 std::move_only_function）。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
