高质量C++编程点滴(一)
有效解决内存泄露
一、你需要一个函数将一个数组赋值为等差数列,并将会在函数的外部使用它。
不合理:
int *GetArray( int n )
{
int *p = new int[n];
for ( int i = 0; i < n; i++ )
{
p[i] = i;
}
return p;
}
合理:
void GetArray( int *p, int n )
{
for ( int i = 0; i < n; i++ )
{
p[i] = i;
}
}
解析:
检查内存泄露的最好办法,就是检查完全配对的申请和释放,在函数中申请而在外部释放,将导致代码的一致性变差,难以维护。而且,你写的函数不一定是你自己使用的,这样的函数别人会不知道该怎么适当的使用,如果它是一个DLL的导出函数,并且你在不同的平台下使用了,便会导致系统崩溃。最好的解决办法就是在函数调用的外面将内存申请好,函数只对数据进行复制。
二、你需要写一个类来为你管理一个指针,这个类将封装对指针的申请内存、释放和其它一些基本操作。
不合理:
class A
{
public:
A( void ) {}
~A( void ) { delete []m_pPtr; }
void Create( int n ){ m_pPtr = new int[n]; }
private:
int *m_pPtr;
};
合理:
class A
{
public:
A( void ) : m_pPtr(0){}
~A( void ) { Clear(); }
bool Create( int n ){ if ( m_pPtr ) return false; m_pPtr = new int[n]; return ture; }
void Clear( void ) { delete []m_pPtr; m_pPtr = 0; }
private:
int *m_pPtr;
};
解析:
不合理的代码就在于当你重复调用Create的时候就会造成内存泄露,解决的办法就是在new之前判断一下指针是否为0。要能够有效的执行这个判断,则必须在构造的时候对指针进行初始化,并为这个类添加一个Clear函数来释放内存。
三、接上题的Create函数,你现在需要根据传入的参数做一些比较复杂的算法操作,并对申请的数组赋值。
不合理:
bool Create(int *a, int n )
{
if ( m_pPtr )
return false;
m_pPtr = new int[n];
for ( int i = 0; i < n; i++ )
{
m_pPtr[i] = 3 / a[i];
}
return true;
}
合理:
template<class _Ty>
class auto_array
{
public:
explicit auto_array(_Ty *pPtr=0)throw():m_Ptr(pPtr){}
~auto_array(){delete[]m_Ptr;}
void reset(_Ty *pPtr=0){if(pPtr!=m_Ptr){delete[]m_Ptr;m_Ptr=pPtr;}}
_Ty* release(void){_Ty *pTemp=m_Ptr;m_Ptr=0;return pTemp;}
private:
auto_array(const auto_array&other){}
auto_array& operator=(const auto_array& other){}
_Ty *m_Ptr;
};
bool A::Create(int *a, int n )
{
if ( m_pPtr )
return false;
auto_array<int> PtrGuard( new int[n] );
for ( int i = 0; i < n; i++ )
{
if ( 0 == a[i] )
{
return false;
}
PtrGuard .get()[i] = 3 / a[i];
}
m_pPtr = PtrGuard.release();
return true;
}
解析:
在循环中,当参数数组a中的某一个值为0时,将会产生除0异常,那么,这将会导致你在上面为m_pPtr申请的内存不能合理的释放。为了解决这个问题,我们写了一个auto_array作为卫兵来看守企图逃逸的指针。在auto_array对象PtrGuard析构的时候它会同时删除附加在它身上的内存指针。我们首先用PtrGuard来进行所有的指针操作,在确定操作完全结束的最后,把指针再赋给真正的变量,并使PtrGuard放弃对该指针的附加,这样我们就得到了一个最安全的结果。另外需要注意的是,C++的STL库里本来有一个和auto_array功能非常相似的模版类auto_ptr,但是它只支持单个对象的内存,不支持数组,写这样一个auto_array也是不得已而为之。