\_1、\_2 是 std::placeholders 中的占位符，表示调用时传入的第一个、第二个实参；绑定后未被占位符覆盖的参数被固定为绑定值，且需 using namespace std::placeholders; 才能使用。
std::bind 绑定参数时，位置占位符 _1、_2 是什么意思？
它们是占位符，表示调用生成的函数对象时传入的实际参数位置。不是下标，也不是从 0 开始；_1 指第一个实参，_2 指第二个，以此类推。绑定后，未被占位符覆盖的参数会被固定为绑定时的值。
常见错误是误以为 _1 对应绑定列表里的第一个参数——其实它对应的是“调用时传入的第一个参数”。例如：
auto f = std::bind(func, 10, _1, 20); f(5); // 等价于 func(10, 5, 20)
这里 _1 被调用时的 5 替换，而 10 和 20 是提前固定的。
注意：_1 到 _N 定义在 std::placeholders 命名空间里，必须显式引入：
立即学习“C++免费学习笔记（深入）”；
using namespace std::placeholders; // 或单独写 std::placeholders::_1
为什么 std::bind 返回的对象不能直接赋给 std::function？
类型不匹配：std::bind 返回的是未命名的函数对象类型（implementation-defined），不是 std::function。必须显式转换或用 std::function 构造/赋值来擦除类型。
- 正确写法：
std::function<void> f = std::bind(g, _1, "hello");</void> - 错误写法：
auto f = std::bind(g, _1, "hello"); f(42);—— 这没问题；但若后续想把f存进容器或传给期望std::function的接口，就必须转成std::function - 性能影响：
std::function有类型擦除开销（一次 heap 分配 + 间接调用），而auto推导的 bind 对象是栈上轻量类型，无运行时开销
绑定成员函数时，第一个参数必须是对象指针或引用
成员函数隐含 this 参数，所以 std::bind 第一个实参必须提供调用该函数的对象上下文。
struct X { void foo(int a) { /* ... */ } };
X x;
auto f = std::bind(&X::foo, &x, _1); // OK：传指针
f(42); // 调用 x.foo(42)容易踩的坑：
- 传临时对象：
std::bind(&X::foo, X{}, _1)→ 调用时this悬空，UB - 传值绑定对象：
std::bind(&X::foo, x, _1)→ 绑定时拷贝x，后续调用的是副本的成员函数 - 用
std::ref(x)可绑定引用，避免拷贝但需确保x生命周期足够长
std::bind 和 lambda 相比，还有必要用吗？
多数新代码中，lambda 更直观、更高效、更易读。但 std::bind 在两个场景仍有不可替代性：
- 需要完美转发多个可变参数（比如封装回调并透传）：lambda 写起来冗长，而
std::bind(f, _1, _2, _3)天然支持 - 与旧版 STL 算法配合（如
std::not1、std::mem_fn）：部分算法只接受可调用对象，且对签名敏感，std::bind的类型行为更可控 - 动态重绑定（极少见）：
std::bind对象本身不可变，但你可以重新赋值另一个std::bind结果；而 lambda 是 const 的，无法“改写”捕获内容
真正容易被忽略的是：bind 的返回类型不可复制（C++11 中某些实现可能禁用拷贝），而 lambda 默认可复制；如果要存入 std::vector<:function>></:function>，这点无关紧要，但若直接用 auto 存 bind 结果又尝试拷贝，可能编译失败。
