C++中vector按引用传参引发double free或内存损坏问题求助

算力阿峰

2026-6-17

问题根源

不是程序重复清理按引用传递的vector——引用只是原vector的别名，原vector的生命周期完全由构造函数里的定义控制，只会被析构一次。错误的真正原因是nextState函数里越界访问了vector的内存，破坏了vector的内部堆结构，导致后续析构时触发"double free or corrupted"错误。

看nextState的逻辑：当i=0时，如果满足int(pos[i])>=N+type*(i-m+1)的条件，代码会执行pos[i-1]+=1，也就是访问pos[-1]，这属于严重的越界写操作，直接篡改了vector内存之外的堆数据，后续vector析构时就会触发内存错误。

修复方案

修改nextState的循环逻辑，当i=0且满足越界触发条件时，直接返回false，不再执行访问pos[i-1]的操作。修改后的代码如下：

bool nextState(std::vector<unsigned int> &pos, int N=0, int m=0, ParticleType type=boson)
{
    int i=m-1;
    pos[i]+=1;
    while(true)
    {
        std::cout<<i<<"\n";
        if(i<0)
            return false;
        if(int(pos[i])>=N+type*(i-m+1))
        {
            // 当i=0时，没有前一个元素可操作，直接返回false终止循环
            if(i == 0)
            {
                return false;
            }
            pos[i-1]+=1;
            for(int j=i;j<m;j++)
            {
                pos[j]=pos[j-1]+type;
            }
            i-=1;
        }
        else
            break;
    }
    return true;
}