函数指针

函数指针

定义函数指针

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表达式的[]中存放的标记

• = 按值捕获
• & 按引用捕获

捕获子句只能包含一种捕获子句，不能同时包含二者。

1. lambda表达式体可以按值访问封闭作用域中的所有自动变量，可使用，但不可修改存储在原始变量中的值。

   编译器是通过将函数调用运算符operator()声明为const实现这种限制的。

2. 按引用传递就是可以修改外层作用域内的所有值，尽管operator()被声明为const

3. 捕获特定的变量：可以指定想要访问的封闭作用域中的特定变量。（多个使用逗号分割）

   auto counter{[&count](int x,int y){++count;return x<y;}};
   //可以修改count值，而其他都是按值传递，不可修改
   

4. 捕获this指针：略

functional<> 模板

functional<>类型的对象，可以存储、复制、移动和调用任何类似函数的实体，无论是函数指针还是函数对象，lambda闭包。