CMyString::CMyString &(const CMyString &str) { if( this == &str) { return *this; } delete []m_pData; m_pDate = new char[len(str->m_pDate)+1]; strcpy(m_pDate,str->m_pDate); return *this; }
这个例子中,在分配内存之前先用delete释放了实例m_pDate的内存,如果此时内存不足导致new char抛出异常,m_pDate将是一个指针,这样非常容易导致程序崩溃。为了保证在赋值运算符函数中实现异常安全性,可以按照如下方法。
CMyString::CMyString &(const CMyString &str) { if(this != &str) { CMyString strTemp(str); char *pTemp = strTemp->m_pDate; strTemp->m_pDate = m_pDate; m_pDate = pTemp; } return *this; }
strTemp是临时实例,由于strTemp所指向的内容就是实例之前m_pDate的内存,这就相当于自动调用析构函数释放实例的内存。
在CMyString的构造函数里用new分配内存,即使由于内存不足抛出诸如bad_alloc等异常,因为没有修改原来实例的状态,所以实例的状态还是有效的。这就保证了数据的安全性。