std::function是类型擦除的可调用对象包装器类模板，按签名统一存储各类可调用实体；构造、赋值、判空均受编译期类型检查约束；带捕获lambda会引发堆分配；不支持跨实例相等比较；拷贝成本需警惕，应优先移动使用。
std::function 本质是类型擦除的可调用对象包装器
它不是函数指针，也不是模板别名，而是一个类模板，用来统一保存各种可调用实体：普通函数、lambda、成员函数指针、bind 表达式，甚至其他 std::function。关键在于它的类型由签名决定，比如 std::function<int></int> 只能存参数为 double、返回 int 的可调用物。
常见错误是试图用它存返回值不匹配或参数数量不对的东西，编译直接报错，例如把 void f() 赋给 std::function<int></int> —— 类型系统在编译期就拦住了。
- 构造时支持直接初始化：
std::function<void> f = []{ printf("ok"); };</void> - 支持赋值（包括移动）：
f = std::bind(&X::method, &x, 42); - 判空用
if (f)，等价于if (f != nullptr)，不是调用前必须检查，但调用空std::function会抛std::bad_function_call
捕获 lambda 和 std::function 的内存开销要注意
当 lambda 有捕获（哪怕是空捕获 [=]{}），std::function 内部会做堆分配（除非编译器做了 small buffer optimization）。这意味着频繁构造/销毁带捕获的 std::function 可能引发性能抖动，尤其在 hot path 上。
对比无捕获 lambda：void(*fp)() = +[]{} 是纯函数指针，零开销；但一旦加了捕获，就只能靠 std::function 或手动写 functor 类来承载。
立即学习“C++免费学习笔记（深入）”；
- 若只传给一次调用（如
std::sort(v.begin(), v.end(), [](auto& a, auto& b){ return a.x ），根本不需要 <code>std::function—— 模板推导更高效 - 若需存储、传递、多次调用，且调用形态不确定（比如回调注册表），
std::function才是合理选择 - Clang/GCC 在 -O2 下对小 lambda（如无捕获或仅几个 int 捕获）常启用 SBO，避免堆分配；但 MSVC 的阈值更保守，实测建议用
sizeof(std::function<...>)</...>确认
绑定成员函数要小心 this 悬空
用 std::function 存成员函数指针本身不危险，但 bind 或 lambda 捕获 this 后，如果对象提前析构，后续调用就是未定义行为 —— 这和裸指针悬空一样，只是更容易被忽略。
典型错误写法：std::function<void> cb = [this]{ this->do_work(); };</void>，然后把 cb 交给异步队列，但对象在回调执行前已销毁。
- 解决办法之一：改用
std::shared_ptr<t></t>捕获，确保生命周期延续：[self = shared_from_this()]{ self->do_work(); } - 解决办法之二：不捕获
this，改用静态成员或 free 函数，再通过参数传数据 - 绝对不要用
std::bind(&T::method, this, ...)，因为this是裸指针，bind 不管理其生命周期
不能直接比较两个 std::function 是否相等
std::function 重载了 == 和 !=，但仅支持与 nullptr 比较，或者两个都为空。你不能判断 f1 == f2 是否为真 —— 标准明确禁止，编译失败。
原因很实在：内部可能指向不同地址的相同 lambda 实例，或 bind 表达式逻辑等价但对象不等，无法安全实现语义相等判断。
- 若业务真需要“去重回调”，得自己维护一个唯一 ID（比如用
std::type_index(typeid(lambda))加捕获变量哈希，但不可靠） - 更稳妥的做法是放弃比较，改用显式注册/注销机制，用句柄（如
int id）管理回调生命周期 - 注意：即使两个
std::function都指向同一个全局函数，f1 == f2仍不合法，必须用f1 && f2 && f1.target_type() == f2.target_type() && *f1.target<void>() == *f2.target<void>()</void></void>这种绕弯方式（仅适用于函数指针场景，且不通用）
最常被忽略的一点：std::function 的拷贝成本可能比预期高，尤其是绑定了大对象或复杂状态时；如果只打算移动使用（比如塞进 std::thread 或队列），记得用 std::move(f)，否则可能触发不必要的拷贝构造。
