常见内存泄露与解决方案

常见内存泄露及解决方案 选自 ood 启示录 new delete array new arrray delete 匹配 case 1 在类的构造函数与析构函数中没有匹配地调用 new delete 解决方法 检查构造函数 在出现 new 的情况下 按相反的顺序在析构函数中匹配添加 delete 这里有两个意思 1 new 与 delete 匹配 array new array delete 匹配 2 出现在前面的 new 要比出现在后面的 new 后匹配各自的 delete 比如 构造函数 m x new int 10 m y new CString 则析构函数 delete m y delete m x 对于基本数据类型 用 delete 也可以 但为了统一 还 是用 array delete case 2 没有正确地清除嵌套的对象指针 也就是说 某个对象以引用语义 指针 了包含另一个对象 而不是以值的方式 解决办法 1 养成好的成对编码习惯 在外部函数分配的堆内存 不要在调用函数里面释放 而在外部函数内释放 2 尽量在构造函数里面分配内存 并注意不要犯 case 1 错误 3 在基类 继承类各管各的内存 具体解析见下面的 case 8 for example include include Melon 甜瓜 西瓜 class Melon public Melon char var Melon void print void protected private char m variety Melon Melon char var m variety new char strlen var 1 strcpy m variety var Melon Melon delete m variety void Melon print std cout I m a m variety Melon n Meal 进餐 class Meal public Meal char var char res Meal void print void protected private char m reastaurant 饭店 Melon m pMelon 方法 2 Melon m Melon Meal Meal char var char res 方法 2 改引用为值包含 m Melon var m pMelon new Melon var m reastaurant new char strlen res 1 strcpy m reastaurant res Meal Meal delete m reastaurant delete m pMelon 修改方法 1 void Meal print std cout print 方法 2 m Melon print int main cout 对于单个对象 单个基本类型 如 int double 等 的变量 我们肯定采用 delete 不会出错 2 对于基本类型数组 由于不需要大小参数 因而 采用 delete 或 array delete delete 均可以 如上例中 我便直接采用了 delete m variety 建议为了统一 采用 delete m variety 3 对于自定义的对象所组成的对象数组 则一定要采用 array delete 这样编译器才会在释放内存前调用 每个对象的析构函数 并调用 free 释放对象数组空间 for example include include class Point public Point int x 0 int y 0 char col Red Point protected private int m x int m y char m color Point Point int x int y char col m x x m y y m color new char strlen col 1 strcpy m color col Point Point delete m color std cout In the deconstuctor of Point n int main int argc char argv cout case 3 n Point p new Point 5 delete p 正确方法 delete p return 0 case 4 指向由指向对象的指针构成的数组不等同于与对象数组 也就是说 数组的基本类型是指向对象的指针 此时 是用 delete 还是 delete array delete 并不重要 关键是指针并没有析构函数 必须用户自己调用 delete 语句 for example Point 类和 case 3 一样 int main int argc char argv cout case 4 n Point pPtrAry new Point 10 循环为每个指针分配一个 Point 对象 int i 0 for i 10 i pPtrAry i new Point i i Green 下面语句并没有释放 10 个 Point 对象 释放的只是他们的指针所组成的数组 占用的 10 sizeof Point 空间 造成了内存泄露 180 10 sizeof Point 10 6 6 sizeof Green delete pPtrAry 正确的方法 for i 0 i 拷贝构造函数编译器会自动阻止自己构造自己 比如 Point x x 出错 但是 赋值操作不会 Point x x 编译期不会出错 但运行期会出错 上面的错误原因在于 编译器虽然为 x 分配了内存 但调用拷贝构造函数时 m color 还没初始化 建议 尽量不要用这种方法初始化 以便将错误在编译期间显示出来 2 赋值运算符必须区别是否自身赋值 3 在赋值前必须释放原有 new 操作分配的资源 当然 其他文件等资源也要释放 这里只讨论内存溢出 略过不提 最后实现如下 const Point if this m y rhs m y 删除原有资源空间 必须牢记 delete m color m color new char strlen rhs m color 1 strcpy m color rhs m color return this 注意 最左边的 const 声明可以不要 要得话是为了阻止如下语句 x y z 但由于基本类型也支持 为了与基本类型一致 可以去掉 const 约束 case 7 关于 nonmodifying 运算符重载的常见错误 所谓 nonmodifying 运算符就是不改变操作数的值 并且返回结果类型与操作数一样 比如数学运算符 而关系运算符则不满足 因为其结果为 bool 型 赋值运算符也不是 利用 static 将临时变量作为类的内部存储单元 不足 不适合嵌套使用和多线程 比如 w x y z for example case 7 解决方法 1 static const Point temp m x this m x rhs m x temp m y this m y rhs m y 释放前一个值的资源 delete temp m color temp m color new char strlen this m color strlen rhs m color 1 sprintf temp m color s s this m color rhs m color return temp 注意 这里为了简单 并没有考虑类型转换 实际中二元运算符通常采用友元函数形式实现 具体判断方 法请看 Effective c Item 19 2 改引用语义为值语义 最好办法 但会降低效率 注意 有人也许会用指针方法 比如如下 Point temp new Point return temp 这样会产生一个无名对象 并且位于堆上 从而造成内存泄露 const Point Point operator const Point temp m x this m x rhs m x temp m y this m y rhs m y 释放前一个值的资源 delete temp m color temp m color new char strlen this m color strlen rhs m color 1 sprintf temp m color s s this m color rhs m color return temp case 8 没用将基类的析构函数定义成虚函数 解决方法 将基类的析构函数定义为虚函数 这种情况主要出现在下面情况 基类指针指向派生类 for example Apple is a kind of fruit and banana also is so someone write such codes Fruit basket 20 for int i 0 i 10 i basket i new Apple 输入水果信息 for i 20 i basket i new Banana 输入香蕉信息 如果 Fruitde 析构函数不是虚函数 则会造成内存溢出 假设 Apple 或 Banana 的构造函数中有 new 语句 否 则不会 for i 0 i 该错误