文章目录
简 述: 详解 Lambda
表达式的基础使用,原理,和使用场景。
![](https://i-blog.csdnimg.cn/blog_migrate/b1e0f486af2acea40f7dd999aacf53b7.png)
本文初发于 “偕臧的小站”,同步转载于此。
Lambda 表达式
语法
[captures](params) mutable exception -> ret {body}
• 捕获表列,捕获当前作用域内的变量,用逗号分隔
• 参数列表
• 可选限定符,可选,mutable允许在函数体内改变按值捕获的变量
• 异常说明符,可选,noexcept
• 返回值类型,可选,多数情况可由编译器自动推导
• 函数体
捕获列表
-
[var] 按值捕获,将 var 按值复制到 Lambda 作用域,默认不能修改
-
[&var] 按引用捕获,将 var 的引用捕获到 Lambda 作用域
-
[=] 捕获所在作用域内全部变量的值
-
[&] 捕获所在作用域内全部变量的引用
-
[this] 在类的成员函数中,捕获当前的 this 指针
初始化捕获
初始化捕获:C++14 支持,在捕获变量时,可以
• 指定闭包类中数据成员的名字
• 直接捕获表达式的结果
![](https://i-blog.csdnimg.cn/blog_migrate/4e6680eed849e45c290c158c43af0827.png)
原理
• Lambda 表达式:
右值表达式,是源码的一部分,指示编译器生成对应的闭包类和闭包对象
• 闭包类(clousure class):
由编译器根据 Lambda 表达式在编译时生成,每个 Lambda 表达式都有对应的唯一闭包类
• 闭包(clousure):
在运行时创建的闭包类实例,对 Lambda 表达式的调用也就是调用这个实例的成员函数
![](https://i-blog.csdnimg.cn/blog_migrate/cf25f94220825a53f36592c7dd177887.png)
分为 闭包类 – 捕获变量
和 闭包类 – 不捕获变量
两种;
Lambda 表达式的使用场景
• 创建变量存储 Lambda 表达式
• Lambda 表达式作为函数参数
• Lambda 表达式作为类数据成员
• 使用容器存储 Lambda 表达式
使用 auto 和 decltype 定义 Lambda 表达式变量
auto f = [y](int x){return x * y;}; //右值初始化
auto f2 = f; //拷贝
decltype(f) f3 = std::move(f); //移动
auto&& f4 = [y](int x){return x * y;}; //右值引用绑定右值
const auto& f5 = f4; //常量左值绑定
使用模板将 Lambda 表达式类型参数化
template<typename F>
void fn1(F fn){
fn();
}
template<typename F>
void fn2(F&& fn){
fn(std::forward<F>(fn));
}
std::function 函数对象包装器
-
可以包装任意类型函数对象
-
函数签名相同的对象可以存储为同一类型
std::function<float(float, float)> fn; fn = std::fmaxf; //普通函数 fn = std::multiplies<float>(); //仿函数 fn = [x](float a, float b){return a*b;}; // Lambda
性能问题
-
动态分配内存
-
虚函数调用
指针
-
悬挂引用
auto make_lambda(int i){ return [&](int v){ return v + i; }; } auto l = make_lambda(10); l(20);
-
悬挂指针
void Object::f(int i){ std::thread([=]{ print(i + m_value); }).detach(); }