本文,记录:copy constructor复制构造函数 and copy assignment operator重载赋值操作符的思考
参考
- <C++ primer plus> 第12章,仅动态内存和类小节
- C++本质:类的赋值运算符=的重载,以及深拷贝和浅拷贝,链接
涉及问题:
- 对类使用new/delete及其待处理的动态内存,这将影响构造/析构函数的设计
- copy constructor and copy assignment operator都将面临深拷贝和浅拷贝问题
现在开始回答上述的问题:
首先需要理解我们的主题,类的内存
对象的占用内存
- 对象本身占用内存(默认析构函数行为即可自动释放该内存)
- 对象指向的内存(必须依赖析构函数进行释放delete)
现在,需要了解,对象的占用内存可以是如何处理的:
下面是两种方式。
复制构造函数,调用(目前认识就四种):
T t2(t1);
T t2 = T(t1);
T t2 = t1;//这应该是较隐蔽,容易跟copy assignment operator混淆的地方吧。
T *t2 = new T(t1);
等效为(最后一个指针会有不同,但这里它实际上也符合)
T t2 = T(t1);
也就是函数原型为
T(const T &);
简洁地,每当程序生成了对象副本时,编译器都将使用复制构造函数。
赋值操作符,调用:
T t2;
t2 = t1;
也就是原型为
T& operator=(const T&);
提供两种内存处理方式,那么,它们起到什么作用呢?
一般而言,隐式复制构造函数、隐式赋值操作符(也就是空类编译器自动产生)在特性情况下,往往会造成问题(实质上还有析构函数,这里不展开)。
在实际中,一些类成员是使用new初始化的、指向数据的指针,而不是数据本身。
所以,在某个class object赋值给另一个时,class object member会被依次复制过去,也就是默认的成员逐一复制操作。(Essential C++/125页)。此时是浅复制。这或许会造成,类内部的一个指针,出现两个对象同时指向同一个地址(因为使用了浅拷贝)。
而此时的解决办法,就是使用显式复制构造函数或赋值操作符,实现深拷贝。类内部的一个指针,两个对象,分别指向不同的地址,并且内容复制一次。这样就不会互相干扰了。
两个方式的实现如下:
T::T(const T& t)
{
hours = t.hours;
minutes = t.minutes;
len = t.len;
str = new char [len+1];//this is why we should implement the copy constructor
}
T& T::operator=(const T& t)
{
if(this == &t)//check if the sample address(it means the sample veriable)
return *this;
delete []str;//you also can check the string.len if not enough
len = new char [len+1];
std:strcpy(str, t.str);
hours = t.hours;
minutes = t.minutes;
return *this;
}