拷贝构造和拷贝赋值
深拷贝和浅拷贝
浅拷贝
一.浅拷贝
•缺省方式的拷贝构造和拷贝赋值,对包括指针在内的基本类型成员变量按字节复制,导致浅拷贝问题
–String::String (const String& that) :
m_psz (that.m_psz) {}
–String a1 = “C++ is very easy !”, a2 = a1;
深拷贝
二.深拷贝
•为了获得完整意义上的对象副本,必须自己定义拷贝构造和拷贝赋值,针对指针型成员变量做深拷贝
–String::String (const String& that) :
m_psz (strcpy (new char[strlen (that.m_psz) + 1], that.m_psz)) {}
拷贝赋值
一.避免自赋值
•将一个对象赋值给自身,最妥当的做法就是什么也不做
–void String::operator= (String const& rhs)
{
if (&rhs != this)
{ }
}
二.分配新资源
•为了使目标对象拥有独立的拷贝,需要为其分配足够的资源
–void String::operator= (String const& rhs)
{
if (&rhs != this)
{
char* psz = new char[strlen (rhs.m_psz) + 1];
}
}
三.释放旧资源
•释放目标对象原先所持有的资源,防止内存泄漏
–void String::operator= (String const& rhs)
{
if (&rhs != this)
{
char* psz = new char[strlen (rhs.m_psz) + 1];
delete[] m_psz;
}
}
•先分配新资源再释放旧资源是有意义的,即使目标对象的新资源分配失败,其原有的内容也不至于遭到破坏
四.拷贝新内容
•将源对象的内容复制到目标对象中
–void String::operator= (String const& rhs)
{
if (&rhs != this)
{
char* psz = new char[strlen (rhs.m_psz) + 1];
delete[] m_psz;
m_psz = strcpy (psz, rhs.m_psz);
}
}
五.返回自引用
•返回对调用对象自身的引用,以满足赋值表达式的语义
–String& String::operator= (String const& rhs)
{
if (&rhs != this)
{
char* psz = new char[strlen (rhs.m_psz) + 1];
delete[] m_psz;
m_psz = strcpy (psz, rhs.m_psz);
}
return *this;
}
•赋值表达式的值应该是其左操作数的引用
–(a = b) = c; // b->a, c->a
六.复用拷贝构造
•在目标对象内部直接构造源对象的副本,复用拷贝构造函数
七.复用析构函数
•交换目标对象和副本对象的资源指针,一方面使目标对象获得副本对象的资源,另一方面利用副本对象的局部变量身份,复用其析构函数,释放目标对象原有的资源
–String& String::operator= (String const& rhs)
{
if (&rhs != this)
{
String str (rhs); //复用拷贝构造
swap (m_str, str.m_str);//复交换指针指向对象,当前指针m_str指向新分配的资源
//'}'负责释放str,调用析构函数释放旧资源,用析构函数
}
return *this;
}
完整代码:
22 //支持深拷贝的拷贝构造
23 String (String const& that): m_str (strcpy (new char[strlen (that.m_str) + 1], that.m_str))
24 {}
25 // 支持深拷贝的拷贝赋值
26 String& operator= (String const& rhs)
27 {
28 //防止自赋值
29 if (&rhs != this)
30 {
31 //程序员写法
32 /*
33 //分配新资源
34 char* str = new char[strlen (rhs.m_str) + 1];
35 //释放旧资源
36 delete[] m_str;
37 //拷贝新内容
38 m_str = strcpy (str, rhs.m_str);
39 */
40 //老油条的写法,提高复用
41 String str = rhs;//调用拷贝构造,分配资源
42 swap (m_str, str.m_str);//交换指针指向对象,当前指针m_str指向新分配的资源
43 //'}'负责释放str,调用析构函数释放旧资源
43 }
44 //返回自引用
45 return *this;
46 }
忠告和建议
•无论是拷贝构造还是拷贝赋值,其缺省实现对类类型成员变量和基类子对象,都会调用相应类型的拷贝构造函数和拷贝赋值运算符函数,
而不是简单地按字节复制,因此应尽量避免使用指针型成员变量
•尽量通过引用或指针向函数传递对象型参数,既可以降低参数传递的开销,也能减少拷贝构造的机会
•出于具体原因的考虑,确实无法实现完整意义上的拷贝构造和拷贝赋值,可将它们私有化,以防误用
•如果为一个类提供了自定义的拷贝构造函数,就没有理由不提供实现相同逻辑的拷贝赋值运算符函数