内存泄漏(Memory Leak)是指程序中己动态分配的堆内存由于某种原因程序未释放或无法释放,造成系统内存的浪费,导致程序运行速度减慢甚至系统崩溃等严重后果。
程序中所用的数据分别存放在静态存储区和动态存储区中。静态存储区数据在程序的开始就分配好内存区,在整个程序执行过程中它们所占的存储单元是固定的,在程序结束时就释放,因此静态存储区数据一般为全局变量。
动态存储区数据则是在程序执行过程中根据需要动态分配和动态释放的存储单元,动态存储区数据有三类函数形参变量、局部变量和函数调用时的现场保护与返回地址。由于动态存储变量可以根据函数调用的需要,动态地分配和释放存储空间,大大提高了内存的使用效率,使得动态存储变量在程序中被广泛使用。
开发人员进行程序开发的过程使用动态存储变量时,不可避免地面对内存管理的问题。程序中动态分配的存储空间,在程序执行完毕后需要进行释放。没有释放动态分配的存储空间而造成内存泄漏,是使用动态存储变量的主要问题。一般情况下,开发人员使用系统提供的内存管理基本函数,如malloc、recalloc、calloc、free等,完成动态存储变量存储空间的分配和释放。但是,当开发程序中使用动态存储变量较多和频繁使用函数调用时,就会经常发生内存管理错误,例如:
-
分配一个内存块并使用其中未经初始化的内容;
-
释放一个内存块,但继续引用其中的内容;
-
子函数中分配的内存空间在主函数出现异常中断时、或主函数对子函数返回的信息使用结束时,没有对分配的内存进行释放;
-
程序实现过程中分配的临时内存在程序结束时,没有释放临时内存。内存错误一般是不可再现的,开发人员不易在程序调试和测试阶段发现,即使花费了很多精力和时间,也无法彻底消除。
内存泄露/资源泄露现象:
1.malloc/new动态申请的内存,忘记写free/delete,导致内存泄露。
2.调用默认的拷贝构造函数和赋值运算符重载函数,发生浅拷贝现象,导致内存泄露。如下图:
3.在构造函数中new,但是程序运行过程中抛出异常,未调用析构函数。
4.构造函数中调用new开辟内存后,抛出异常。对象未构造成功,不会调用析构函数,导致new的堆内存没有释放。
5.T *p = new T[100]; delete p;
new数组,可是只析构了第一个对象,只释放了第一个对象占用的内存。
6.基类指针指向堆上派生类的对象,若基类的析构函数不是虚析构函数,delete指针时,不能释放派生类的资源。
7.删除链表节点时,指针移动顺序出错,导致节点丢失,发生内存泄露。
8.智能指针的交叉引用(后面会专门有一个博客总结智能指针)
9.接口本身要求用户使用后,自己释放内存。例:
char * p = CString::GetBuffer();
CString::ReleaseBuffer(p);
10.打开的fd(文件描述符)没有close。或者中途return或抛出异常,导致close代码未执行,导致fd泄露。
11.僵尸进程。父进程不处理僵尸进程导致进程内核栈泄露。内核栈大小为两个页面(8K)。
***内存溢出与内存泄漏的区别:
内存溢出 out of memory,是指程序在申请内存时,没有足够的内存空间供其使用,出现out of memory;比如申请了一个整型数据的大小,但给它存了长整型才能存下的数,那就是内存溢出。
内存泄露 memory leak,是指程序在申请内存后,无法释放已申请的内存空间,一次内存泄露危害可以忽略,但内存泄露堆积后果很严重,无论多少内存,迟早会被占光。
memory leak会最终会导致out of memory!