对于一般的对象比如
int a = 10;
int b = 20;
对象间的赋值,复制过程很简单,但对于类对象来说,其内部存在着各种各样类型变量,其拷贝过程比较复杂。事实上,在对象拷贝过程中。如果没有自定义拷贝构造函数,系统会提供一个默认的拷贝构造函数,缺省的拷贝构造函数对于基本类型的成员变量,按字节复制,对于类类型的成员变量,调用其相应得拷贝构造函数,原型如下:
string(const string& that){}
这对于一般的类型变量拷贝没有问题,但如果类中含有指针类型的变量使用系统的缺省拷贝构造函数,就会出现问题,因为缺省的拷贝构造函数是按字节复制的,对于指针类型的成员变量只复制指针本身,而不复制指针向的对象这被称为浅拷贝,浅拷贝会带来指针被重复释放的问题,在运行阶段会出现断错误。比如如下代码
#include<iostream>
#include<cstring>
using namespace std;
class String {
public:
String (const char* psz=NULL) : m_psz(strcpy(new char[strlen(psz?psz:"")+1],(psz?psz:""))){
cout << "String构造" << endl;
}
~String () {
if(m_psz) {
delete[] m_psz;
m_psz = NULL;
}
cout << "String析构" << endl;
}
char* c_str(void) {
return m_psz;
}
private:
char* m_psz;
};
int main(void) {
String s1("hello");
String s2(s1);
cout << "s1 " << s1.c_str() << endl;
cout << "s2 " << s2.c_str() << endl;
s1.c_str()[0] = ‘H‘;
cout << "s1 " << s1.c_str() << endl;
cout << "s2 " << s2.c_str() << endl;
return 0;
}
上述代码中,s1,s2对象中的m_psz指针指向同一块内存区域"hello",所以将s1中的m_psz指向的内存区域的第一个字符改为大写的"H",s2输出也是大写“H”,而且更要命的是当对象释放的时候,该内存会被释放两次导致程序崩溃。
在程序中加入我们自己定义的拷贝构造函数,如下
String (const String& that) : m_psz(strcpy((new char[strlen(that.m_psz)+1]),that.m_psz)){
cout << "String拷贝构造" << endl;
}
这样再运行就没有问题了。
当函数存在对象型的参数或对象型的返回值时都会用到拷贝构造函数。
而拷贝赋值的情况基本上与拷贝复制是一样的。只是拷贝赋值是属于操作符重载问题。
我们可以自定义拷贝赋值函数如下:
void operator=(const String& that) {
m_psz = strcpy (new char[strlen(that.m_psz)+1],that.m_psz);
}
这样考虑的问题太少,我们知道对于普通变量来讲a=b返回的是左值a的引用,所以它可以作为左值继续接收其他值(a=b)=30,这样来讲我们操作符重载后返回的应该是类对象的引用(否则返回值将不能作为左值来进行运算)
所以下面这一种实现方式是普遍采用的方式
String& operator=(cosnt String& that) {
if(&that != this) {
char *psz = strcpy (new char[strlen(that.m_psz)+1],that.m_psz);//如果失败会抛出异常,m_psz最后在析构函数里释放
delete[] m_psz;
m_psz = psz;
}
return *this;
}