首先我们举一个例子:
void f(){
int* p = new int[5];
}
这一条短短的语句就包含了堆和栈,看到new
,我们就应该首先想到,我们分配了一块堆内存,那么指针p
呢?他分配了的是一块栈内存,所以这句话的意思就是:在栈内存中存放了一个指向堆内存的指针p
。在程序会先确定在堆中分配内存的大小,然后调用operator new
分配内存,然后返回内存的首地址,放入栈中。
那么堆和栈到底有什么区别呢??我们从如下的几方面来考虑:
管理的方式不同
对于栈来说,是由编译器自动管理的,无需我们手动控制;对于堆来说,释放工作由程序员控制,容易产生memory leak
;
空间大小不同
一般来讲在32位系统下,堆内存可以达到4G的空间,从这个角度来看堆内存几乎是没有什么限制的。但对于栈来讲,一般都是有一定的空间大小的,例如,在我现在的ubuntu下面,默认大小是8MB,我们可以通过ulimit -a
来查看设置。
能否产生碎片不同
对于堆来说,频繁的new/delete
势必会造成内存空间的不连续,从而造成大量的碎片,使程序效率降低。对于栈来讲,则不会存在这个问题,因为栈是先进后出的,他们是如此的一一对应,以至于永远都不可能有一个内存块从栈中间弹出,在他弹出之前,在它上面的后进的栈内容已经被弹出,详细的可以参考数据结构,这里我们就不一一讨论了。
生长方向不同
对于堆来讲生长方向是向上的,也就是向着内存地址增加的方向;对于栈来讲,它的生长方向是向下的,是像这内存地址减小的方向增长。
分配方式不同
堆都是动态分配的,没有静态分配的堆。栈有两种分配方式:静态分配和动态分配。静态分配是编译器完成的,比如局部变量的分配。动态分配是由alloca
函数进行分配,但是栈的动态分配和堆是不同的,它的动态分配是由编译器进行释放,无需我们手工实现。
分配效率不同
栈是机器系统提供的数据结构,计算机会在底层对栈提供支持:分配专门的寄存器存放栈的地址,压栈出栈都有专门的指令执行,这就决定了栈的效率比较高。堆则是C/C++库函数提供的,它的机制是很复杂的,;例如为了分配一块内存,库函数会按照一定的算法在堆内存中搜索可用的的足够大小的空间,如果没有足够大小的空间(可能是由于内存碎片太多),就有可能调用系统功能来增加程序数据段的内存空间,这样就有机会分到足够大小的内存,然后进行返回。显然堆得效率比栈低得多。
总结:
从这里我们可以看到,堆和栈相比,由于大量的new/delete
的使用,容易造成内存碎片;由于没有专门的系统支持,效率很低;由于可能引发用户态和内核态的切换,内存的申请,代价变得昂贵。所以栈在程序中是应用最广泛的,就算是函数的调用也利用栈去完成,函数调用过程中的参数,返回地址,EBP和局部变量都采用栈的方式存放。
虽然栈有如此众多的好处,但是由于和堆相比不那么灵活,有时候分配大量的内存空间,还是运用堆好一些。
最后我们可以使用如下的比喻来看栈和堆得区别:
使用栈就像我们去饭馆吃饭,只管点菜(发出申请),付钱,和吃(使用),吃饱了就走,不必理会切菜,洗菜等准备工作和洗碗,刷锅等扫尾工作,他的好处快捷,但是自由度小。
使用堆就像自己动手做喜欢吃的菜肴,比较麻烦,但是比较符合自己的口味,而且自由度大。