分段错误（核心转储）。堆排序

Question

我有这个在 Windows 上运行的堆排序程序，但在 ubuntu 14.04 上出现分段错误。

#include<stdio.h>
#define N 5000
int arr[N];
int size=N-1;
int parent(int i)
{
    return (i-1)/2;
}
 int lchild(int i)
{
     return 2*i+1;
}
int rchild(int i)
{
     return 2*i+2;
}
void maxheapify(int arr[],int i)
{
     int larg,t;
     int l=lchild(i);
     int r=rchild(i);
     if(arr[l]>arr[i] && l<=size)
         larg=l;
     else
         larg=i;
     if(arr[r]>arr[larg] && r<=size)
         larg=r;
         if(larg!=i)
         {
             t=arr[larg];
             arr[larg]=arr[i];
             arr[i]=t;
             maxheapify(arr,larg);
         }  
 }
 void buildmaxh(int arr[])
 {
     int i;
     for(i=N/2-1;i>=0;i--)
     maxheapify(arr,i);
 }
 void heapsort(int arr[])
 {
     int i,t;
     buildmaxh(arr);
     size--;
     for(i=N-1;i>0;i--,size--)
     {
         t=arr[0];
         arr[0]=arr[i];
         arr[i]=t;
         maxheapify(arr,0);
     }
}
int main()
{
     srand(time(NULL));
     int i;
     for( i=0;i<N;i++)
          arr[i]=rand()%101;
     heapsort(arr);
     printf("done\n\n");
     return 0;
 }

错误的来源是什么？如何消除此错误？

我尝试按照here 的说明使用 gdb 调试代码。但是我无法按照答案中的描述编译程序。我使用了命令 gcc myfile.c -ggdb myfile。 另外，使用命令： gcc myfile.c -o myfile 我成功编译了程序，这给了我分段错误。 我究竟做错了什么？ 谢谢。

Answer 1

当你检查哪个孩子是larg时，maxheapify出现错误：

if (arr[l]>arr[i] && l<=size) ...

你把支票弄错了。当您阅读arr[l] 时，l 可能超出范围，这是一个分段违规。如果您首先像这样检查边界：

if (l<=size  && arr[l]>arr[i]) ...

如果l 越界，则不会发生读取访问。 （请记住，&& 和 || 运算符会使评估短路：在a && b 中，如果a 已经是false，则永远不会检查b，因为整个表达式不可能为真。 )

之后的几行检查arr[r]也是如此。

另外，请包括<stdlib.h>和<time.h>；它们是您的随机化代码所必需的。