拷贝构造函数(copy constructor),拷贝赋值函数(copy assignment operator)和析构函数(destructor)被合称为C++类的三大函数(Big Three)。
之所以这三个函数有如此美名,除了其功能的重要性外,还有一点就是如果类中没有显式定义这三个函数,编译器会默认为类加上,足见其必不可少的地位。
int main(){
string s1;
string s2("hello");
string s3(s2);//拷贝构造
string s1 = s3; //拷贝赋值,其实就是重载了operator=
}
拷贝的类型:浅拷贝和深拷贝
浅拷贝
Paste_Image.png浅拷贝就是按bit复制。对于带指针的类(class with pointer),浅拷贝只会复制指针的值,使被复制的指针指向源对象指针所值的地址,即不会重新申请内存空间,而是指向同一块内存。因为只拷贝了地址,内存内容修改,两个类的对象所指内容都会修改,一个对象析构释放内存后,另一个对象中的指针就会变成野指针,这时候就很容易出现内存泄露
深拷贝
Paste_Image.png与浅拷贝相对的就是深拷贝,对于带指针的类,深拷贝会重新分配内存,拷贝内存中内容。这样复制出来的对象就是与源对象相对独立的一个类的实例,好处自然就是不会出现像浅拷贝那样的内存泄露问题。
浅拷贝和深拷贝对于不带指针的类,作用完全相同。因此,对于没有指针的类(class without pointer)三大函数都可以省略不写
(带指针的类中)拷贝赋值的步骤:
- 作自我赋值的判断
自我赋值发生时,可以直接退出不做任何操作,免去后面内存释放申请冗余操作。但其作用远不只为了效率或是后面几句重复的申请内存,复制内存。一个重要原因是,如果没有此步判断,接下来会释放内存,这样将导致第3和4两个步骤出错(因为源内存已被释放),导致内存泄露,这个跟上面对带指针类的浅拷贝是一个道理。所以对自我赋值的判断语句是必不可少的。 - 清空目标类的动态内存
- 为目标类申请足够大的动态内存空间
- 拷贝内存空间中的值
inline string& string::operator=(const string& str){
//self assignment 自我赋值的检测 **必不可少哦**
if(this == &str){
return *this;
}
delete[] ptr;
ptr = new char[strlen(str.ptr)+1];//实际情况是不可以直接使用string的私有成员ptr,应该使用一个类似length()的函数返回ptr中字符串的长度,这里只是示范
strcpy(ptr, str.ptr);
return *this;
}
网友评论