函数指针
定义函数指针
return_type (*pfunc) (list of parameters);
auto* pfunc = 函数名;//add;
auto* pfunc = add;
auto pfunc = add;
auto* pfunc = &add;
//都可以
必须初始化函数指针,否则程序可能会崩溃
高阶函数的回调函数
回调函数:作为实参传送给另一个函数的函数
-
高阶函数:接受一个函数作为参数的函数
const T* find_optimum(const vector<T>& values,bool(*compare)(const T&, const T&)) {// 高阶函数:接受compare作为实参 回调函数:作为实参传递给函数 }
函数指针的类型别名
using 关键字
bool (*compare)(const T&,const T&); //删除名字,就是函数指针的类型 //bool(*) (const T&,const T&) using StringComparison = bool(*)(const string&,const string&); StringComparison string_comp;//定义一个函数指针
函数对象
函数对象就是可以像调用函数那样调用对象,创建函数对象的关键在于 重载函数调用运算符
class Less
{
public:
bool operator()(int a,int b) const;
};
lambda表达式
定义lambda表达式
[](int x,int y){return x<y;}
- 不指定返回类型和函数名称
- 始终以[]开头。作为引导,不可省略
- 紧跟着()是参数列表
对于没有参数的lambda表达式,可以省略参数列表()
[]{return ... ;}
本质上会由编译器生成一个类类型,默认情况下,lambda表达式将得到返回类型为auto的函数调用运算符()
指定返回类型的方式:在->后面指定返回值类型。
(如果不指定,编译器会自动推断,但是其局限性是每一个return都必须保证返回的类型是相同的)
[] (int x,int y)->bool{return x<y;}
lambda表达式的计算结果是一个函数对象-----lambda闭包
我们无法推断lambda闭包的类型,只有编译器可以
auto less{[] (int x,int y )->bool{return x<y;}};
向函数模板传送lambda表达式
auto less{ [] (int x ,int y ){return x<y;}};
cout<<"min element "<<*find_optimum(number,less)<<endl;
template<typename T,typename Comparison>
const T* find_optimum(const vector<T>& values,Comparison compare);
直接使用lambda表达式作为回调函数:
cout<<"min element "<<*find_optimum(numbers,[](int x ,int y){return x>y;})<<endl;
捕获子句
[] lambda表达式的[]中存放的标记
- = 按值捕获
- & 按引用捕获
捕获子句只能包含一种捕获子句,不能同时包含二者。
-
lambda表达式体可以按值访问封闭作用域中的所有自动变量,可使用,但不可修改存储在原始变量中的值。
编译器是通过将函数调用运算符operator()声明为const实现这种限制的。
按引用传递就是可以修改外层作用域内的所有值,尽管operator()被声明为const
-
捕获特定的变量:可以指定想要访问的封闭作用域中的特定变量。(多个使用逗号分割)
auto counter{[&count](int x,int y){++count;return x<y;}}; //可以修改count值,而其他都是按值传递,不可修改
捕获this指针:略
functional<> 模板
functional<>类型的对象,可以存储、复制、移动和调用任何类似函数的实体,无论是函数指针还是函数对象,lambda闭包。