std::generate_n并行执行时，带初始化捕获的可变lambda线程安全问题

首先，先看并行执行的逻辑：当你用std::execution::par作为std::generate_n的执行策略时，标准库会把生成1000个元素的任务拆分到多个线程里并行处理。每个线程都会调用你写的lambda来生成元素值。

你的lambda用了初始化捕获[i = 0]() mutable { return i++; }，这里的i是lambda对象的成员变量。mutable关键字允许lambda的operator()修改这个成员，但核心问题来了：

• 如果多个线程同时调用同一个lambda实例的operator()（标准库并没有保证会给每个线程单独复制一份lambda），那多个线程就会毫无同步地对同一个i执行i++操作。i++可不是原子操作——它包含读取当前值、递增、写回新值三个独立步骤，多个线程的操作交织在一起会直接触发数据竞争，这属于C++标准里明确的未定义行为：程序可能崩溃、生成乱七八糟的数值，甚至出现完全不可预测的表现。
• 退一万步说，就算标准库给每个线程都复制了一份lambda（每个线程有自己独立的i），那每个线程生成的数值都会从0开始递增，最终vector里会充满重复的数，完全达不到你想要的生成0到999连续序列的目的。

那如果想在并行环境下生成连续整数序列，正确的姿势是什么？应该彻底避开共享可变计数器，转而利用每个元素在vector里的位置来计算值。比如这样写：

#include<vector>
#include <algorithm>
#include <execution>

int main() {
 std::vector<int> v(1000);
 // 并行处理每个元素，根据自身位置赋值
 std::for_each(std::execution::par, v.begin(), v.end(), [&v](int& elem) {
     const auto index = &elem - v.data();
     elem = index;
 });
 return 0;
}

这种方式下，每个线程只处理自己负责的元素，不需要共享任何可变状态，既线程安全，又能准确生成0到999的连续序列。

总结一下：你原始代码里共享计数器i的设计，在并行场景下既不安全，也得不到预期结果。并行算法的核心设计原则之一就是尽量避免共享可变状态，改用基于任务本地的计算逻辑。

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