堆和栈是我们经常在Code中使用的存储区,但是两者有着一些区别,主要从这几个方面体现:
1. 管理方式
栈:是由编译器自动管理的,我们使用完之后它就会自己回收。最好的体现就是函数调用,比如。
int* Test()
{
int arr[2000];
arr[1999] = 1;
//return &arr[1999];
}
void main()
{
int *p = Test();
//*p == 1;
}
在我们调用Test()结束后,在Test()中的arr[2000]就会被自动回收失效。
这里故意写了arr[1999] = 0,因为在栈回退后,编译器可能选择将回退的栈空间置为某个值。
但大部分情况下不会有这个动作,因为我们已知失效了,不会再用它了,等待下次覆盖就行了。
堆:是我们在Code中自己手动申请和释放的,因此经常会忘记释放而造成内存泄漏。以ptmalloc为例,它内部管理是一个数组(数组每一项都是一个固定大小的链表),这里简单描述了一下,没详写。
2. 空间大小
栈:win下的vs默认一般1M或者2M大小,是可调的。linux下,我的默认大小8M。
3.增长方向(32位虚拟地址空间)
堆:一般来说,32位系统下,申请到的内存可达4G,当然这是理论数据,可以认为几乎不受限制。
栈是从高地址向低地址增长,和堆是相向的。但在栈中出现的数组,数组元素又是从低址值开始排布的。
4.分配方式,使用效率
a.栈多用于我们函数之间的调用,只有少量的数据存储。而不像堆可以申请到大量内存,且可以不释放。堆在使用时向操作系统申请会发生用户态到内核态的切换,非常的耗时。因此适用于大量数据的存储,而不适用于函数的调用上。
b.栈是由编译器自动管理的,且访问时是通过专有寄存器ebp+偏移量来定位访问数据。寄存器比较靠近cpu,因此访问是非常快捷的。而堆先是对我们申请的内存大小进行调整,再通过合适策略定位到具体内存位置,返回给我们使用。从这点上看,栈的速度比堆快多了。
c.栈上的内存都是连续的,而堆呈现给我们是连续的,但实质上并不一定连续,它是以一个双向链表来组织不同块内存的。
d.同时,大量的申请会产生内存碎片,当某块内存被我们划分的非常小时,那么这块内存被使用到的概率就非常低,形成碎片。