tnblog
首页
视频
资源
登录

堆和栈的解释和区别

4678人阅读 2020/4/30 11:33 总访问:448751 评论:0 收藏:0 手机
分类: 笔记


前言:hello 各位老铁们 咋们又见面了 我是你们熟悉的小付,

别人今天都去旅游了 要么就是耍去了 只有我一个苦逼的小白还在上班 今天我给大家分享的是 堆和栈的解释和区别。

程序内存放分区中的堆和桟

1).桟的简介

栈由系统自动分配释放,用于存放函数的参考值,局部变量等 ,其操作方法类似于数据结构中的栈,代码如下:

  1. int main()
  2. {
  3.     int b;              //栈
  4.     char s[] = "abc";   //栈
  5.     char *p2;           //栈
  6.  }

其中函数中定义的局部变量按照先后定义的顺序依次压入栈中,也就是说相邻变量的地址之间不会存在其它变量。栈的内存地址生长方向与堆相反,由高到底,所以后定义的变量地址低于先定义的变量,比如上面代码中变量s的地址小于变量b的地址,p2地址小于s的地址。栈中存储的数据的生命周期随着函数的执行完成而结束。


2).堆简介

堆由程序员分配,如果程序员不释放 程序结束后由os回收,分配方式类似于链表 ,如下代码:


  1. int main()
  2. {
  3.     //C中使用malloc函数申请
  4.     char* p1 = (char *)malloc(10);
  5.     cout<<(int*)p1<<endl;       //输出:00000000003BA0C0
  6.  
  7.     //使用free()释放
  8.     free(p1);
  9.  
  10.     //C++中用new运算符申请
  11.     char p2 = new char[10];
  12.     cout<<(int*)p2<<endl;       //输出:00000000003BA0C0
  13.  
  14.     //使用delete运算符释放
  15.     delete[] p2;
  16.  }

其中p1所指的10字节的内存空间与p2所指的10字节内存空间都是存在于堆的。堆的内存地址生长方向与栈相反,由低到高,但需要注意的是,后申请的内存空间并不一定在先申请的内存空间的后面,即p2指向的地址并不一定大于p1所指向的内存地址,原因是先申请的内存空间一旦被释放,后申请的内存空间则会利用先前被释放的内存,从而导致先后分配的内存空间在地址上不存在先后关系。堆中存储的数据的若未释放,则其生命周期等同于程序的生命周期


关于堆上内存空间的分配过程,首先应该知道操作系统有一个记录空闲内存地址的链表,当系统收到程序的申请时,会遍历该链表,寻 找第一个空间大于所申请空间的堆结点,然后将该结点从空闲结点链表中删除,并将该结点的空间分配给程序,另外,对于大多数系统,会在这块内存空间中的首地址处记录本次分配的大小,这样,代码中的delete语句才能正确的释放本内存空间。另外,由于找到的堆结点的大小不一定正好等于申请的大小,系统会自动的将多余的那部分重新放入空闲链表中


2.堆和栈的区别


堆与栈实际上是操作系统对进程占用的内存空间的两种管理方式,主要有如下几种区别: 

(1)管理方式不同。栈由操作系统自动分配释放,无需我们手动控制;堆的申请和释放工作由程序员控制,容易产生内存泄漏; 

(2)空间大小不同。每个进程拥有的栈的大小要远远小于堆的大小。理论上,程序员可申请的堆大小为虚拟内存的大小,进程栈的大小64bits的Windows默认1M,64bits的Linux默认10M; 

(3)生长方向不同。堆的生长方向向上,内存地址由低到高;栈的生长方向向下,内存地址由高到低。 

(4)分配方式不同。堆都是动态分配的,没有静态分配的堆。栈有2种分配方式:静态分配和动态分配。静态分配是由操作系统完成的,比如局部变量的分配。动态分配由alloca函数进行分配,但是栈的动态分配和堆是不同的,他的动态分配是由操作系统进行释放,无需我们手工实现。 

(5)分配效率不同。栈由操作系统自动分配,会在硬件层级对栈提供支持:分配专门的寄存器存放栈的地址,压栈出栈都有专门的指令执行,这就决定了栈的效率比较高。堆则是由C/C++提供的库函数或运算符来完成申请与管理,实现机制较为复杂,频繁的内存申请容易产生内存碎片。显然,堆的效率比栈要低得多。 

(6)存放内容不同。栈存放的内容,函数返回地址、相关参数、局部变量和寄存器内容等。当主函数调用另外一个函数的时候,要对当前函数执行断点进行保存,需要使用栈来实现,首先入栈的是主函数下一条语句的地址,即扩展指针寄存器的内存(eip),然后是当前栈帧的底部地址,即扩展基址指针寄存器内容(ebp),再然后是被调函数的实参等,一般情况下是按照从右向左的顺序入栈,之后是调用函数的局部变量,注意静态变量是存放在数据段或者BSS段,是不入栈的。出栈的顺序正好相反,最终栈顶指向主函数下一条语句的地址,主程序又从该地址开始执行。堆,一般情况堆顶使用一个字节的空间来存放堆的大小,而堆中具体存放内容是由程序员来填充的。


从以上可以看到,堆和栈相比,由于大量malloc()/free()或new/delete的使用,容易造成大量的内存碎片,并且可能引发用户态和核心态的切换,效率较低。栈相比于堆,在程序中应用较为广泛,最常见的是函数的调用过程由栈来实现,函数返回地址、EBP、实参和局部变量都采用栈的方式存放。虽然栈有众多的好处,但是由于和堆相比不是那么灵活,有时候分配大量的内存空间,主要还是用堆。


无论是堆还是栈,在内存使用时都要防止非法越界,越界导致的非法内存访问可能会摧毁程序的堆、栈数据,轻则导致程序运行处于不确定状态,获取不到预期结果,重则导致程序异常崩溃,这些都是我们编程时与内存打交道时应该注意的问题。


3.栈的简介


栈是一种运算受限的线性表,其限制是指只仅允许在表的一端进行插入和删除操作,这一端被称为栈顶(Top),相对地,把另一端称为栈底(Bottom)。把新元素放到栈顶元素的上面,使之成为新的栈顶元素称作进栈、入栈或压栈(Push);把栈顶元素删除,使其相邻的元素成为新的栈顶元素称作出栈或退栈(Pop)。这种受限的运算使栈拥有“先进后出”的特性(First In Last Out),简称FILO。


栈分顺序栈和链式栈两种。栈是一种线性结构,所以可以使用数组或链表(单向链表、双向链表或循环链表)作为底层数据结构。使用数组实现的栈叫做顺序栈,使用链表实现的栈叫做链式栈,二者的区别是顺序栈中的元素地址连续,链式栈中的元素地址不连续。

栈的结构示意图:

这里写图片描述

栈的基本操作包括初始化,判断栈是否为空,入栈, 出栈以及获取栈顶元素等。

下面是以顺序栈为例,

  1. #include<stdio.h>
  2. #include<malloc.h>
  3.  
  4. #define DataType int
  5. #define MAXSIZE 1024
  6. struct SeqStack
  7. {
  8.     DataType data[MAXSIZE];
  9.     int top;
  10. };
  11.  
  12. //栈初始化,成功返回栈对象指针,失败返回空指针NULL
  13. SeqStack* initSeqStack()
  14. {
  15.     SeqStack* s=(SeqStack*)malloc(sizeof(SeqStack));
  16.     if(!s)
  17.     {
  18.         printf("空间不足\n");
  19.         return NULL;
  20.     }
  21.     else
  22.     {
  23.         s->top = -1;
  24.         return s;
  25.     }
  26. }
  27.  
  28. //判断栈是否为空
  29. bool isEmptySeqStack(SeqStack* s)
  30. {
  31.     if (s->top == -1)
  32.         return true;
  33.     else
  34.         return false;
  35. }
  36.  
  37. //入栈,返回-1失败,0成功
  38. int pushSeqStack(SeqStack* s, DataType x)
  39. {
  40.     if(s->top == MAXSIZE-1)
  41.     {
  42.         return -1;//栈满不能入栈
  43.     }
  44.     else
  45.     {
  46.         s->top++;
  47.         s->data[s->top] = x;
  48.         return 0;
  49.     }
  50. }
  51.  
  52. //出栈,返回-1失败,0成功
  53. int popSeqStack(SeqStack* s, DataType* x)
  54. {
  55.     if(isEmptySeqStack(s))
  56.     {
  57.         return -1;//栈空不能出栈
  58.     }
  59.     else
  60.     {
  61.         *x = s->data[s->top];
  62.         s->top--;
  63.         return 0;
  64.     }
  65. }
  66.  
  67. //取栈顶元素,返回-1失败,0成功
  68. int topSeqStack(SeqStack* s,DataType* x)
  69. {
  70.     if (isEmptySeqStack(s))
  71.         return -1;//栈空
  72.     else
  73.     {
  74.         *x=s->data[s->top];
  75.         return 0;
  76.     }
  77. }
  78.  
  79. //打印栈中元素
  80. int printSeqStack(SeqStack* s)
  81. {
  82.     int i;
  83.     printf("当前栈中的元素:\n");
  84.     for (i = s->top; i >= 0; i--)
  85.         printf("%4d",s->data[i]);
  86.     printf("\n");
  87.     return 0;
  88. }
  89.  
  90. //test
  91. int main()
  92. {
  93.     SeqStack* seqStack=initSeqStack();
  94.     if(seqStack)
  95.     {
  96.         //将4、5、7分别入栈
  97.         pushSeqStack(seqStack,4);
  98.         pushSeqStack(seqStack,5);
  99.         pushSeqStack(seqStack,7);
  100.  
  101.         //打印栈内所有元素
  102.         printSeqStack(seqStack);
  103.  
  104.         //获取栈顶元素
  105.         DataType x=0;
  106.         int ret=topSeqStack(seqStack,&x);
  107.         if(0==ret)
  108.         {
  109.             printf("top element is %d\n",x);
  110.         }
  111.  
  112.         //将栈顶元素出栈
  113.         ret=popSeqStack(seqStack,&x);
  114.         if(0==ret)
  115.         {
  116.             printf("pop top element is %d\n",x);
  117.         }
  118.     }
  119.     return 0;
  120. }

运行上面的代码 ,输出结果为

当前栈中的元素:7 5 4

top element is 7 

pop element is 7


4.堆的简介

1).堆的性质

堆是一种常用的树形结构,是一种特殊的完全二叉树,当且仅当满足所有节点的值总是不大于或不小于其父节点的值的完全二叉树被称之为堆。堆的这一特性称之为堆序性。因此,在一个堆中,根节点是最大(或最小)节点。如果根节点最小,称之为小顶堆(或小根堆),如果根节点最大,称之为大顶堆(或大根堆)。堆的左右孩子没有大小的顺序。下面是一个小顶堆示例:

这里写图片描述

堆的存储一般用数据来存储堆 ,i结点的父节点下标就为 它的左右子节点下标分别为和,

如第0个节点左右子节点下标分别为1和2

这里写图片描述

2).堆的基本操作

1.堆的建立

以最小堆为例,如果以数组存储元素时,一个数组具有对应的树表示形式,但树并不满足

堆的条件 ,需要重新排列元素,可以建立"堆化"的树。

这里写图片描述

2.插入

将一个新元素插入到表尾,也就是数组末尾时,然后新构成二叉树不满足堆的性质,需要重新排列元素。如下演示了插入15时堆的调整

这里写图片描述

5.堆操作的实现

1).插入代码实现

每次插入都是将数据放在数组最后,可以发现从这个新数据的父节点到根节点必然为一个有序的数列,现在的任务是将这个新的数据插入到这个有序数据中,这就类似于直接插入排序中将一个数据并入到有序区间中 这是节点上浮调整 不难写出插入一个新数据时的堆的调整代码:


  1. //新加入i结点,其父结点为(i-1)/2
  2. //参数:a:数组,i:新插入元素在数组中的下标  
  3. void minHeapFixUp(int a[], int i)  
  4. {  
  5.     int j, temp;  
  6.     temp = a[i];  
  7.     j = (i-1)/2;      //父结点  
  8.     while (j >= 0 && i != 0)  
  9.     {  
  10.         if (a[j] <= temp)//如果父节点不大于新插入的元素,停止寻找  
  11.             break;  
  12.         a[i]=a[j];     //把较大的子结点往下移动,替换它的子结点  
  13.         i = j;  
  14.         j = (i-1)/2;  
  15.     }  
  16.     a[i] = temp;  
  17. }

此时 插入数据到最小堆时

  1. //在最小堆中加入新的数据data  
  2. //a:数组,index:插入的下标,
  3. void minHeapAddNumber(int a[], int index, int data)  
  4. {  
  5.     a[index] = data;  
  6.     minHeapFixUp(a, index);  
  7. }

2).删除代码

按定义,堆中每次都只能删除第0个数据。为了便于重建堆,实际的操作是将数组最后一个数据与根结点,然后再从根结点开始进行一次从上向下的调整。


调整时先在左右儿子结点中找最小的,如果父结点不大于这个最小的子结点说明不需要调整了,反之将最小的子节点换到父结点的位置。此时父节点实际上并不需要换到最小子节点的位置,因为这不是父节点的最终位置。但逻辑上父节点替换了最小的子节点,然后再考虑父节点对后面的结点的影响。相当于从根结点将一个数据的“下沉”过程。下面给出代码


  1. //a为数组,从index节点开始调整,len为节点总数 从0开始计算index节点的子节点为 2*index+12*index+2,len/2-1为最后一个非叶子节点  
  2. void minHeapFixDown(int a[],int len,int index)
  3. {
  4.     if(index>(len/2-1))//index为叶子节点不用调整
  5.         return;
  6.     int tmp=a[index];
  7.     lastIndex=index;
  8.     while(index<=len/2-1)        //当下沉到叶子节点时,就不用调整了
  9.     { 
  10.         if(a[2*index+1]<tmp)     //如果左子节点小于待调整节点
  11.         {
  12.             lastIndex = 2*index+1;
  13.         }
  14.         //如果存在右子节点且小于左子节点和待调整节点
  15.         if(2*index+2<len && a[2*index+2]<a[2*index+1]&& a[2*index+2]<tmp)
  16.         {
  17.             lastIndex=2*index+2;
  18.         }
  19.         //如果左右子节点有一个小于待调整节点,选择最小子节点进行上浮
  20.         if(lastIndex!=index
  21.         {  
  22.             a[index]=a[lastIndex];
  23.             index=lastIndex;
  24.         }
  25.         else break;             //否则待调整节点不用下沉调整
  26.     }
  27.     a[lastIndex]=tmp;           //将待调整节点放到最后的位置
  28. }

3).建堆

有了堆的插入和删除后  在考虑如何对一个数据进行堆化操作,要一个一个的从数组中取出来吗?当然不用  如下:

这里写图片描述

很明显,对叶子结点来说,可以认为它已经是一个合法的堆了即20,60, 65, 4, 49都分别是一个合法的堆。只要从A[4]=50开始向下调整就可以了。然后再取A[3]=30,A[2] = 17,A[1] = 12,A[0] = 9分别作一次向下调整操作就可以了。下图展示了这些步骤

这里写图片描述

  1. 堆化数组的代码

    1. //建立最小堆
    2. //a:数组,n:数组长度
    3. void makeMinHeap(int a[], int n)  
    4. {
    5. for (int i = n/2-1; i >= 0; i--)
    6. minHeapFixDown(a, i, n);
    7. }

    6.堆的具体应用--堆排序

  2. 堆排序(Heapsort)是堆的一个经典应用,有了上面对堆的了解,不难实现堆排序。由于堆也是用数组来存储的,故对数组进行堆化后,第一次将A[0]与A[n - 1]交换,再对A[0…n-2]重新恢复堆。第二次将A[0]与A[n – 2]交换,再对A[0…n - 3]重新恢复堆,重复这样的操作直到A[0]与A[1]交换。由于每次都是将最小的数据并入到后面的有序区间,故操作完成后整个数组就有序了。有点类似于直接选择排序。

  3. 操作如下:


    1. //array:待排序数组,len:数组长度
    2. void heapSort(int array[],int len)
    3. {
    4.     //建堆
    5.     makeMinHeap(array,len); 
    6.  
    7.     //最后一个叶子节点和根节点交换,并进行堆调整,交换次数为len-1次
    8.     for(int i=len-1;i>0;--i)
    9.     {
    10.         //最后一个叶子节点交换
    11.         array[i]=array[i]+array[0];
    12.         array[0]=array[i]-array[0];
    13.         array[i]=array[i]-array[0];
    14.  
    15.         //堆调整
    16.         minHeapFixDown(array0, len-i-1);  
    17.     }
    18. }
  4. 1).稳定性 

  5. 堆排序是不稳定排序。


  6. 2).堆排序性能分析 

  7. 由于每次重新恢复堆的时间复杂度为O(logN),共N - 1次堆调整操作,再加上前面建立堆时N / 2次向下调整,每次调整时间复杂度也为O(logN)。两次次操作时间相加还是O(N * logN)。故堆排序的时间复杂度为O(N * logN)。


  8. 最坏情况:如果待排序数组是有序的,仍然需要O(N * logN)复杂度的比较操作,只是少了移动的操作;


  9. 最好情况:如果待排序数组是逆序的,不仅需要O(N * logN)复杂度的比较操作,而且需要O(N * logN)复杂度的交换操作。总的时间复杂度还是O(N * logN)。


  10. 因此,堆排序和快速排序在效率上是差不多的,但是堆排序一般优于快速排序的重要一点是数据的初始分布情况对堆排序的效率没有大的影响。


      好了 本期就到这里了 喜欢的话点个关注吧!我们下期见

      感兴趣的小伙伴可以去访问下面这个链接哦

  1. 原文链接: https://blog.csdn.net/ZHUO_SIR/article/details/80998631


    开心时刻

    1.悟空和唐僧一起上某卫视非诚勿扰,悟空上台,

    24盏灯全灭。

    理由:1.没房没车只有一根破棍. 

    2.保镖职业危险.

    3.动不动打妖精,对女生不温柔. 

    4.坐过牢,曾被压五指山下500年。

    唐僧上台,哗!灯全亮。 

    理由:1.公务员; 

    2.皇上兄弟,

    后台最硬 

    3.精通梵文等外语 

    4.长得帅 

    5.最关键一点:有宝马!


    

    2.有一个人叫真咯嗦,娶了个老婆叫要你管,生了个儿子叫麻烦。

    有一天麻烦不见了!夫妻俩就去报案。

    警察问爸爸:请问这位男士你叫啥名字?

    爸爸说:真咯嗦。警察很生气,

    然后 他又问妈妈叫啥名字。

    妈妈说:要你管。

    警察非常生气的说:你们要干什么?

    夫妻俩说:找麻烦。

    

评价
每一段路程,都是一种领悟
排名
10
文章
100
粉丝
17
评论
34
ICP备案 :渝ICP备18016597号-1
网站信息:2018-2025TNBLOG.NET
技术交流:群号656732739
联系我们:contact@tnblog.net
公网安备:50010702506256
欢迎加群交流技术
时间可以治愈?如果时间也病了怎么办?