C++中避免内存泄露常见的解决方式
作者:网络转载 发布时间:[ 2015/2/25 15:12:16 ] 推荐标签:C++ 内存泄露
case 5:
缺少拷贝构造函数
这没什么好说的,主要是解决编译器缺省加入的拷贝构造函数不足!缺省的拷贝构造函数?用位拷贝,
例如以下代码:
Point x;
Point y(x);
这样会导致两个Point对象 x,y的 m_color指向同一个"Red"字符串;
当某个对象释放后,另外一个对象的 m_color变成悬空指针,从而导致程序异常;
解决方法:
编写自己的拷贝构造函数;
对于Point类,编写例如以下:
Point::Point(const Point& y)
: m_x(y.m_x), m_y(y.m_y)
{
m_color = new char[strlen(y.m_color) + 1];
::strcpy(m_color, y.m_color);
}
case 6:
缺少重载赋值运算符,理由和上面一样!
须要注意事实上现的细节差别:
1> 拷贝构造函数编译器会自己主动阻止自己构造自己,比方:
Point x(x); // 出错;
可是,赋值操作不会;
Point x = x; // 编译期不会出错,但执行期会出错!
上面的错误原因在于,编译器尽管为x分配了内存,但调用拷贝构造函数时,m_color还没初始化;
建议,尽量不要用这样的方法初始化,以便将错误在编译期间显示出来;
2> 赋值运算符必须差别是否自身赋值;
3> 在赋值前必须释放原有new操作分配的资源(当然,其它文件等资源也要释放,这里仅仅讨论内存溢出,略过不提!)
后实现例如以下:
const Point& Point::operator =(const Point& rhs)
{
// 防止自己复制自己
// 这里?用简单的地址比?法,比?安全的是?用COM同样的方法编一个编码生成函数;
if (this != &rhs)
{
m_x = rhs.m_x;
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型;
赋值运算符也不是(=, += ,<<=等等);
主要原因是,大家可能将结果保存到一个局部变量里面,而返回结果为了效率?用了引用(&);
解决方法:
1> 利用static, 将暂时变量作为类的内部存储单元;
不足,不适合嵌套使用和多线程,比方 w = x+y+z;
for example:
// case 7,解决方法1:static
const Point& Point::operator +(const Point& rhs) const
{
static Point temp;
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& rhs) const
{
Point temp;
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 < 20; ++i)
{
delete basket[i];
}
详细实现略!
注意:
1> 该错误具有隐蔽性,当全部派生类均没有新的new操作时,不会产生内存溢出;因而,好遵循下面原则:
将基类构造函数定义为非虚函数,则该类不同意扩展;
2> 假设不是虚函数,则释放基类指针不会调用派生类的析构函数,即使它指向一个派生类对象;
3> 无论是不是虚函数,释放派生类指针均会调用基类的析构函数,且调用顺序不变;
4> 假设为虚函数,则释放基类指针且该指针指向一个派生类,则会先调用派生类的析构函数,再调用基内的析构函数!
本文内容不用于商业目的,如涉及知识产权问题,请权利人联系SPASVO小编(021-61079698-8054),我们将立即处理,马上删除。

sales@spasvo.com