【C++面试】Lambda表达式底层：编译器如何生成仿函数？
大家好，今天我们来聊聊 C++ 中的 Lambda 表达式。Lambda 在 C++11 中引入，它提供了一种定义匿名函数对象的便捷方式，常用于回调、泛型编程等场景。在面试中，Lambda 的实现原理常常被问到，因为它涉及了C++的很多核心概念。
我们来看一个 Lambda 表达式的例子：
auto lambda = [value = 10](int x) mutable {
++value;
return x + value;
};
这个Lambda表达式做了什么？
- 它捕获了一个变量 value，并将其初始化为 10（注意：这里使用了 C++14 的初始化捕获，因此不需要外部有一个变量 value）。
- 它接受一个参数 x，并且由于使用了 mutable，可以在函数体内修改捕获的 value。
- 返回 x 和 value 的和。
但是，Lambda 表达式真的只是一个函数吗？不，实际上它是一个仿函数（functor）。编译器会为我们生成一个匿名的类，这个类重载了 operator( )。上面的 Lambda 表达式大致会被编译器转换成下面的类：
class __lambda_1 {
int value; // 捕获的变量
public:
__lambda_1(int v) : value(v) {} // 构造函数，用捕获的值初始化成员变量
// 注意：因为 Lambda 使用了 mutable，所以 operator() 不是 const 的
int operator()(int x) {
++value; // 可以修改成员变量
return x + value;
}
};
然后，我们使用Lambda的地方，实际上是在使用这个类的对象：
auto lambda = __lambda_1(10);
这样，我们就明白了 Lambda 的底层实现。接下来，我们看看捕获列表：
- 如果是值捕获，则成员变量是值类型，在构造时拷贝。
- 如果是引用捕获，则成员变量是引用类型，注意引用的生命周期。
另外，如果没有使用mutable，则operator()是const的，不能修改值捕获的变量。
理解 Lambda 的仿函数本质，有助于我们更好地使用它，并理解其性能开销（比如，值捕获会涉及拷贝，引用捕获则要注意悬垂引用）。
总结一下，Lambda 表达式是 C++ 中非常强大的特性，但它的底层实现并不神秘。掌握其仿函数本质，能够帮助我们在面试中游刃有余，也能写出更高效的代码。
如果你有更多关于 Lambda 的问题，或者想了解其他 C++ 特性，欢迎在评论区留言
