std::bind占位符_1、_2是std::placeholders::_1等的别名，需using声明；编号对应调用时实参位置，顺序决定原函数形参映射；绑定成员函数须显式传入对象（副本/引用/指针）；类型不匹配或占位符数量不足会导致编译或运行错误；bind对象可复制，适合容器存储和stl算法，但大对象绑定需注意性能。
std::bind 绑定普通函数时，占位符 _1、_2 怎么用？
占位符不是变量名，是 std::placeholders::_1 的别名，必须显式引入命名空间或用 using 声明。没写这句，编译直接报 ‘_1’ was not declared in this scope。
常见写法：
using namespace std::placeholders;
或者更安全的单个引入：
using std::placeholders::_1;
绑定时顺序决定参数位置：bind(f, _2, _1) 表示调用结果时，第二个实参传给 f 的第一个形参，第一个实参传给 f 的第二个形参——这点极易反直觉。
立即学习“C++免费学习笔记（深入）”；
- 占位符编号对应「调用 bind 返回的可调用对象时」的实参位置，不是原函数形参顺序
-
_1到_29是标准定义的，但实际用到超过_5就该考虑是否设计过重了 - 不带占位符的参数会被立即绑定（按值拷贝），后续调用无法更改；带占位符的才延迟传入
绑定成员函数时，this 指针怎么传？
成员函数第一个隐式参数是 this，所以 bind 必须显式提供对象实例（或指针/引用）。漏掉它，编译器会报类似 no match for call to ‘(std::function<...>) ()’</...> 的错误，本质是签名不匹配。
正确写法分三种情况：
- 绑定到对象副本：
bind(&A::func, a, _1)——a被拷贝，后续调用操作的是副本 - 绑定到对象引用：
bind(&A::func, std::ref(a), _1)—— 修改反映在原对象上 - 绑定到指针：
bind(&A::func, &a, _1)—— 最常用，无需额外包装
注意：&A::func 是成员函数指针，不是普通函数指针，类型系统严格区分；传错类型（比如传 a.func）会编译失败。
为什么 bind 后调用报错：‘no type named ‘type’ in …’？
这是模板推导失败的典型症状，多发生在把 bind 结果赋给 std::function 时类型没对齐。比如原函数返回 int，你却声明成 std::function<void></void>，或者参数个数/类型与占位符数量不一致。
调试关键点：
- 检查
std::function模板参数是否完全匹配 bind 后的调用签名（包括返回值和每个参数类型） - 避免混用
auto和std::function：用auto f = bind(...)最省事，类型由编译器推导，不会错 - 占位符数量必须 ≤ 实际调用时传入的实参数量，否则运行时不会报错，但行为未定义（通常 crash 或静默错误）
示例错误：
auto f = std::bind([](int x, int y) { return x + y; }, _1); // 只绑了一个占位符，但原函数要两个参数
调用 f(1) 编译通过，但运行时可能崩溃——因为第二个参数未初始化。
比起 lambda，bind 在什么场景下不可替代？
bind 的核心价值不在“能做啥”，而在“能延迟绑定部分参数且保持可复制性”。lambda 默认不可复制（除非无捕获或用 mutable 配合值捕获），而 std::bind 返回的对象始终满足 CopyConstructible。
典型刚需场景：
- 需要把绑定结果存进容器（如
std::vector<:function>> callbacks</:function>），且回调对象需多次调用、跨作用域存活 - 配合 STL 算法时需传递带状态的可调用体，例如
std::transform(v.begin(), v.end(), out, bind(func, _1, 42))，其中42是固定参数 - 封装 C 风格回调（如
qsort、某些 GUI 库注册函数），要求可调用体是平凡类型、无状态依赖
现代 C++ 中，多数简单绑定用 lambda 更直观；但涉及对象生命周期管理、类型擦除容器、或与老接口对接时，std::bind 的语义更明确、容错更强。
真正容易被忽略的是：bind 返回的对象内部持有所有绑定值的副本，如果绑定大对象又频繁复制，性能开销比预期高得多——这时得手动用 std::ref 或改用 lambda + 捕获引用。