分段故障：阵列/矢量的小​​输入为11

Question

在stackoverflow上有几个与此错误相关的问题，我知道它与数组的超额内存使用量有关，或者当使用指针时（我用向量试过这个）但是使用一个小数组，它仍然显示这个错误。之前的相同代码运行正常（用于合并排序数组）。

我的意见如下：

  

5

     

9 8 1 2 4

输出：

  

分段错误：11

#include<iostream>
#include<vector>
using namespace std;

void merge(vector <int> ar, int l, int m, int r){
    int n1 = m-l+1;
    int n2 = r-m;

    int L[n1];
    int R[n2];

    for (int i = 0; i < n1; ++i)
    {
        L[i]=ar[l+i];
    }

    for (int j = 0; j < n2; ++j)
    {
        R[j]=ar[m+j+1];
    }

    int i,j;
    i = j = 0;
    int k = i;


    while(i<n1 && j<n2){

        if (L[i]<R[j])
        {
            ar[k]=L[i];
            i++;
        }
        else if (R[j]<L[i])
        {
            ar[k]=R[j];
            j++;
        }
        k++;

    }

    while(i<n1){
        ar[k]=L[i];
        i++;
        k++;
    }
    while(j<n2){
        ar[k]=R[j];
        j++;
        k++;
    }


}


void mergesort(vector <int> ar, int l, int r){
    int m;
    m=r+(l-r)/2;
    if (l<r)
    {


        mergesort(ar, l, m);
        mergesort(ar, m+1, r);
        merge(ar, l, m, r);
    }
}

void print(vector <int> ar, int size){

    for (int i = 0; i < size; ++i)
    {
        cout<<ar[i]<< " ";
    }


}

int main()
{
    int n;
    cin>>n;
    vector <int> ar;

    for (int i = 0; i < n; ++i)
    {
        cin>>ar[i];
    }

    print(ar,n);
    mergesort(ar, 0, n-1);
    print(ar, n);



    return 0;
}

Answer 1

问题部分在于m=r+(l-r)/2。当l为0且r为1时，(l-r)/2为0。这使m等于1，l等于0，r等于1且mergesort(ar, l, m);调用相同到它刚刚完成的那个。在您出现分段错误之前，堆栈会无限制地增长。修复此问题的一种方法是，当l和r之间的差异低于某个阈值时，合并列表会使代码更有效。或者，当您到l和r相差一点时，您可以交换这两个元素，如下所示：

if (l - r <= 1) {
    int temp = ar[l];
    ar[l] = ar[r];
    ar[r] = temp;
    return;
}