当前位置：首页 > news >正文

C++11——可调用对象

news 来源：原创 2025/7/27 17:24:07

lambda

表达式语法

捕捉列表

function

bind

调整参数个数

参数顺序

lambda

表达式语法

lambda表达式本质上是匿名函数对象，该表达式在语法使用层是没有类型的，一般用auto或模板参数定义的对象去接收它的对象（模板参数定义的对象是当用 vector<T> 时，会根据 T 这个模板参数实例化出一个专门用于存储 T 类型数据的 vector 对象）。

表达式： [capture-list] (parameters)-> return type { function boby };

capture-list：捕捉列表，在下面进行详细介绍。
parameters：参数列表，跟普通函数的参数列表类似，如果没有参数可省略。
-> return type：返回类型，没有返回值时可以省略，如果函数体的返回值类型明确，也可以省略，由编译器推导。
function boby：函数体，跟普通函数的参数列表类似，可以使用参数列表的值和捕捉的值，不可省略。

int main()
{auto func = [](int a, int b)->int{return a + b;};cout << func(1, 2) << endl;return 0;
}

lambda是轻量级函数，上面的写法我用的少，我一般是像下面的写法：

int main()
{vector<int> arr{ 4, 3, 7, 2, 9 };sort(arr.begin(), arr.end(), [](int a, int b) { return a > b; });for (int i : arr)cout << i << " ";return 0;
}

捕捉列表

lambda中默认只能使用函数体里定义的变量和参数列表的变量，如果想使用作用域外的变量就要使用捕捉列表。

捕捉多个变量要用 ','隔开并且同一变量只能捕捉一次。捕捉分三种，可以传值捕捉、传引用捕捉、混合捕捉。

传值捕捉：传过去的对象不可修改，如果想传全部值可以用 '=' 来实现。

int main()
{int a = 0,  b = 0,  c = 0;auto func = [a, b](){cout << a << " " << b << endl;};func();return 0;
}

int main()
{int a = 0, b = 0, c = 0;auto func = [=](){cout << a << " " << b << " " << c << endl;};func();return 0;
}

要是对值进行修改修会报错：

传引用捕捉：传过去的对象可修改，同理可用 '&'来实现全部传递。

int main()
{int a = 0,  b = 0,  c = 0;auto func = [&a, &b ](){a++;b++;cout << a << " " << b << endl;};func();return 0;
}

int main()
{int a = 0,  b = 0,  c = 0;auto func = [&](){a++;b++;cout << a << " " << b << " " << c << endl;};func();return 0;
}

混合捕捉：就是可以混在一起传，如果要传'='或'&'时它必须在第一位，如果想把某对象的传递方式改一下就在'='或'&'后面加即可（表述的可能不是太清晰可以看看下面的例子）。

全局变量和静态变量是不需要捕捉的，传值捕捉之所以不能被修改是因为被const修饰在后面加上mutable即可修改（修改不影响对象在作用域之外的值）。

int d;int main()
{int a = 0,  b = 0,  c = 0;auto func = [=]() mutable{c++;cout << "lambda里的：" << c << endl;cout << "d：" << d << endl;};func();cout << "lambda外的：" << c << endl;return 0;
}

lambda的底层原理其实就是创建了一个仿函数。

function

function的存在意义就是把不同类型的可调用对象给统一起来。

std::function 是一个类模板，也是一个包装器。它在<functional>的头文件里。function的实例对象可以包装存储其他的可以调用对象，包括函数指针、仿函数、lambda 、bind等，存储的可调对象被称为目标。若不含目标，则称它为空。

语法形式如下：

function<返回值(参数列表)> 实例对象 = 可调用对象。

举例：

int Add(int a, int b)
{return a + b;
}class Functor
{
public:int operator()(int a, int b){return a + b;}
};auto func = [](int a, int b)->int{return a + b;};int main()
{function<int(int, int)> fun1 = Add;function<int(int, int)> fun2 = Functor();function<int(int, int)> fun3 = func;cout << fun1(1, 2) << endl;cout << fun2(1, 2) << endl;cout << fun3(1, 2) << endl;return 0;
}

注意：它在包装成员函数时会有所不同具体如下：

class A
{
public:A(int a, int b):_a(a),_b(b){}int Add(int a, int b){return a + b;}
private:int _a = 0;int _b = 0;
};int main()
{function<int(A*, int, int)> fun1 = &A::Add;function<int(A, int, int)> fun2 = &A::Add;A a(1, 2);cout << fun1(&a, 1, 2) << endl;cout << fun2(a, 1, 2) << endl;return 0;
}

大家可能会好奇为什么A也可以调用

在成员函数中function对象实际上是调用成员函数的函数指针来实现的。不要把A*来当做this指针因为this指针是不能显示调用的，这实际上是A通过成员访问运算符(.*)来进行调用，如果是A*的话就是先解引用在用.*来解决。如果是静态的成员函数就不写A。

bind

bind是一个函数模板，它也是一个可调用对象的包装器，可以把他看做一个函数适配器，bind 在<functional>头文件中。

它会对接收的可调用对象进行处理后返回一个可调用对象。bind就是用来调整参数个数和参数顺序。

bind的形式：auto newCallable = bind (callable,arg_list);

newCallable：返回的可调用对象。
callable：可调用对象。
arg_list：一个逗号分隔的参数列表，参数可能包含形如_n的名字，其中n是⼀个整数，这些参数是占位符，表示newCallable的参数，它们在placeholders的命名空间里。

调整参数个数

using placeholders::_1;
using placeholders::_2;int Add(int a, int b)
{return a + b;
}int main()
{auto fun = bind(Add, 1, _1);cout << fun(2);return 0;
}

当然了要真是这样用的话就确实没有啥意思，可以看看下面的写法：

using placeholders::_1;
using placeholders::_2;class A
{
public:int Add(int a, int b){return a + b;}
};int main()
{function<int(int, int)> fun = bind(&A::Add, A(), _1, _2);cout << fun(1, 2);return 0;
}

参数顺序

using placeholders::_1;
using placeholders::_2;int Sub(int a, int b)
{return a - b;
}int main()
{auto fun1 = bind(Sub, _1, _2);cout << fun1(1, 2) << endl;auto fun2 = bind(Sub, _2, _1);cout << fun2(1, 2) << endl;return 0;
}

lambda

表达式语法

捕捉列表

function

bind

调整参数个数

参数顺序

相关文章：