std::bind是C++11引入的标准库工具，定义在functional头文件里，用来把一个可调用实体（函数、函数指针、成员函数、函数对象）和若干参数绑定在一起，产生一个新的可调用对象。这个新对象在后续调用时，只需要补上没有被绑定的参数即可。它本质上是一种延迟调用机制，常用于回调注册、线程任务封装等场景。
一、std::bind的基本用法
使用std::bind时，第一个参数是要绑定的可调用物，后面依次跟要绑定的参数列表。如果某个位置在绑定时还不确定，就使用占位符std::placeholders::_1、_2等代替。占位符表示将来调用生成的对象时，实际传入的第几个参数。
下面用一个普通函数演示最基础的绑定方式。我们定义一个加法函数，然后把第一个参数固定为10，第二个参数留作占位符，这样得到的新对象只需要传一个参数就能完成计算。
#include <iostream>
#include <functional>
int add(int a, int b) {
return a + b;
}
int main() {
using namespace std::placeholders;
// 把add的第一个参数绑定为10，第二个用_1占位
auto fn = std::bind(add, 10, _1);
std::cout << fn(5) << std::endl; // 输出15
return 0;
}
从这段代码可以看到，std::bind返回的fn是一个未指定具体类型的可调用对象，通常用auto接收。调用fn(5)时，占位符_1被替换为5，最终执行的是add(10, 5)。这种方式比自己写一个结构体重载operator()要简洁很多。
需要注意的是，绑定普通函数时，函数名会退化为函数指针，std::bind内部保存这个指针。由于函数指针是轻量级的，这种绑定几乎没有额外内存开销，但也不具备状态，只能绑定静态逻辑。
二、绑定成员函数
成员函数和普通函数不同，它需要一个对象实例才能调用。因此用std::bind绑定成员函数时，必须把一个对象（或对象指针、智能指针）作为第二个参数传进去，后面才是成员函数本身的参数占位。
下面的例子展示如何把一个类的成员函数绑定到具体对象上，并固定部分参数，生成一个只需要剩余参数的调用包装器。
#include <iostream>
#include <functional>
class Calculator {
public:
int multiply(int x, int y) {
return x * y;
}
};
int main() {
using namespace std::placeholders;
Calculator calc;
// 绑定成员函数，第一个参数是对象实例，其余为函数参数
auto fn = std::bind(&Calculator::multiply, &calc, 3, _1);
std::cout << fn(4) << std::endl; // 输出12
return 0;
}
这里第二个参数传的是&calc，也就是对象地址。std::bind会保存这个指针，所以必须保证在调用fn的时候，calc对象仍然存活，否则会引发未定义行为。如果改用std::shared_ptr<Calculator>绑定，则生命周期会被智能指针管理，更安全。
如果成员函数是const的，绑定方式完全一样，只是函数指针类型带有const限定。另外，占位符的位置可以自由排列，比如把_1放在对象位置之外，实现参数顺序的重排，这在适配不同接口时非常有用。
三、参数绑定语义与占位符顺序
std::bind对绑定参数采取值拷贝语义：除了占位符，所有传进去的实参都会被复制（或移动）到返回的对象内部。这意味着如果你绑定了一个很大的对象，会产生拷贝成本；如果绑定的是引用意图，要用std::ref或std::cref包装。
占位符的顺序决定了新对象调用时参数的对应关系，而不是原函数的参数顺序。通过打乱占位符，我们可以实现参数顺序调换，下面演示交换两个参数位置的绑定。
#include <iostream>
#include <functional>
void show(int a, int b) {
std::cout << "a=" << a << ", b=" << b << std::endl;
}
int main() {
using namespace std::placeholders;
// 原函数是(a,b)，绑定后变成(b,a)
auto fn = std::bind(show, _2, _1);
fn(1, 2); // 输出 a=2, b=1
return 0;
}
在fn(1, 2)中，_1对应1，_2对应2，而绑定表达式里show的第一个位置是_2，第二个位置是_1，所以实际调用为show(2, 1)。这种能力让std::bind可以充当接口适配器，把已有函数改造成符合新签名的形式。
关于引用绑定，看下面这个例子。如果不加std::ref，内部修改的是拷贝，外部变量不变；加上之后才是真正引用原变量。
#include <iostream>
#include <functional>
void inc(int& x) {
++x;
}
int main() {
int v = 0;
auto fn = std::bind(inc, std::ref(v));
fn();
std::cout << v << std::endl; // 输出1
return 0;
}
四、std::bind与lambda表达式的对比
从C++11开始，lambda表达式也能完成类似的参数绑定和捕获工作，而且可读性往往更好。对于简单固定参数，lambda通常更直观；std::bind在需要复杂参数重排或老代码中仍有价值。
同样实现绑定add的第一个参数为10，lambda写法如下，对比可见其逻辑直接写在函数体里，不需要记忆占位符规则。
#include <iostream>
int add(int a, int b) {
return a + b;
}
int main() {
auto fn = [](int x) { return add(10, x); };
std::cout << fn(5) << std::endl; // 输出15
return 0;
}
lambda在编译期类型更明确，调试时能看到具体闭包结构，而std::bind返回的是未知类型，在错误信息中经常是一长串模板展开。现代C++项目一般推荐优先使用lambda，把std::bind留给必须兼容旧接口或标准库算法绑定的少数场合。
性能上两者差异极小，因为编译器通常能把std::bind和lambda都内联优化掉。选择依据主要是代码清晰度和团队规范，而不是运行效率。
五、常见使用场景与注意事项
std::bind常出现在把成员函数作为回调函数传递给只接受普通函数指针或泛型可调用物的接口中，比如把成员函数绑定为线程入口，或作为定时器回调。它也能配合标准库算法，固定比较函数的部分参数。
下面是一个把成员函数交给std::thread执行的例子，通过绑定对象指针和参数，线程就能直接调用该实例的方法。
#include <iostream>
#include <thread>
#include <functional>
class Task {
public:
void run(int id) {
std::cout << "task " << id << " done" << std::endl;
}
};
int main() {
using namespace std::placeholders;
Task t;
std::thread th(std::bind(&Task::run, &t, 1));
th.join();
return 0;
}
使用时要小心对象生命周期：如果绑定的对象在函数返回后被销毁，而生成的调用对象还在别处排队，就会访问悬空指针。用std::shared_ptr绑定可以有效避免这类问题。另外，嵌套std::bind时，只有顶层bind的占位符会被外部调用替换，内层bind如果想接收外部参数，需要使用std::placeholders并且理解嵌套求值规则，否则容易写出难以排查的bug。
总体而言，std::bind是理解C++可调用对象模型的重要一环。掌握它的绑定语法、值语义和占位符机制，不仅能维护旧代码，也能在合适时机用它快速适配接口，只是日常新代码编写中，多考虑lambda往往更省心。