在C++11标准引入的functional头文件中,std::bind是一个用于绑定函数参数的工具,它可以调整函数的参数个数和顺序,生成一个新的可调用对象,在很多需要适配函数签名的场景中非常实用。

std::bind的基本用法
std::bind的基本语法是接收一个可调用对象和若干参数,返回一个绑定后的可调用对象。绑定的参数可以是固定值,也可以是占位符,占位符用于后续调用时传入实际参数。
首先需要包含对应的头文件:
#include <functional> #include <iostream> // 引入占位符命名空间,方便使用_1、_2等占位符 using namespace std::placeholders;
绑定普通函数参数
假设我们有一个普通的加法函数,需要固定其中一个参数,就可以用std::bind实现:
// 普通加法函数
int add(int a, int b) {
return a + b;
}
int main() {
// 绑定add的第一个参数为10,第二个参数用占位符_1代替
auto add_ten = std::bind(add, 10, _1);
// 调用add_ten时只需要传入第二个参数
std::cout << add_ten(5) << std::endl; // 输出15,等价于add(10,5)
return 0;
}
绑定成员函数参数
绑定类的成员函数时,第一个参数需要传入对象指针或者对象引用,后续才是成员函数的参数:
class Calculator {
public:
int multiply(int a, int b) {
return a * b;
}
};
int main() {
Calculator calc;
// 绑定Calculator的multiply成员函数,第一个参数是对象指针,第二个参数固定为3,第三个用占位符_1
auto multiply_three = std::bind(&Calculator::multiply, &calc, 3, _1);
std::cout << multiply_three(4) << std::endl; // 输出12,等价于calc.multiply(3,4)
return 0;
}
占位符的使用规则
占位符是std::bind中非常重要的部分,命名空间std::placeholders下提供了_1、_2、_3等占位符,对应后续调用时的第1、2、3个参数。
占位符的顺序调整
占位符可以调整原函数的参数顺序,比如原函数是先传a再传b,我们可以通过占位符让新可调用对象先传b再传a:
int sub(int a, int b) {
return a - b;
}
int main() {
// 原参数顺序是a,b,这里用_2作为第一个参数位置,_1作为第二个参数位置,实现参数顺序反转
auto sub_reverse = std::bind(sub, _2, _1);
std::cout << sub_reverse(3, 5) << std::endl; // 输出2,等价于sub(5,3)
return 0;
}
多占位符的使用
当原函数参数较多时,可以使用多个占位符,占位符的数字只和后续调用时的参数位置有关,和原函数参数位置无关:
int func(int a, int b, int c, int d) {
return a + b + c + d;
}
int main() {
// 绑定第一个参数为1,第二个参数为2,第三第四个用占位符_1和_2
auto bind_func = std::bind(func, 1, 2, _1, _2);
// 调用时第一个参数对应_1,第二个参数对应_2
std::cout << bind_func(3, 4) << std::endl; // 输出10,等价于func(1,2,3,4)
return 0;
}
注意事项
- 绑定成员函数时,必须传入对象的指针或者引用,不能传入对象的值,否则会导致对象拷贝,可能引发不必要的开销或者错误。
- 占位符的数字是无限的,只要符合调用时的参数数量即可,但是不要超过后续调用时传入的参数总数。
- std::bind绑定的参数是按值传递的,如果需要按引用传递参数,需要使用
std::ref或者std::cref包装参数。
下面是一个按引用传递参数的示例:
#include <functional>
#include <iostream>
using namespace std::placeholders;
void modify(int& num) {
num += 10;
}
int main() {
int value = 5;
// 用std::ref包装value,实现按引用传递
auto bind_modify = std::bind(modify, std::ref(value));
bind_modify();
std::cout << value << std::endl; // 输出15
return 0;
}