std::function可装普通函数、捕获lambda、std::bind结果、仿函数、非静态成员函数（需绑定this）；函数指针仅能指向普通函数或静态成员函数，且签名必须严格匹配。
std::function 能装什么，函数指针只能装什么
函数指针只能指向**普通函数**或**静态成员函数**，且类型必须严格匹配签名，比如 int(*)(double, const std::string&) 不能赋值给 int(*)(double)。而 std::function 是类型擦除容器，能容纳：普通函数、lambda（哪怕捕获了变量）、绑定后的 std::bind 结果、仿函数对象、非静态成员函数（需绑定 this）。它靠内部的类型擦除机制实现多态，代价是间接调用开销和可能的堆分配。
- 函数指针无法持有捕获 lambda：
auto f = [x=42]{ return x; }; int(*pf)() = f; // 编译失败 -
std::function可以：std::functionf = [x=42]{ return x; }; - 调用非静态成员函数时，函数指针必须写成
Ret (Class::*)(Args...)形式，且调用时需显式提供对象；std::function则可提前绑定：std::functioncb = std::bind(&MyClass::foo, &obj);
性能差异：直接跳转 vs 间接调用 + 可能的动态分配
函数指针调用是纯编译期确定的直接跳转，零开销。而 std::function 每次调用都要经过一层虚函数表或函数指针跳转，有轻微间接成本；更关键的是，当保存的对象尺寸超过内部小缓冲（通常约 16–32 字节），会触发堆内存分配——这对高频回调场景（如图形渲染循环、网络事件分发）可能成为瓶颈。
- 简单无捕获 lambda 或函数指针赋给
std::function通常不分配堆内存 - 带大捕获列表的 lambda、
std::bind多参数绑定、自定义 functor 含大成员时，大概率触发堆分配 - 可通过
sizeof(std::function和观察构造/析构日志验证是否分配)
模板推导与泛型接口设计中的兼容性问题
函数指针类型本身就是具体类型，可直接用于模板参数推导；std::function 是一个模板类，其类型依赖于签名，不同签名之间不可隐式转换，且不能从实参自动推导出完整类型（除非用万能引用+decltype辅助）。
- 函数指针可自然参与模板推导：
templatevoid call(F f); call(foo); // F 推为 int(*)(int) -
std::function无法这样推导：call(std::function(foo)); // 必须显式指定类型 - 若想泛型接受任意可调用物，应优先用模板参数而非
std::function，仅在需要类型擦除（如存入容器、跨模块传递）时才用std::function
回调注册时传 std::function 还是函数指针更合适
取决于回调生命周期和所有权模型。如果回调只在注册后短期存在（如一次性的 UI 点击响应），且调用方不长期持有，用函数指针或模板参数更轻量；如果要支持任意闭包、需跨线程复用、或回调对象生命周期独立于注册点（例如异步任务完成时调用），std::function 是唯一可行选择。
立即学习“C++免费学习笔记（深入）”；
- 函数指针适合 C 风格 API 兼容、嵌入式低开销场景、或已知回调必为静态函数
-
std::function适合现代 C++ 库接口（如std::thread构造、std::async、事件总线），但要注意避免意外拷贝引发多次分配 - 容易被忽略的一点：
std::function的移动语义是安全的，但移动后原对象变为“空状态”，调用会抛std::bad_function_call，这点比函数指针（空指针解引用是未定义行为）更可控，但也更易暴露逻辑错误
