拷贝构造函数：默认拷贝(浅拷贝)、深拷贝构造函数

拷贝构造函数：默认拷贝(浅拷贝)、深拷贝构造函数

分类： C/C++理论2009-02-24 13:23 1582人阅读 评论(4) 收藏 举报

 一、 拷贝构造函数与构造函数的区别：

      拷贝构造函数，是一种特殊的构造函数，它由编译器调用来完成一些基于同一类的其他对象的构建及初始化。其唯一的参数（对象的引用）是不可变的（const类型）--参考分析1。

    拷贝构造函数与构造函数的区别：

　　class 类名

　　{

　　public：

　　类名（形参参数）//构造函数

　　类名（类名&对象名）//拷贝构造函数

　　,,,,,,,,,,,,,,,,,,,,,

　　};

　　拷贝构造函数的实现：

　　类名::类名（类名&对象名）//拷贝构造函数的实现

　　{函数体}

　　拷贝构造函数：

　　Class Point

　　{

　　Public:

　　Point(int xx=0,int yy=m)(X=xx;Y=yy;)

　　Point(Point& p);

　　Int getX() {return X；}

　　Int getY(){ return Y;}

　　Private :

　　Int X,Y;

　　}

　　Point::Point(Point& p)

　　{

　　X=p.X;

　　Y=p.Y;

　　Cout<<"拷贝构造函数调用"<<endl;

　　}

二、拷贝构造函数介绍：

     在C++中，下面三种对象需要调用拷贝构造函数：

　　1) 对象以值传递的方式传入函数体；

　　2) 对象以值传递的方式从函数返回；

　　3) 对象需要通过另外一个对象进行初始化；

      当使用已初始化对象去初始化另一个新对象的时候，拷贝构造函数就会被自动调用，如果没有自定义拷贝构造函数的时候系统将会提供默认的拷贝构造函数来完成这个过程；

      如果类体内的成员是需要开辟动态开辟堆内存的，而不自定义深拷贝构造函数，就会导致堆内存的所属权产生混乱，两个对象的指针指向同一个堆地址，一旦程序产生析构，释放堆的时候，计算机是不可能清楚这段地址是真正属于谁的，当连续发生两次析构的时候就出现了运行错误。

#include <iostream>usingnamespacestd; classInternet { public: Internet(char*name,char*address) { cout<<"载入构造函数"<<endl;strcpy(Internet::name,name);strcpy(Internet::address,address); cname=new char[strlen(name)+1]; if(cname!=NULL) { strcpy(Internet::cname,name); } } Internet(Internet &temp) {     cout<<"载入COPY构造函数"<<endl;    strcpy(Internet::name,temp.name);    strcpy(Internet::address,temp.address);     cname=new char[strlen(name)+1];//这里注意,深拷贝的体现!     if(cname!=NULL)    {         strcpy(Internet::cname,name);     } } ~Internet() { cout<<"载入析构函数!"<<endl; delete[] cname; cin.get(); } voidshow(); protected: charname[20]; charaddress[30]; char*cname; }; void Internet::show() { cout<<"show 函数"<<endl;}

voidtest(Internet ts) { cout<<"载入test函数"<<endl;}

voidmain() { Internet a("中国软件开发实验室","www.cndev-lab.com"); Internet b =a; b.show(); test(b); }

上面代码就演示了深拷贝的问题,对对象b的cname属性采取了新开辟内存的方式避免了内存归属不清所导致析构释放空间时候的错误,最后我必须提一下，对于上面的程序我的解释并不多，就是希望读者本身运行程序观察变化，进而深刻理解。

深拷贝和浅拷贝的定义可以简单理解成：

如果一个类拥有资源(堆，或者是其它系统资源)，当这个类的对象发生复制过程(新开辟内存的方式)的时候，这个过程就可以叫做深拷贝；

反之对象存在资源但复制过程并未复制资源(仅仅复制对象成员的指针，未新开辟内存)的情况视为浅拷贝。

 

三、拷贝构造函数与赋值运算符：

事实上，拷贝构造函数是由普通构造函数和赋值操作符共同实现的。

赋值符的重载 ：

下面的代码与上例相似

　　int main(int argc, char* argv[])

　　{

　　CExample theObjone;

　　theObjone.Init(40);

　　CExample theObjthree;

　　theObjthree.Init(60);

　　//现在需要一个对象赋值操作,被赋值对象的原内容被清除，并用右边对象的内容填充。

　　theObjthree=theObjone;

　　return 0;

　　}

　　也用到了"="号，但与"一、"中的例子并不同，"一、"的例子中，"="在对象声明语句中，表示初始化。更多时候,这种初始化也可用括号表示。

　　例如 CExample theObjone(theObjtwo);

　　而本例子中，"="表示赋值操作。将对象theObjone的内容复制到对象theObjthree;，这其中涉及到对象theObjthree原有内容的丢弃，新内容的复制。

　　但"="的缺省操作只是将成员变量的值相应复制。旧的值被自然丢弃。

　　由于对象内包含指针，将造成不良后果:指针的值被丢弃了，但指针指向的内容并未释放。指针的值被复制了，但指针所指内容并未复制。

　　因此，包含动态分配成员的类除提供拷贝构造函数外，还应该考虑重载"="赋值操作符号。

　　类定义变为:

　　class CExample

　　{

　　...

　　CExample(const CExample&); //拷贝构造函数

　　CExample& operator = (const CExample&); //赋值符重载

　　...

　　};

　　//赋值操作符重载

　　CExample & CExample::operator = (const CExample& RightSides)

　　{

　　nSize=RightSides.nSize; //复制常规成员

　　char *temp=new char[nSize]; //复制指针指向的内容

　　memcpy(temp,RightSides.pBuffer,nSize*sizeof(char));

　　delete []pBuffer; //删除原指针指向内容 (将删除操作放在后面，避免X=X特殊情况下，内容的丢失)

　　pBuffer=NULL;

　　pBuffer=temp; //建立新指向

　　return *this

　　}

 

　　四、注意事项

　　常见错误：

　　拷贝构造函数使用赋值运算符重载的代码。

　　CExample::CExample(const CExample& RightSides)

　　{

　　*this=RightSides //调用重载后的"="

　　}

　　而这样会造成循环调用重载后的"="和拷贝构造函数(因为对象以值传递的方式传入函数体会调用拷贝构造函数)，最后造成栈溢出(Stack Overflow)。 

 

 ****分析：*********************************************

   1、 拷贝构造函数不可以改变它所引用的对象，其原因如下：当一个对象以传递值的方式传入函数的时候，拷贝构造函数自动的被调用来生成函数中的对象(如果拷贝函数可以改变并且改变了引用对象，则创建的新对象与引用对象不一致，未能达到拷贝目的)。

   2、如果一个对象是被传入自己的拷贝构造函数，它的拷贝构造函数将会被调用来拷贝这个对象这样复制才可以传入它自己的拷贝构造函数，这会导致无限循环直至栈溢出（Stack Overflow）。除了当对象传入函数的时候被隐式调用以外，拷贝构造函数在对象被函数返回的时候也同样的被调用。

 **************************************************