在C++中,内存分成5个区,分别是堆、栈、自由存储区、全局/静态存储区和常量存储区、程序存储区。
栈是那些由编译器在需要的时候分配,不需要的时候自动清除的变量存储区;里面的变量通常是局部变量和函数参数等。
堆就是那些由new分配的内存块,他们的释放编译器不用去管,由应用程序去控制,一般一个new就要对应一个delete。
自由存储区是那些由malloc等分配的内存块,与堆十分相似,不过它是用free来结束自己的生命周期。
全局/静态存储区被分配到同一块内存中,在C语言中,全局变量又分为初始化的和未初始化的(初始化的全局变量和静态变量在一块区域,未初始化的全局变量与静态变量在相邻的一块区域;未被初始化的对象存储区可以通过void*来访问和操纵,程序结束后由系统自行释放),在C++中没有这个区分,他们共同占用同一块内存区。
常量存储区是一块比较特殊的存储区,里面存储常量,不允许修改。
堆和栈的区别:
管理方式:栈是由编译器自动管理,无需手工控制;堆释放工作是由程序员控制;
空间大小:在32位系统下,堆内存可以达到4G的空间,可以说是没有什么限制;栈有大小限制,不同编译器大小不同,可以在编译器中修改设置。
碎片问题:对于堆来说,频繁的new/delete会造成内存空间的不连续,造成大量的碎片,降低程序的效率;栈不会存在这个问题。
生长方向:堆的生长方向是向上的,即向着内存地址增加的方向;栈的生长方向是向下的,向着内存地址减小的方向。
分配方式:堆是动态分配的;栈有两种分配方式:静态分配和动态分配。静态分配是由编译器完成的,如局部变量的分配;动态分配是用alloca函数进行分配,由编译器进行释放,这点与堆不同。
分配效率:栈是机器系统提供的数据结构,计算机会在底层对栈提供支持,如:分配专门的寄存器存放栈的地址,压栈出栈有专门的指令,这些决定了栈的效率比较高。堆则是C/C++函数库提供的,它的机制比较复杂,例如为了分配一块内存,库函数会按照一定的算法在对内存中搜索可用的足够大小的空间,如果没有足够大小的空间,就有可能调用系统功能区去增加程序数据段的内存空间,这样就有机会分到足够大小的内存,然后返回。显然,堆的效率比栈要低的多。