std::function能存储带捕获的lambda，因其内部类型擦除；但必须显式声明签名，无捕获lambda才可转函数指针，带捕获的则不可。
std::function 能不能直接存捕获变量的 Lambda
不能，除非用 std::function 显式声明目标签名，且该 Lambda 可被隐式转换为对应函数对象类型。带捕获的 Lambda 是一个**独有类型**（每个 Lambda 表达式生成不同类），无法退化为裸函数指针，但可以被 std::function 包装——因为它内部做了类型擦除。
常见错误现象：error: cannot convert 'lambda() {...}' to 'void(*)()' in initialization，这是试图把 Lambda 直接赋给函数指针所致。
- 无捕获 Lambda（如
[ ]{}）可隐式转为函数指针，但仅限于空捕获列表（[]） - 有捕获（哪怕只是
[x]或[&]）的 Lambda 一定不能转成函数指针，只能靠std::function -
std::function构造开销略高（堆分配可能触发、至少一次虚函数调用），高频热路径慎用
std::function 声明和赋值的正确写法
必须显式指定调用签名，例如 std::function<int const std::string></int>。签名不匹配会导致编译失败，不是运行时错误。
auto lambda = [](double x, const std::string& s) -> int {
return static_cast<int>(x * s.length());
};
std::function<int const std::string> func = lambda; // ✅ 正确
// std::function<void> func2 = lambda; // ❌ 编译失败：签名不兼容</void></int></int>
使用场景：
- 作为回调参数（如事件注册、STL 算法的
pred参数） - 存储异构可调用对象（Lambda、函数指针、绑定表达式、仿函数）
- 实现策略模式或状态机中的行为委托
和裸函数指针、std::bind 混用要注意什么
std::function 可以无缝接收函数指针、std::bind 结果、重载了 operator() 的类对象，但语义和性能差异明显。
- 裸函数指针零开销，但无法携带状态；
std::function有间接调用成本，支持状态捕获 -
std::bind返回的对象也可赋给std::function，但 C++17 起更推荐用 Lambda 替代（更清晰、通常更高效） - 若被包装的可调用对象是临时量（如立即执行的 Lambda），确保
std::function生命周期不长于其捕获的变量生命周期
示例陷阱：
std::function<void> dangerous;
{
int local = 42;
dangerous = [&local]() { std::cout <h3>替代方案：什么时候不该用 std::function</h3>
<p>当接口只接受单一、固定、无状态的回调，且性能敏感（如音频处理循环、高频数学计算），优先考虑模板参数或函数指针。</p>
<ul>
<li>用模板：让调用点内联，零运行时代价 —— <code>template<typename f> void process(F&& f);</typename></code>
</li>
<li>用函数指针：仅限无捕获 Lambda 或普通函数，签名严格匹配，<code>void (*cb)(int)</code>
</li>
<li>
<code>std::function</code> 适合“运行时决定行为”的场景，不适合“编译期已知且需极致性能”的场景</li>
</ul>
<p>容易被忽略的一点：<code>std::function</code> 的移动构造/赋值是 noexcept 的，但拷贝构造不一定（取决于内部存储是否触发分配），若用于容器（如 <code>std::vector<:function>></:function></code>），注意拷贝成本和异常安全性。</p></void>C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
