这段简单多线程代码为何引发内存损坏与段错误？

现象描述 #

这段代码在创建4个Worker实例且每个实例循环执行50000次Class()调用时，会稳定触发段错误，同时Class的cinteger变量会被意外篡改；但仅创建3个Worker或循环次数改为1000次时，问题不会出现。

问题代码 #

#include <vector>
#include <thread>
#include <array> // 原代码缺失该头文件，编译需补充

class Class {
public:
    Class(const int integer)
        : cinteger(integer), carray(std::array<int, 1>{0})
    {}

    const int operator()() 
    {
        carray[cinteger] = 0;
        return cinteger;
    }
    
private:
    int cinteger;
    std::array<int, 1> carray;
};

class Worker{
public:
    Worker( Class iClass): 
        wClass(iClass),
        thread(&Worker::thread_main, this)
    {}
    
    void join(){thread.join();}     

private:
    Class wClass;
    std::thread thread;
    void thread_main(){
        for(int i = 0; i < 50000; i++)
            wClass();
    }
};

int main()
{
    std::vector<Worker> Workers;
    for(int i = 0; i < 4; i++)
        Workers.emplace_back(Class(0));
    for(int i = 0; i < 4; i++)
        Workers[i].join();
    return 0;
}

问题根源 #

核心原因是**std::vector扩容导致Worker对象地址失效，线程持续访问无效内存引发内存破坏**：

• std::vector在元素数量超过当前容量时，会重新分配更大的内存块，将原有元素移动/拷贝到新内存后销毁旧对象。
• Worker的构造函数直接启动线程，线程绑定的是当前Worker对象的this指针（旧内存地址）。当vector扩容时，旧Worker对象被销毁，线程仍在访问旧地址的wClass成员，引发内存越界访问，破坏其他对象的内存空间（包括cinteger变量），最终触发段错误。

为什么3个Worker或循环1000次时没问题？

• 多数vector实现采用"翻倍扩容"策略，初始为空时，添加第1个元素容量变为1，第2个变为2，第3个变为4——此时添加第4个元素无需扩容？实际不同环境的vector初始容量逻辑可能有差异，若你的环境中vector初始仅能容纳3个元素，添加第4个时会触发扩容。而循环次数少的时候，线程可能在vector扩容完成前就执行完毕，不会访问到无效内存；3个Worker时vector无需扩容，对象地址稳定，线程访问有效内存，因此无问题。

解决方案 #

方案1：提前预留vector容量

在main中提前分配足够容量，避免后续扩容：

int main()
{
    std::vector<Worker> Workers;
    Workers.reserve(4); // 提前预留4个元素的容量，阻止扩容
    for(int i = 0; i < 4; i++)
        Workers.emplace_back(Class(0));
    for(int i = 0; i < 4; i++)
        Workers[i].join();
    return 0;
}

方案2：延迟线程启动

不在Worker构造函数中启动线程，而是提供单独的start方法，确保对象完全构造且不会被移动后再启动线程：

class Worker{
public:
    Worker(Class iClass): wClass(iClass) {}
    
    void start() {
        thread = std::thread(&Worker::thread_main, this);
    }
    
    void join(){thread.join();}     

private:
    Class wClass;
    std::thread thread;
    void thread_main(){
        for(int i = 0; i < 50000; i++)
            wClass();
    }
};

int main()
{
    std::vector<Worker> Workers;
    for(int i = 0; i < 4; i++)
        Workers.emplace_back(Class(0));
    for(auto& worker : Workers) {
        worker.start();
    }
    for(auto& worker : Workers) {
        worker.join();
    }
    return 0;
}

总结 #

问题本质是内存失效引发的非法访问，cinteger被修改是内存越界的副作用，段错误是最终结果。通过避免对象移动或延迟线程启动，就能彻底解决问题。

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