程序在保持有条件分配的内存的指针上使用free时有时会崩溃

Question

这是一个简单的代码，只是为了说明我正在处理的问题。

如果给出n = 3的输入并输入数组元素为1,2,3和m = 0，则程序崩溃！

为什么会这样？由于涉及free（）的最后2行而发生此问题

现在我的问题是为什么会发生这件事？如果删除自由语句，具有相同输入的相同程序不会崩溃...

请解释一下。这是条件内存分配导致上述问题发生吗？如果是这样，为什么？

据我所知，我没有得到任何提示，而且free（NULL）不会导致任何错误，所以问题是当我试图释放其中一个已分配的内存时，尤其是我输入中的内容...

这是我的代码：

#include <stdlib.h>
#include <stdio.h>

int main()
{
    int n;
    scanf("%d",&n);
    printf("Enter elements into the array\n");
    int arr[n];
    int i;
    for(i=0;i<n;)
    {
        printf("arr[%d] ? ",i);
        scanf("%d",(arr+i));
        if(i>0)
        {
            if(arr[i]<arr[i-1])
                continue;
            else
                i++;
        }
        else
            i++;
    }
    int m;
    printf("m ? ");
    scanf("%d",&m);
    int j,flag=0;
    int *positive,*negative;
    int start,end;
    start=arr[0];
    end=arr[n-1];
    if(start<0 && end<0)
    {
        negative=(int*)calloc((start*-1),sizeof(int));
        positive=0;
    }
    else if(start<0 && end>0)
    {
        negative=(int*)calloc((start*-1),sizeof(int));
        positive=(int*)calloc(end,sizeof(int));
    }
    else if(start>=0 && end >0)
    {
        negative=0;
        positive=(int*)calloc(end,sizeof(int));  
    }
    int p=0;
    for(i=0;i<n;i++)
    {
        if(i==0)
            p=-1;
        else
            p=i;
        if(arr[i]<0)
            negative[-arr[i]]=p;
        else
            positive[arr[i]]=p;
    }
    for(i=0;i<n;i++)
    {
        int num=m-arr[i];
        if(negative!=0 && num<0 && negative[-num])
        {
            if(negative[-num]==-1)
                j=0;
            else
                j=negative[-num];
            printf("%d %d\n",i,j);
            flag=1;
        }
        else if(positive!=0 && num>=0 && positive[num])
        {
            if(positive[num]==-1)
                j=0;
            else
                j=positive[num];
            printf("%d %d\n",i,j);
            flag=1;
        }
    }
    if(flag==0)
        printf("NO SUCH i j EXISTS\n");
    if(positive) free(positive);
    if(negative) free(negative);
    return 0;
}

这是我的输出：

Answer 1

根据您提到的输入值，您首先要做：

end=arr[n-1];
positive=(int*)calloc(end,sizeof(int));

鉴于n == 3和arr[n-1] == 3，你为int分配了3个positives数组。

在下一个循环中，您最终会执行以下操作：

positive[arr[i]]=p;

试图覆盖positive[3]（当i == n-1）。这是试图超出数组的范围（有效索引范围从0到2），并且undefined behavior随之发生，这意味着在该点之后可能发生任何事情，包括崩溃。