一般来说,写程序就是与数据打交道,在程序执行某一功能的时候,将该功能所需要的数据加载到内存中,然后在执行完毕之后释放掉该内存。
数据在内存中的存放形式分为以下几种:
* 栈区(stack)-------由编译器自动分配和释放,该区域一般存放函数的参数值,局部变量的值等;
* 堆区(heap)-------一般由程序员分配,若程序员不释放,程序结束时可由操作系统回收;
* 寄存器区--------用来存放栈顶指针和指令指针;
* 全局区(静态区)(static)-------全局变量和静态变量的存储是放在一起的,初始化的全局变量和静态变量在一块区域,未初始化的全局变量和未初始化的静态变量在相邻的另一块区域。程序结束后由系统释放;
* 文字常量区-------- 常量字符串就是放在这里的,程序结束后由系统释放;
* 程序代码区-------存放函数体的二进制代码。
函数参数和局部变量存放在栈区,当函数运行结束并且返回后,所有的局部变量和参数都被系统自动清除掉,以释放它们所占用的内存空间。全局变量可以解决这个问题,但是全局变量永远不会被释放掉,而且由于全局变量可以被所有的类成员和函数所共享,因此它的值很容易被修改。
接下来,我们重点讨论栈和堆的区别。(很多的时候,我们把堆和栈放在一起说,比如堆栈,其实他们是不同的)
1、内存申请上的不同
(1)栈 由系统自动分配,例如,我们在函数中声明一个局部变量 in a ;,那么系统会自动在栈中为变量a开辟内存空间。
(2)堆 需要程序员自己申请,因此也需要指明变量的大小。
2、系统响应的不同
(1)栈 只要栈的剩余空间大于申请空间,系统就将为程序提供内存,否则,将提示overflow,就是栈溢出。
(2)堆 系统在收到程序申请空间的请求后,会遍历一个操作系统,用于记录内存空闲地址的链表,当找到一个空间大于所申请空间的堆结点后,就会将该结点从记录空闲地址的链表中删除,并将该结点的内存分配给程序,然后在这块内存区域的首地址记录分配的大小,这样我们在使用delete释放这块内存时,delete才能正确识别并删除这块内存上的所有变量。另外 ,我们申请的内存空间 与堆结点上的内存空间不一定相等,这样系统就会自动将堆结点上多余的那一部分内存空间回收到空闲链表中。
3、空间大小的不同
(1)栈 在windows下,栈是一块连续的内存区域,其大小数值是一个编译时就确定的常数,是系统预先根据栈顶位置和栈容量大小定义好的。假如你的数据申请的内存空间大于栈的空间,系统就会提示overflow,因此别指望栈能存储比较大的数据。
(2)堆 堆是不连续的内存区域。各块区域是由链表将它们串联起来,这些串联起来的不连续内存空间叫堆,它的上限是由系统中有效的虚拟内存在定的,因此,获得的空间比较大,获得的方式也比较灵活。
4.执行效率的不同
(1)栈 栈由系统自动分配,因此速度比较快,但是程序员不能对其进行操作。
(2)堆 堆是由程序员分配的内存,此速度一般比较慢,并且容易产生内存碎片,不过用起来比较方便。
5、执行函数时的不同
(1)栈 在函数调用时,第一个进栈的是被调用函数下一行的内存地址,其次是函数的参数,假如参数多余一个,那个次序是从右向左,最后是函数的局部变量。
由于栈的后进先出的原则,函数结束时正好与其相反,首先是局部变量,然后是参数,次序是从左到右,这时所有的变量都已出栈,指针自然指到第一个进栈的那个内存地址,也就是被调用函数下一行内存地址,然后程序根据这个地址跳转到下一行自动执行。另外,由于栈的先进后出原则,因此它永远不会产生内存碎片。
(2)堆 对是一大堆不连续的内存区域,在系统中由链表将它们串联起来,因此,在使用时由程序员来安排。它的机制很复杂,有时候为了分配一块合适的内存,程序员需要按照一定的算法在堆内充中搜索足够的可用空间的大小,如果没有满足空间的大小,那么就需要向系统申请增加一一部分内存空间,这样才有机会申请到足够大小的空间,然后将计算的数值返回。显然,堆 的计算效率要比栈低的多,而且也容易产生碎片。优点是可以存储较多的数据,并且一些细节可由程序员来安排。