C++类的副本构造器之深复制(拷贝)与浅复制(拷贝)

来源:互联网 发布:飞向札幌的班机js 编辑:程序博客网 时间:2024/05/16 04:27

副本构造器可实现将一个对象复制到另一个对象,可用point n(3);point p(n);实现对象的赋值。在这里,复制包括两种,一种是浅复制,一种是深复制。

在某些状况下,类内成员变量需要动态开辟堆内存,如果实行位拷贝,也就是把对象里的值完全复制给另一个对象,如A=B。这时,如果B中有一个成员变量指针已经申请了内存,那A中的那个成员变量也指向同一块内存。这就出现了问题:当B把内存释放了(如:析构),这时A内的指针就是野指针了,出现运行错误。如果对象里不存在有成员变量动态分配内存的情况,就不会出现如上问题,无须讨论深拷贝和浅拷贝问题。

对于动态开辟了内存的对象而言,所谓浅复制是指将对象两个对象指向同一块内存,即对象p和n的成员变量指向同一块int型的内存。

代码如下:

class point{private:int *y;public:point(int y);point();int getY();point(const point &other); //副本构造器~point();  //析构器};int main(){point n(3); //调用构造器point p(n);//调用副本构造器n.~point(); //析构器cout<<p.getY()<<endl;}point::point(){this->y=new int;*(this->y)=0;}point::~point(){delete y;}point::point(int y){this->y=new int;*(this->y)=y;}int point::getY(){return *y;}point :: point(const point &other){this->y=other.y;  //将传入对象指针y里的地址赋值给本对象指针y,本对象y指向传入对象y所指向的内存。}

运行,结果打印的数据并不是期望的3.

为什么出现这种情况?原因在于,p对象的指针y指向了n对象指针y所指向的内存区。当n对象调用析构器(被销毁)后,p对象y所指向的地址内容是一个随机数。

既然拷贝指针值的方法有问题,那么,将对象的值拷贝到另一个对象呢?所谓的深复制是指,去重新构建对象的内容,将对象复制给另一个对象,而不是简单的复制指针值。

代码如下:

class point{private:int *y;public:point(int y);point();int getY();point &operator=(const point &other);point(const point &other);~point();};int main(){point n(3); //构造器point p(n); //副本构造器n.~point(); //析构器cout<<p.getY()<<endl;point p2=p;     //调用赋值操作符函数p.~point();       cout<<p2.getY()<<endl;}point::point(){this->y=new int;*(this->y)=0;}point::~point(){delete y;}point::point(int y){this->y=new int;*(this->y)=y;}int point::getY(){return *y;} //赋值操作函数,假设当前对象已经被提前创建出来并经过了初始化(y所指向的内存已被创建)point& point::operator=(const point &other){ if(this==&other)  return *this;delete y;y=NULL;y=new int;*(this->y)=*(other.y);    //假设y所指向的内存已被newreturn *this;} //副本构造器point :: point(const point &other){ //不需要假设对象已被创建并且初始化了,副本构造器当前的对象肯定是新建的this->y=new int;                   //这里new 本对象y指向的内存是因为调用副本构造器的对象并没有调用构造器。*(this->y)=*(other.y);}

结果:3

   3

和第一个代码的副本构造器不同之处在于重新分配了一块内存,并将n对象的内容拷贝(复制)给对象p.

p(n)调用的是副本构造器,在深拷贝中必须在副本构造器里开辟一段内存放数据,如果不开辟虽然编译器检查不出错误,可通过编译,但在运行的时候出现错误:段错误 (核心已转储)。一定要记住分配需要的内存!

而对于赋值操作符函数和一般的成员函数一样,是假设当前对象已被创建出来并经过了初始化(若所假设创建的内存大小不合适,可将对应的delete重新new即可,给指针成员变量创建内存默认在构造器里,并不是说只能在构造器里,需要的话在其他成员函数里先delete掉再重新分配就行)。而副本构造器不需要假设对象已被创建并且初始化了,副本构造器当前的对象肯定是新建的。

调用副本构造器错误的写法:

point n(3);//初始化n
point p(2); //初始化p
p(n);//调用副本构造器再次初始化p

 编译:error: no match for call to ‘(point) (point&)’    p(n); 

可见调用副本构造器初始化一个对象时,被初始化的对象不应该已经被初始化过(调用构造器)。这一点也说明了,调用副本构造器之前对象并没有调用构造器,所以必须在副本构造器中要为成员变量创建内存。


0 0
原创粉丝点击