C++ 的拷贝构造函数+赋值构造函数
在《高质量C编程指南》一书有提到,一个空的C++类中有四个缺省的构造函数。
如类AString
AString(); //缺省构造函数
~AString(); //缺省析构函数
AString(const AString &as); //缺省的拷贝构造函数
AString& operator =(const AString &as); //缺省的赋值构造函数
那既然能自动生成 函数、为什么还要程序员编写呢?
原因有二:
1、如果使用“”缺省的无参数构造函数“”和“缺省的析构函数”,那么就等于放弃了自主“初始化”和清除的机会。
2、“缺省的拷贝构造函数”和“缺省的赋值函数”均采用“位拷贝”而非“值拷贝”的方式 实现,倘若类中含有指针变量,这两个函数注定将出错。(即所谓的深拷贝和浅拷贝问题)。
举个例子:
#include <iostream>
using namespace std;
class AString
{
public:
AString(); //缺省构造函数
~AString(); //缺省析构函数
public:
AString (char* pstr); //有参构造函数
void print();
private :
char * m_data;
};
AString::AString()
{
cout<<"执行无参数构造函数..."<<endl;
m_data = NULL;
}
AString::~AString()
{
if(NULL != m_data)
{
delete m_data;
m_data = NULL;
}
cout<<"释放资源结束"<<endl;
}
AString::AString(char *pstr)
{
cout<<"执行带参数构造函数..."<<endl;
int nLen = strlen(pstr);
m_data = new char[nLen + 1];
memcpy(m_data,pstr,nLen);
m_data[nLen]='\0';
}
void AString::print()
{
if (NULL != m_data)
{
cout<<"输出数据:"<<m_data<<endl;
}
}
/*
实现拷贝构造函数中出现的问题
*/
void ExampleFunc()
{
AString str1("Hello world");
AString str2 = str1; // 注意此处调用的是拷贝构造函数
str2.print();
str2 = str1; //此处调用的是赋值构造函数
str2.print();
}
int main(int argc,char argv[])
{
ExampleFunc();
getchar();
return 0;
}
运行此程序保准出错。
输出结果:
执行带参数构造函数...
输出数据:Hello world
输出数据:Hello world
释放资源结束
弹出Debug Assertion Failed! 的错误提示框
为什么会出现错误呢?
因为在ExampleFunc()函数执行的生命周期结束后,会调用str1、str2的析构函数释放资源,str2释放m_data所占用的资源,
此时str1中的m_data已经变为“野指针”,故在此释放str1中的m_data所占中的资源时,会报错。
因此此时应该重写拷贝构造函数和赋值构造函数
重写拷贝构造函数:
AString::AString(const AString &as)
{
cout<<"执行重载的拷贝构造函数"<<endl;
if (this == &as)
{
return ;
}
//允许操作as的私有成员m_data
int length = strlen(as.m_data);
m_data = new char[length + 1];
strcpy(m_data,as.m_data);
}
重写赋值构造函数:
AString& AString::operator =(const AString &as)
{
cout<<"执行重载的赋值函数"<<endl;
if (this == &as)
{
return *this;
}
delete m_data;
int nLen = strlen(as.m_data);
m_data = new char[nLen + 1];
memcpy(m_data,as.m_data,nLen);
m_data[nLen]='\0';
return *this;
}