std::function 和 std::bind 是 C++11 引入的核心工具，用于统一函数调用接口、解耦逻辑与实现，支持参数绑定和延迟执行，是回调、事件系统、异步编程及策略模式的基础。
std::function 和 std::bind 是 C++11 引入的两个核心工具，用于统一函数调用接口、解耦调用逻辑与具体实现，并支持灵活的参数绑定和延迟执行。它们不是“语法糖”，而是现代 C++ 回调、事件系统、异步编程和策略模式的基础支撑。
std::function：类型安全的可调用对象包装器
std::function
- 声明时必须指定完整调用签名，编译期检查类型兼容性
- 支持赋值、移动、判空（if (f)）、重置（f = nullptr）
- 底层使用类型擦除技术，有轻微开销，但换来极大灵活性
示例：
void print_sum(int a, int b) { std::cout std::functionf(3, 4); // 输出 7
f = [](int x, int y) { std::cout f(3, 4); // 输出 12
std::bind：生成可调用对象的参数绑定工具
std::bind 接收一个可调用对象和部分实参（或占位符），返回一个新的可调用对象，调用时自动补全参数。它解决的是“固定某些参数、延迟传入其余参数”的问题。
立即学习“C++免费学习笔记（深入）”；
- 占位符 _1, _2, ...（定义在 std::placeholders）表示将来调用时传入的位置参数
- 绑定后的新函数对象类型由 bind 表达式推导，通常用 auto 或 std::function 存储
- 支持嵌套 bind、绑定成员函数（需传入对象或指针）
示例：
int add(int a, int b) { return a + b; }auto add5 = std::bind(add, 5, _1); // 绑定第一个参数为 5
std::cout
struct Calculator { int mul(int x, int y) { return x * y; } };
Calculator calc;
auto mulBy2 = std::bind(&Calculator::mul, &calc, _1, 2);
std::cout
function + bind 的典型协同场景
单独用 bind 生成的对象类型不透明，难以作为参数传递；而 function 提供统一接口，二者常配合使用。
- 注册回调：把 bind 后的可调用体存入 std::function 容器，便于统一管理
- 构建策略：运行时选择不同 bind 配置，注入到接受 std::function 的算法中
- 适配接口：将参数不匹配的函数（如三参数函数）通过 bind 转成二参数 std::function
示例（事件队列）：
std::vector<:function>> tasks;void log(const std::string& tag, int value) {
std::cout }
tasks.push_back(std::bind(log, "INFO", 42)); // 立即绑定 tag 和 value
tasks.push_back(std::bind(log, "DEBUG", _1)); // 留一个参数，稍后传
// 执行
for (auto& t : tasks) t(); // 第一个输出 [INFO] 42；第二个因缺参数会调用失败（注意！）
// 正确做法：tasks.back()(100); // 输出 [DEBUG] 100
替代方案与注意事项
C++17 后，很多 bind 场景可用更简洁的 lambda 替代；C++20 进一步强化了可调用对象的泛化能力。但 bind 仍有不可替代之处：比如完美转发绑定、绑定右值引用、或需多次复用同一绑定逻辑时。
- 避免过度嵌套 bind —— 可读性差，调试困难；优先考虑 lambda
- 绑定成员函数时，确保对象生命周期长于 std::function 的生命周期（否则悬垂调用）
- std::bind 默认按值拷贝参数；如需引用，用 std::ref / std::cref 包装
- std::function 构造/赋值可能抛异常（内存分配失败），对无异常要求的场景需谨慎
