lambda及参数绑定

2024-01-19 21:09:40

一、介绍

对于STL中的算法，我们都可以传递任何类别的可调用对象。对于一个对象或一个表达式，如果可以对其使用调用运算符，则称它为可调用的。即，如果e是一个可调用的表达式，则我们可以编写代码e(args)，其中args是一个逗号分隔的一个或多个参数的列表。

一般来说，有四种可调用对象：函数，函数指针，重载了函数调用运算符的类，以及lambda表达式。

二、lambda表达式

1. 概述

一个lambda表达式表示一个可调用的代码单元。我们可以将其理解为一个未命名的内联函数。与任何函数类似，一个lambda具有一个返回类型、一个参数列表和一个函数体。但与函数不同，lambda可能定义在函数内部。

一个lambda的通用表达式为：

    [capture list] (parameter list) -> return type { function body }

举个简单的例子：

auto f = [] { return 42; };

cout << f() << endl; //打印42

注意，忽略括号和参数列表相当于指定了空的参数列表。如果函数体为一条return语句，lambda将根据代码推断返回类型，否则类型为void。

2. 传递参数

如函数一样，lambda表达式也可以传递参数，但是不同的是，其不能有默认参数。一个lambda调用的实参数目永远要和形参数目相等。

举个例子：

auto f = [](const string &lhs, const string &rhs)

    { return a.size() < b.size(); };

3. 使用捕获列表

所谓捕获列表，则是中括号中的参数，表示使用其所在函数中的任何局部变量。捕获的方式有三种：值捕获，引用捕获和隐式捕获。

/*

 * 采用值捕获的前提是，变量可以拷贝，

 * 被捕获的变量是在创建时拷贝，而非在调用是拷贝。

 */

void fcn1() {

    size_t v1 = 42;

    auto f = [v1] { return v1; };

    v1 = 0;

    cout << f() << endl; //打印42

}

/*

 * 若想要改变捕获列表中的值，

 * 可以采用引用捕获，

 * 引用捕获保存的是引用。

 */

void fcn2() {

    size_t v1 = 42;

    auto f = [&v1] { return v1; };

    v1 = 0;

    cout << f() << endl; //打印0

}

/*

 * 隐式捕获可以让编译器根据lambda体中的代码来推断我们要使用哪些变量；

 * 在捕获列表中。

 * &表示采用引用捕获方式，

 * =则表示采用值捕获方式。

 */

 void biggies(vector<string> &words,

    vector<string>::size_type sz,

    ostream &os = cout,

    char c = ' ')

{

    //采用引用捕获

    for_each(words.begin(), words.end(),

        [&](const string &s) { os << s << c; });

    //os显示捕获，采用引用捕获方式；其他(c)为值捕获

    for_each(words.begin(), words.end(),

        [=, &os](const string &s) { os << s << c; });

}

4. 指定返回类型

如前面所提到，如果一个lambda体包含return之外的任何语句，则编译器假定此lambda返回void。

//错误示范：编译器推断为void，实际为int

auto f = [](int i) { if(i < 0) return -i; else return i; };

//可以修改为如下

auto f = [](int i) -> int { if(i < 0) return -i; else return i; };

三、参数绑定

所谓的参数绑定，其实使用bind函数实现的，其定义在functional中。可以将bind函数看作一个通用的函数适配器，它接受一个可调用对象，生成一个新的可调用对象。

一般的表示形式为：

    auto newCallable = bind(callable, arg_list);

callable本身是一个可调用对象，arg_list是一个逗号分隔的参数列表，对应给定的callable的参数。

arg_list中的参数可能包含如_n的名字，其定义在名叫placeholders的命名空间中，而这个命名空间本身定义在std命名空间中。_n为占位符。