一、内存泄露
1、内存泄露的定义
一般我们常说的内存泄漏是指堆内存的泄漏。堆内存是指程序从堆中分配的，大小任意的（内存块的大小可以在程序运行期决定），使用完后必须显示释放的内存。
应用程序一般使用malloc，realloc，new等函数从堆中分配到一块内存，使用完后，程序必须负责相应的调用free或delete释放该内存块，否则，这块内存就不能被再次使用，我们就说这块内存泄漏了。以下这段小程序演示了堆内存发生泄漏的情形：
1 void MyFunction(int nSize) 2 { 3 char* p= new char[nSize]; 4 if( !GetStringFrom( p, nSize ) ){ 5 MessageBox(“Error”); 6 return; 7 } 8 9 …//using the string pointed by p; 10 delete p; 11 }
当函数GetStringFrom()返回零的时候，指针p指向的内存就不会被释放。这是一种常见的发生内存泄漏的情形。程序在入口处分配内存，在出口处释放内存，但是c函数可以在任何地方退出，所以一旦有某个出口处没有释放应该释放的内存，就会发生内存泄漏。
广义的说，内存泄漏不仅仅包含堆内存的泄漏，还包含系统资源的泄漏(resource leak)，比如核心态HANDLE，GDI Object，SOCKET， Interface等，从根本上说这些由操作系统分配的对象也消耗内存，如果这些对象发生泄漏最终也会导致内存的泄漏。而且，某些对象消耗的是核心态内存，这些对象严重泄漏时会导致整个操作系统不稳定。所以相比之下，系统资源的泄漏比堆内存的泄漏更为严重。
GDI Object的泄漏是一种常见的资源泄漏：
1 void CMyView::OnPaint( CDC* pDC ) 2 { 3 CBitmap bmp; 4 CBitmap* pOldBmp; 5 bmp.LoadBitmap(IDB_MYBMP); 6 pOldBmp = pDC->SelectObject( &bmp ); 7 8 9 if( Something() ){ 10 return; 11 } 12 pDC->SelectObject( pOldBmp ); 13 return; 14 }
当函数Something()返回非零的时候，程序在退出前没有把pOldBmp选回pDC中，这会导致pOldBmp指向的HBITMAP对象发生泄漏。这个程序如果长时间的运行，可能会导致整个系统花屏。这种问题在Win9x下比较容易暴露出来，因为Win9x的GDI堆比Win2k或NT的要小很多。
2、内存泄漏后果：
只发生一次的小的内存泄漏可能不会被注意，但泄漏大量内存的程序或泄漏日益增多的程序可能会表现出各种征兆：从性能不良（并且逐渐降低）到内存完全用尽。
更糟的是，泄漏的程序可能会用掉太多内存，以致另一个程序失败，而使用户无从查找问题的真正根源。 此外，即使无害的内存泄漏也可能是其他问题的征兆。内存泄漏会因为减少可用内存的数量从而降低计算机的性能。
内存泄漏也会导致较严重的后果：
- 程序运行后置之不理，并且随着时间的流失消耗越来越多的内存（比如服务器上的后台任务，尤其是嵌入式系统中的后台任务，这些任务可能被运行后很多年内都置之不理）；
- 新的内存被频繁地分配，比如当显示电脑游戏或动画视频画面时；
- 程序能够请求未被释放的内存（比如共享内存），甚至是在程序终止的时候；
- 泄漏在操作系统内部发生；
- 泄漏在系统关键驱动中发生；
- 内存非常有限，比如在嵌入式系统或便携设备中；
- 当运行于一个终止时内存并不自动释放的操作系统（比如AmigaOS）之上，而且一旦丢失只能通过重启来恢复。
3、内存泄漏的几种情况：
（1）在类的构造函数和析构函数中没有匹配的调用new和delete函数
两种情况下会出现这种内存泄露：
一是在堆里创建了对象占用了内存，但是没有显示地释放对象占用的内存；
二是在类的构造函数中动态的分配了内存，但是在析构函数中没有释放内存或者没有正确的释放内存；
（2）没有正确的清除嵌套对象的指针
（3）在释放对象数组时在delete中没有使用方括号
方括号是告诉编译器这个指针指向的是一个对象数组，同时也告诉编译器正确的对象地址值病调用对象的析构函数，如果没有方括号，那么这个指针就被默认为只指向一个对象，对象数组中的其他对象的析构函数就不会被调用，结果造成了内存泄露。
如果在方括号中间放了一个比对象数组大小还大的数字，那么编译器就会调用无效对象（内存溢出）的析构函数，会造成堆的奔溃。如果方括号中间的数字值比对象数组的大小小的话，编译器就不能调用足够多个析构函数，结果会造成内存泄露。
释放单个对象、单个基本数据类型的变量或者是基本数据类型的数组不需要大小参数，释放定义了析构函数的对象数组才需要大小参数。
（4）指向对象的指针数组不等同于对象数组
对象数组是指：数组中存放的是对象，只需要delete []p，即可调用对象数组中的每个对象的析构函数释放空间；
指向对象的指针数组是指：数组中存放的是指向对象的指针，不仅要释放每个对象的空间，还要释放每个指针的空间，delete []p只是释放了每个指针，但是并没有释放对象的空间，正确的做法，是通过一个循环，将每个对象释放了，然后再把指针释放了；
（5） 缺少拷贝构造函数
两次释放相同的内存是一种错误的做法，同时可能会造成堆的崩溃。按值传递会调用（拷贝）构造函数，引用传递不会调用。
在C++中，如果没有定义拷贝构造函数，那么编译器就会调用默认的拷贝构造函数，会逐个成员拷贝的方式来复制数据成员，如果是以逐个成员拷贝的方式来复制指针被定义为将一个变量的地址赋给另一个变量。
这种隐式的指针复制结果就是两个对象拥有指向同一个动态分配的内存空间的指针：
当释放第一个对象的时候，它的析构函数就会释放与该对象有关的动态分配的内存空间。而释放第二个对象的时候，它的析构函数会释放相同的内存，这样是错误的。所以，如果一个类里面有指针成员变量，要么必须显示的写拷贝构造函数和重载赋值运算符，要么禁用拷贝构造函数和重载赋值运算符
（6） 缺少重载赋值运算符
这种问题跟上述问题类似，也是逐个成员拷贝的方式复制对象，如果这个类的大小是可变的，那么结果就是造成内存泄露；
（7） 关于nonmodifying运算符重载的常见迷思
a. 返回栈上对象的引用或者指针（也即返回局部对象的引用或者指针）。导致最后返回的是一个空引用或者空指针，因此变成野指针；
b. 返回内部静态对象的引用；
c. 返回一个泄露内存的动态分配的对象。导致内存泄露，并且无法回收；
解决这一类问题的办法是重载运算符函数的返回值不是类型的引用，二应该是类型的返回值，即不是 int&而是int；
（8）没有将基类的析构函数定义为虚函数
当基类指针指向子类对象时，如果基类的析构函数不是virtual，那么子类的析构函数将不会被调用，子类的资源没有正确是释放，因此造成内存泄露；
4、野指针
野指针：指向被释放的或者访问受限内存的指针。
造成野指针的原因：
1. 指针变量没有被初始化（如果值不定，可以初始化为NULL）；
2. 指针被free或者delete后，没有置为NULL, free和delete只是把指针所指向的内存给释放掉，并没有把指针本身干掉，此时指针指向的是“垃圾”内存。释放后的指针应该被置为NULL；
3. 指针操作超越了变量的作用范围，比如返回指向栈内存的指针就是野指针；
内存泄露总结：
其实内存泄漏的原因可以概括为：调用了malloc/new等内存申请的操作，但缺少了对应的free/delete释放操作，总之就是，malloc/new比free/delete的数量多。内存用完，不再使用要及时释放。
