C++内存管理学习堆和栈

一 C++内存管理

　　内存分配方式

　　在讲解内存分配之前首先要了解程序在内存中都有什么区域然后在详细分析各种分配方式

　　 C语言和C++内存分配区

　　下面的三张图图图是一种比较详细的C语言的内存区域分法图是典型的C++内存分布图简单易懂;以下内存分配图区别就是图和则分为初始化和未初始化静态变量区图中是全局变量区

　　C语言(图和图)(由地地址到高地址)

　　a)正文段用来存放程序执行代码通常正文段是可共享的另外正文段常常是只读的一次防止程序由于意外修改其自身

　　b)初始化数据段用来存放程序中已初始化的全局变量数据段属于静态内存分配

　　c)非初始化数据段通常称为BSS段 用来存放程序中未初始化的全局变量BSS是英文Block Started by Symbol(由符号开始的块)的简称BSS段属于静态内存分配 在程序开始执行之前内核将此段中的数据初始化为或者空指针

　　d)堆堆是用于存放进程运行中被动态分配的内存段它的大小并不固定可动态扩张或缩减当进程调用malloc/free等函数分配内存时新分配的内存就被动态添加到堆上 (堆被扩张)/释放的内存从堆中被剔除(堆被缩减)

　　e)栈栈又称堆栈 存放程序的局部变量(但不包括static声明的变量static意味着在数据段中存放变量)除此以外在函数被调用时栈用来传递参数和返回值由于栈 的先进先出特点所以栈特别方便用来保存/恢复调用现场

　　图 典型C语言内存分布区域 (UNIX高级环境编程) 图 典型C语言内存分布区域

　　C++(图)

　　根据《C++内存管理技术内幕》一书在C++中内存分成个区他们分别是堆栈自由存续区全局/静态存续区常量存续区

　　a) 栈内存由编译器在需要时自动分配和释放通常用来存储局部变量和函数参数栈运算分配内置于处理器的指令集中效率很高但是分配的内存容量有限

　　b) 堆内存使用new进行分配使用delete或delete[]释放如果未能对内存进行正确的释放会造成内存泄漏但在程序结束时会由操作系统自动回收

　　c) 自由存储区使用malloc进行分配使用free进行回收和堆类似

　　d) 全局/静态存储区全局变量和静态变量被分配到同一块内存中C语言中区分初始化和未初始化的C++中不再区分了

　　e) 常量存储区存储常量不允许被修改

　　这里在一些资料中是这样定义C++内存分配的可编程内存在基本上分为这样的几大部分静态存储区堆区和栈区他们的功能不同对他们使用方式也就不同

　　a)静态存储区内存在程序编译的时候就已经分配好这块内存在程序的整个运行期间都存在它主要存放静态数据全局数据和常量

　　b)栈区在执行函数时函数内局部变量的存储单元都可以在栈上创建函数执行结束时这些存储单元自动被释放栈内存分配运算内置于处理器的指令集中效率很高但是分配的内存容量有限

　　c)堆区亦称动态内存分配程序在运行的时候用malloc或new申请任意大小的内存程序员自己负责在适当的时候用free或delete释放内存动态内存的生存期可以由我们决定如果我们不释放内存程序将在最后才释放掉动态内存 但是良好的编程习惯是如果某动态内存不再使用需要将其释放掉否则我们认为发生了内存泄漏现象

　　图 典型c++内存区域

　　总结C++与C语言的内存分配存在一些不同但是整体上就一致的不会影响程序分析就C++而言不管是部分还是大部分只是分法不一致将部分中的c)d)e)合在一起则是部分的a)

　　区分堆栈静态存储区

　　我们通过代码段来看看对这样的三部分内存需要怎样的操作和不同以及应该注意怎样的地方

　　()静态存储区与栈区

　　: char* p = Hello World; : char a[] = Hello World; : p[] = A; : a[] = A; : char* p = Hello World;

　　这个程序是有错误的错误发生在p[] = A这行代码处为什么呢是变量p和变量数组a都存在于栈区的(任何临时变量都是处于栈区的包括在main()函数中定义的变量)但是数据Hello World和数据Hello World是存储于不同的区域的

　　因为数据Hello World存在于数组中所以此数据存储于栈区对它修改是没有任何问题的因为指针变量p仅仅能够存储某个存储空间的地址数据Hello World为字符串常量所以存储在静态存储区虽然通过p[]可以访问到静态存储区中的第三个数据单元即字符l所在的存储的单元但是因为数据Hello World为字符串常量不可以改变所以在程序运行时会报告内存错误并且如果此时对p和p输出的时候会发现p和p里面保存的地址是完全相同的换句话说在数据区只保留一份相同的数据

　　()堆与栈区别

　　我们先通过例子来直观的说明下栈与堆内存的区别然后在细致分析例子中的情况

　　例子

　　: void fn(){ : int* p = new int[]; : }

　　看到new首先应该想到我们分配了一块堆内存那么指针p呢? 它分配的是一块栈内存所以这句话的意思就是:在栈内存中存放了一个指向一块堆内存的指针p程序会先确定在堆中分配内存的大小然后调用operator new分配内存然后返回这块内存的首地址放入栈中

　　注意这里为了简单并没有释放内存那么该怎么去释放呢? 是deletep么? NO错了应该是delete [ ] p这是告诉编译器:删除的是一个数组

　　例子

　　: int a = ; //全局初始化区 : char *p; //全局未初始化区 : main() : { : int b; //栈 : char s[] = abc; //栈 : char *p; //栈 : char *p = ; // \在常量区p在栈上 : static int c =; //全局(静态)初始化区 : p = (char *)malloc(); : p = (char *)malloc(); : //分配得来得和字节的区域就在堆区 : strcpy(p ); //\放在常量区编译器可能会将它与p所指向的优化成一个地方 : }

　　例子

　　: char* f() : { : char* p = NULL; : char a; : p = &a; : return p; : } : char* f() : { : char* p = NULL: : p =(char*) new char[]; : return p; : }

　　这两个函数都是将某个存储空间的地址返回二者有何区别呢?f()函数虽然返回的是一个存储空间但是此空间为临时空间也就是说此空间只有短暂的生命周期它的生命周期在函数f()调用结束时也就失去了它的生命价值即此空间被释放掉所以当调用f()函数时如果程序中有下面的语句

　　: char* p ; : p = f(); : *p = a;

　　此时编译并不会报告错误但是在程序运行时会发生异常错误因为你对不应该操作的内存(即已经释放掉的存储空间)进行了操作但是相比之下f()函数不会有任何问题因为new这个命令是在堆中申请存储空间一旦申请成功除非你将其delete或者程序终结这块内存将一直存在也可以这样理解堆内存是共享单元能够被多个函数共同访问如果你需要有多个数据返回却苦无办法堆内存将是一个很好的选择但是一定要避免下面的事情发生

　　: void f() : { : … : char * p; : p = (char*)new char[]; : … : }

　　这个程序做了一件很无意义并且会带来很大危害的事情因为虽然申请了堆内存p保存了堆内存的首地址但是此变量是临时变量当函数调用结束时p变量消失也就是说再也没有变量存储这块堆内存的首地址我们将永远无法再使用那块堆内存了但是这块堆内存却一直标识被你所使用(因为没有到程序结束你也没有将其delete所以这块堆内存一直被标识拥有者是当前您的程序)进而其他进程或程序无法使用我们将这种不道德的流氓行为(我们不用却也不让别人使用)称为内存泄漏(memory leak)

　　综合以上两个例子我们可以总结一下堆与栈到底有哪些区别!

　　()管理方式不同

　　对于栈来讲是由编译器自动管理无需我们手工控制;对于堆来说释放工作由程序员控制容易产生memory leak

　　()空间大小不同

　　空间大小:一般来讲在位系统下堆内存可以达到G的空间从这个角度来看堆内存几乎是没有什么限制的但是对于栈来讲一般都是有一定的空间大小的例如在VC下面默认的栈空间大小是M可以修改这个值

　　()能否产生碎片不同

　　对于堆来讲频繁的new/delete势必会造成内存空间的不连续从而造成大量的碎片使程序效率降低对于栈来讲则不会存在这个问题因为栈是先进后出的队列他们是如此的一一对应以至于永远都不可能有一个内存块从栈中间弹出在他弹出之前在他上面的后进的栈内容已经被弹出

　　()生长方向不同

　　对于堆来讲生长方向是向上的也就是向着内存地址增加的方向;对于栈来讲它的生长方向是向下的是向着内存地址减小的方向增长(详见第一部分的内存分配图)

　　()分配方式不同

　　堆都是动态分配的没有静态分配的堆栈有种分配方式静态分配和动态分配静态分配是编译器完成的比如局部变量的分配动态分配由alloca函数进行分配但是栈的动态分配和堆是不同的他的动态分配是由编译器进行释放无需我们手工实现

　　()分配效率不同

　　栈是机器系统提供的数据结构计算机会在底层对栈提供支持分配专门的寄存器存放栈的地址压栈出栈都有专门的指令执行这就决定了栈的效率比较高堆则是C/C++函数库提供的它的机制是很复杂的例如为了分配一块内存库函数会按照一定的算法(具体的算法可以参考数据结构/操作系统)在堆内存中搜索可用的足够大小的空间如果没有足够大小的空间(可能是由于内存碎片太多)就有可能调用系统功能去增加程序数据段的内存空间这样就有机会分到足够大小的内存然后进行返回显然堆的效率比栈要低得多

　　总结

　　堆和栈相比由于大量new/delete的使用容易造成大量的内存碎片;由于没有专门的系统支持效率很低;由于可能引发用户态和核心态的切换内存的申请代价变得更加昂贵所以栈在程序中是应用最广泛的就算是函数的调用也利用栈去完成函数调用过程中的参数返回地址EBP和局部变量都采用栈的方式存放所以推荐大家尽量用栈而不是用堆

　　虽然栈有如此众多的好处但是由于和堆相比不是那么灵活有时候分配大量的内存空间还是用堆好一些

　　无论是堆还是栈都要防止越界现象的发生(除非你是故意使其越界)因为越界的结果要么是程序崩溃要么是摧毁程序的堆栈结构产生以想不到的结果就算是在你的程序运行过程中没有发生上面的问题你还是要小心说不定什么时候就崩掉那时候debug可是相当困难