在类中,如果用户没有显示实现而是由编译器自动生成的成员函数叫做默认成员函数,这样的成员函数有六个。默认成员函数中的拷贝构造函数和赋值运算符重载函数会以逐字节的方式将原对象的内容原封不动的拷贝或赋值给新的对象,如果对象中管理资源,最后就会导致多个对象共用一份资源,当其中一个对象销毁时会将该资源释放掉,其他对象再想操作该资源时就会发生访问违规,这便是浅拷贝。
下面用代码简单举例:
namespace lbj
{
class string
{
public:
string(const char* s="")
{
if (nullptr == s)
{
cout << "string():false" << endl;
return;
}
char* ptr = new char[strlen(s) + 1];
strcpy(_str, s);
}
//........
private:
char* _str;
};
}
//..........................
int main()
{
lbj::string s1("hello world!");
lbj::string s2(s1);
return 0;
}
调试报错:
由于类对象销毁时调用析构函数,会先将s2对象销毁,再调用析构进行销毁s1对象,但是因为拷贝构造是浅拷贝,导致s1和s2指向同一块内存空间,销毁掉s2之后内存空间被释放,s1找不到改内存空间,最终违规访问。
如果一个类中涉及到资源管理(即malloc.../free或new/delete),其拷贝构造函数、赋值运算符重载以及析构函数都必须要显示给出,一般情况都是按照深拷贝方式提供。深拷贝即给每个对象独立分配资源,保证多个对象之间不会因为共享资源而造成多次释放导致程序崩溃问题。
string类的深拷贝(拷贝构造函数、赋值运算符重载以及析构函数):
//显示实现拷贝构造
string(const string& str)
:_str(nullptr)
{
string strTmp(str._str);
swap(_str, strTmp._str);
}
//显示实现赋值运算符重载
string& operator=(string& str)
{
if (this != &str)
{
string strTmp(str);
swap(_str, strTmp._str);
}
}
//显示实现析构函数
~string()
{
if (_str)
{
delete[] _str;
_str = nullptr;
}
}