Lambda函数无需声明变量？及std::generate配合Lambda工作原理解析

嘿，我来帮你拆解这两个Lambda相关的问题～

一、Lambda函数中是否无需声明变量？ #

其实不是哦，Lambda函数并非完全不需要声明变量，得看具体场景：

• 如果是使用外部变量：你可以通过捕获列表（Lambda开头的[]部分）获取外部作用域的变量，不用在Lambda内部重新声明，但这本质是“捕获”而非“无需声明”。比如int x = 10; auto func = [x]() { return x; };，这里x是外部变量，通过值捕获在Lambda里使用。
• 如果是Lambda内部专属变量：你还是得在Lambda的函数体里声明，比如auto func = []() { int temp = 5; return temp * 2; };，这里temp就是Lambda内部声明的变量，没有它就没法用。
• 另外还有C++11引入的初始化捕获（就是你第二个问题里用到的[i=0]），这是在捕获列表里直接初始化一个Lambda内部的变量，相当于在Lambda里声明并初始化了i，本质也是一种“声明”的方式，只是写法更简洁。

二、解释这段std::generate代码的工作原理 #

先把代码贴出来方便分析：

vector<int> v(10);
std::generate(v.begin(), v.end(), [i=0]() mutable { return i++; });

这段代码能正常工作，核心在于Lambda的捕获规则和mutable关键字，一步步拆解：

1. vector初始化：vector<int> v(10); 创建了一个包含10个int类型元素的vector，初始值是默认的0，但接下来会被std::generate覆盖。
2. std::generate的作用：这个算法会遍历从v.begin()到v.end()的每个元素，用第三个参数（函数对象，这里就是Lambda）的返回值替换每个元素的值。简单说就是连续调用10次Lambda，每次的返回值依次赋值给v的第1到第10个元素。
3. Lambda的关键细节：
   • [i=0]：这是C++11的初始化捕获，意思是在Lambda内部创建一个名为i的变量，初始值设为0，这个i是Lambda独有的内部变量，不是从外部捕获的。
   • mutable：默认情况下，Lambda的operator()是const成员函数，也就是说Lambda内部不能修改捕获（包括初始化捕获）的变量。加了mutable之后，就解除了这个限制，允许我们修改i的值。
   • return i++;：每次调用Lambda时，先返回当前i的值，然后i自增1。第一次调用返回0，i变成1；第二次返回1，i变成2……直到第10次返回9，i变成10。
4. 最终结果：执行完这段代码后，vector v里的元素就是{0, 1, 2, 3, 4, 5, 6, 7, 8, 9}，刚好填充了10个连续递增的整数。

内容的提问来源于stack exchange，提问作者Deqing