C++创建std::thread多线程时触发0xC0000005访问违例异常

在C++中编写多线程逻辑优化程序运行效率时，Visual Studio抛出如下访问冲突异常：
0x5E25E44B (ucrtbased.dll) (Lampenproblem.exe 中)处引发异常: 0xC0000005: 读取位置 0xDDDDDDCD 时发生访问冲突。
异常触发位置为线程创建语句vt.push_back(thread(...))所在的代码段，原有代码逻辑为参数n从minN遍历到maxN，每次同时启动4个线程执行计算任务，结果汇总输出后再处理下一组任务。
原有核心问题代码段如下：

vector<unsigned long long> OptimierteForm1(unsigned long long n, unsigned long long maxK, unsigned long long testLampen, double wechselfaktorN)
{...}

int main()
{
    unsigned long long                  AnzThreads = 4;
    // ... 省略其余变量定义
    while (true)
    {
        cin >> prüfart;
        switch (prüfart)
        {
        // ... 省略其余分支
        case 3:
            // ... 省略参数输入逻辑
            for (size_t i = minN; i <= maxN; i+=AnzThreads)
            {
                vector<thread>  vt;
                vector<vector<unsigned long long>> PositiveRunden;
                for (size_t j = 0; j < AnzThreads; j++)
                {
                    unsigned long long n = i + j;
                    // 异常触发位置
                    vt.push_back(thread([n, maxK, testLampen, wechselfaktorN, &PositiveRunden] {
                        PositiveRunden.push_back(OptimierteForm1(n, maxK, testLampen, wechselfaktorN)); 
                    }));
                }
                for (auto& j : vt)
                {
                    j.join();
                }
                cout << VectorenZuString(i, PositiveRunden);
            }
            break;
        // ... 省略其余分支
        }
    }
}

触发访问违规的核心原因是多线程无同步并发写入非线程安全容器，导致内存结构损坏：

• std::vector本身不提供内置的线程安全保证，多个线程同时对同一个PositiveRunden对象执行push_back属于典型的数据竞争。push_back操作会修改vector内部的元素计数、存储指针，当剩余容量不足时还会释放原有存储块、申请新内存块、拷贝所有旧元素到新位置，多个线程交叉执行这些逻辑时，会直接破坏vector的内部内存结构，访问到已经被释放的无效内存。
• 报错中的地址0xDDDDDDCD是Visual Studio Debug模式下对已释放堆内存的填充标记（所有已释放的堆内存会被填充0xDD字节），完全符合并发写vector导致内存踩踏、访问已释放内存的特征。
• 代码还存在次要边界问题：外层循环按AnzThreads步长递增时没有做边界校验，当maxN - minN + 1不能被线程数整除时，内层循环计算出的n值会超过maxN，产生无意义计算，极端场景下也可能触发越界问题。

方案1：预分配结果空间按索引写入（无锁，性能最优） #

由于每次启动的线程数固定，可提前为结果vector预分配足够的存储空间，每个线程仅写入自己专属的索引位置，从根源上避免并发写入冲突，不需要加锁，性能损耗为0。
修改后对应代码段：

for (size_t i = minN; i <= maxN; i+=AnzThreads)
{
    vector<thread>  vt;
    vector<vector<unsigned long long>> PositiveRunden;
    // 提前预分配对应线程数的存储空间，避免运行中扩容
    PositiveRunden.resize(AnzThreads);
    for (size_t j = 0; j < AnzThreads; j++)
    {
        unsigned long long n = i + j;
        // 增加边界判断，避免n超出maxN范围
        if (n > maxN) break;
        // 捕获索引j，每个线程仅写入自己对应的位置，无并发冲突
        vt.push_back(thread([n, maxK, testLampen, wechselfaktorN, &PositiveRunden, j] {
            PositiveRunden[j] = OptimierteForm1(n, maxK, testLampen, wechselfaktorN); 
        }));
    }
    for (auto& th : vt)
    {
        th.join();
    }
    cout << VectorenZuString(i, PositiveRunden);
}

方案2：互斥锁保护写入操作（适配动态线程数场景） #

如果后续需要动态调整每次启动的线程数，可以用std::mutex对结果写入操作加锁，保证同一时间只有一个线程能修改vector。注意仅在写入结果的环节加锁，不要把计算过程包含在锁范围内，否则线程会串行执行，完全失去多线程加速效果。
使用该方案需要先引入头文件<mutex>，修改后对应代码段：

for (size_t i = minN; i <= maxN; i+=AnzThreads)
{
    vector<thread>  vt;
    vector<vector<unsigned long long>> PositiveRunden;
    mutex res_mutex; // 用于保护结果vector写入的互斥锁
    for (size_t j = 0; j < AnzThreads; j++)
    {
        unsigned long long n = i + j;
        if (n > maxN) break;
        vt.push_back(thread([n, maxK, testLampen, wechselfaktorN, &PositiveRunden, &res_mutex] {
            // 先在当前线程内完成计算，不持有锁
            auto calc_res = OptimierteForm1(n, maxK, testLampen, wechselfaktorN);
            // 仅在写入结果时加锁，锁会在作用域结束自动释放
            lock_guard<mutex> lock(res_mutex);
            PositiveRunden.push_back(calc_res);
        }));
    }
    for (auto& th : vt)
    {
        th.join();
    }
    cout << VectorenZuString(i, PositiveRunden);
}

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