局部变量存放在栈中,全局变量和静态数据存放在静态存储区,在二进制代码中,显示在数据段.对于一个进程的内存空间而言,可以在逻辑上分为3个部分:代码区,静态数据区和动态数据区。动态数据区一般就是堆(heap)栈(stack)。
堆和栈是两种不同的动态数据区,栈是一种线性结构,而堆是一种链式结构。
堆:首先应该知道操作系统有一个记录空闲内存地址的链表,当系统收到程序的申请时,会遍历该链表,寻找第一个空间大于所申请空间的堆结点,然后将该结点从空闲结点链表中删除,并将该结点的空间分配给程序,另外,对于大多数系统,会在这块内存空间中的首地址处记录本次分配的大小,这样,代码中的delete语句才能正确的释放本内存空间。另外,由于找到的堆结点的大小不一定正好等于申请的大小,系统会自动的将多余的那部分重新放入空闲链表中。
堆的大小受限于计算机系统中有效的虚拟内存。由此可见,堆获得的空间比较灵活,也比较大。栈是由系统自动分配,速度较快。但程序员无法控制。 堆是由new分配的内存,一般速度比较慢,而且容易产生内存碎片,不过用起来最方便。
栈由编译器自动分配释放
堆由程序员分配释放
静态存储区由系统释放