C++学习笔记->堆和栈的区别以及各个区的划分

在C++中，内存分成5个区，分别是堆、栈、自由存储区、全局/静态存储区和常量存储区、程序存储区。

栈是那些由编译器在需要的时候分配，不需要的时候自动清除的变量存储区；里面的变量通常是局部变量和函数参数等。

堆就是那些由new分配的内存块，他们的释放编译器不用去管，由应用程序去控制，一般一个new就要对应一个delete。

自由存储区是那些由malloc等分配的内存块，与堆十分相似，不过它是用free来结束自己的生命周期。

全局/静态存储区被分配到同一块内存中，在C语言中，全局变量又分为初始化的和未初始化的（初始化的全局变量和静态变量在一块区域，未初始化的全局变量与静态变量在相邻的一块区域；未被初始化的对象存储区可以通过void*来访问和操纵，程序结束后由系统自行释放），在C++中没有这个区分，他们共同占用同一块内存区。

常量存储区是一块比较特殊的存储区，里面存储常量，不允许修改。

堆和栈的区别：

管理方式：栈是由编译器自动管理，无需手工控制；堆释放工作是由程序员控制；

空间大小：在32位系统下，堆内存可以达到4G的空间，可以说是没有什么限制；栈有大小限制，不同编译器大小不同，可以在编译器中修改设置。

碎片问题：对于堆来说，频繁的new/delete会造成内存空间的不连续，造成大量的碎片，降低程序的效率；栈不会存在这个问题。

生长方向：堆的生长方向是向上的，即向着内存地址增加的方向；栈的生长方向是向下的，向着内存地址减小的方向。

分配方式：堆是动态分配的；栈有两种分配方式：静态分配和动态分配。静态分配是由编译器完成的，如局部变量的分配；动态分配是用alloca函数进行分配，由编译器进行释放，这点与堆不同。

分配效率：栈是机器系统提供的数据结构，计算机会在底层对栈提供支持，如：分配专门的寄存器存放栈的地址，压栈出栈有专门的指令，这些决定了栈的效率比较高。堆则是C/C++函数库提供的，它的机制比较复杂，例如为了分配一块内存，库函数会按照一定的算法在对内存中搜索可用的足够大小的空间，如果没有足够大小的空间，就有可能调用系统功能区去增加程序数据段的内存空间，这样就有机会分到足够大小的内存，然后返回。显然，堆的效率比栈要低的多。