1.一个lambda表达式表示一个可调用的代码单元,可以理解为一个未命名的内联函数,但是与函数不同,lambda表达式可能定义在函数内部。其形式如下:
[capture list] (parameter list) -> return type { function body }
- capture list 是一个lambda所在函数中定义的局部变量的列表(通常为空)
- return type, parameter list 和 function body与任何普通函数一样,分别表示返回类型,参数列表和函数体
- lambda必须使用尾置返回
- 我们可以忽略参数列表和返回类型,但必须永远包含捕获列表和函数体
- 如果忽略返回类型,lambda会从函数体推断出返回类型。
- 如果lambda的函数体包含任何单一return语句之外的内容,且未指定返回类型,则返回void
- 捕获列表只用于局部非static变量,lambda可以直接使用局部static变量和在它所在函数之外声明的名字。
void test()
{
int i = ;
int j = ;
auto f = [i, j](int base) -> int { return base + i + j; }; // i,j必须在捕获列表里面,这里的返回类型int其实可以省略
int k = f(); // k的结果为3
}
2.当定义一个lambda时,编译器生成一个与lambda对应的新的(未命名的)类类型。默认情况下这个类都包含一个对于该lambda所捕获的变量的数据成员。类似任何普通类的数据成员,lambda的数据成员也在lambda对象创建时被初始化。
3.与传值参数类似,采用值捕获的前提是变量可以拷贝,与参数不同,被捕获的变量的值是在lambda创建时拷贝,而不是调用时拷贝。
void test()
{
int i = ;
auto f = [i] {return i + ; }; // 此时i的值就已经被拷贝了
int j = f();
}
4.当以引用方式捕获一个变量时,必须保证在lambda执行时变量是存在的。
void test()
{
int i = ;
auto f = [&i] {return ++i; };
int j = f(); // 此时i等于11
}
5.在捕获列表中写一个 &或= 可以告诉编译器我们想采用值捕获还是引用捕获,这种方法叫做隐式捕获。
void test()
{
int i = ;
auto f = [&] {return ++i; }; // 采用引用捕获
int j = f();
}
6.我们也可以混合使用值捕获或者引用捕获。当使用混合方式的时候,显示捕获的方式不可以与隐式捕获的方式相同。
void test()
{
int i = ;
int j = ;
auto f = [=, &i] {i++; return i + j; }; // i采用引用捕获,其他采用值捕获
int k = f(); // k等于20
}
7.默认情况下,对于一个值被拷贝的变量,lambda不会改变其值,如果我们希望能改变一个被捕获的变量的值,就必须在参数列表首加上mutable。
void test()
{
int i = ;
auto f = [i] (){return ++i; }; // 错误,不可以改变i的值
auto f1 = [i] () mutable {return ++i; }; // 正确
}
8.bind函数(头文件 functional中)可以看作一个通用的函数适配器,它接受一个可调用对象,生成一个新的可调用对象来适应原对象的参数列表。调用bind的一般形式为:
auto newCallable = bind(callable, arg);
void test(int i, int j)
{
std::cout << i - j << std::endl;
} auto test0 = std::bind(test, , );
test0(); // 结果4 auto test1 = std::bind(test, std::placeholders::_1, , std::placeholders::_2, ); // 错误,不可以这么写
test1(); auto test2 = std::bind(test, std::placeholders::_1, );
test2(); // 结果-4 auto test3 = std::bind(test, std::placeholders::_1, std::placeholders::_2);
test3(, ); // 结果1 auto test4 = std::bind(test, std::placeholders::_2, std::placeholders::_1); // 参数顺序可以重排
test4(, ); // 结果-1 auto test5 = std::bind(test, , std::placeholders::_1); // 注意这个占位符占的是test5()的参数位置,而不是test()的
test5(); // 结果-4
以上代码请注意命名空间,否则会和socket的bind函数产生二义性。
9.如果我们想绑定的参数无法拷贝,或者我们想引用时应该使用ref函数。
void test(int& i, int j)
{
std::cout << i - j << std::endl;
} int i = ;
auto test0 = std::bind(test, std::ref(i), );
test0(); // 结果4
10.编译器将lambda表达式翻译成一个未命名类的未命名对象,在lambda表达式产生的类中含有一个重载的函数调用运算符。这个类不含默认构造函数,赋值运算符及默认析构函数。它是否有默认的拷贝/移动构造函数则通常要视捕获的数据成员类型而定。
std::size_t i;
auto test_func = [i](const std::string& str) {return str.size() > i; }; class test
{
public:
test(std::size_t size) : m_size(size) {}
bool operator()(const std::string& str) { return str.size() > m_size; }; private:
std::size_t m_size;
};