是否好奇过这样一行代码，编译器背后做了什么？

auto lambda = { return x * 2;}，

今天聊聊带你深入 Lambda 的底层

一、Lambda回顾

auto lambda = { return x + 1;}，int result = lambda;

lambda我们很熟悉，是一个对象。怎么说呢，从完整语法来看。 mutable 异常说明->返回类型{函数体} 用法就不说说几个用的时候注意的点

1. 捕获变量时要注意悬垂引用问题

• 不要让捕获的引用在被销毁后还被使用！
• this指针捕获可能导致悬垂指针！

class MyClass {
int value = 42;public:
auto getLambda {
return { return value;}，// 捕获 this 指针
}
};MyClass* obj = new MyClass;其实，auto lambda = obj->getLambda;delete obj，lambda;// this 指针悬垂

C++17方法:*this捕获直接拷贝整个对象：

return { return value;}，// 拷贝整个对象

2. 每个lambda都是唯一的类型！

auto l1 = { return 1;}，auto l2 = { return 1;}，// l1 和 l2 是不同的类型！// typeid，= typeid

3. 转换为函数指针需要注意！

// 不捕获变量→可以转换
auto l1 = { return x + 1;}，int = l1;//正确
// 捕获变量→不能转换
int a = 42;auto l2 = { return a + x;
}，int = l2;//编译错误

记住: 函数指针=纯粹的代码地址。其实，一旦有成员变量，operator就会依赖对象状态，无法转换为函数指针。:lambda本质是对象+代码，而函数指针只能表示纯代码。 解决方式的观点是，使用std::function

4. 注意和的区别!

class MyClass {
int value = 42;老实说，public:
void test {
auto lambda = { //看起来按值捕获
std:的观点是。
cout < value < std::endl;
        };
        //等价于 ,实际上捕获的是this指针!
        //等价于this->value
}
};

5. Lambda递归调用需要特殊处理!

// 错误写法:无法递归调用自己
auto factorial = {
return n <= 0 ? 1 : n * factorial; // 错误:factorial 未定义!
};

// C++20正确写法:显式对象参数 auto factorial = 至于->std:，size_t{ if return;else return n * self;话说回来，} //调用时传入自身作为参数

//或者使用Y组合子模板实现自动递归调用!template...))> struct Ycombinatorresult{ using resulttype=TReturn;private: TFunc func;public: template explicit Ycombinatorresult: func) {} template resulttype operator{ resulttype res= func,std::forward...);static_cast;//避免未使用警告. return res;}

operator resulttype{ resulttype res= func);staticcast;//避免未使用警告. return res;} }，

template...))> //Y组合子实现自动递归调用. Ycombinatorresultcombinatorresult< TFunc,TArgs...

//示例使用的观点是。//定义阶乘函数,通过Y组合子实现递归调用. constexpr auto factorial = ycombinator(->sizet{ ifreturn;else return num * self;})，cout

//或者更简单地使用第三方库如Boost.Hana提供的fixedpoint组合子.

//定义阶乘函数,通过fix组合子实现递归调用. constexpr auto factorialfixedpoint= ->sizet{ if{return;不过，} else{return num*self;} }，

//创建固定点闭包进行计算. constexpr auto factorial= boosthanafix;