
// 拷贝构造函数 String::String(const String &other) { // 允许 *** 作other的私有成员m_data int length = strlen(otherm_data); m_data = new char[length+1]; strcpy(m_data, otherm_data);}// 赋值函数 String & String::operate =(const String &other) { // (1) 检查自赋值 if(this == &other) return this; // (2) 释放原有的内存资源 delete [] m_data; // (3)分配新的内存资源,并复制内容 int length = strlen(otherm_data); m_data = new char[length+1]; strcpy(m_data, otherm_data); // (4)返回本对象的引用 return this;} 类String拷贝构造函数与普通构造函数的区别是:在函数入口处无需与NULL进行比较,这是因为“引用”不可能是NULL,而“指针”可以为NULL。
Person p1("Randy");
Person p2(p1);
这两个语句在作怪
1 Person p1("Randy");执行时调用Person(char pn);此构造函数,分配空间给p1,并完成字符串的拷贝(至此p1已经不再是空了p1pName!=NULL)
2 Person p2(p1);语句执行时调用Person(const Person&);这个比较奇怪吧这个函数叫复制构造函数,发生在用另一个对象来构造新对象你没有定义,那么系统就会偷偷的给你合成一个默认的默认的复制构造函数就是简单的拷贝源对象中的各个字段的值(p1pName),这样构造出的p2就会有自己的p2pName,这个指针的值就是p1pName的值所以你输出的时候显示了同样的内容
3 如果有条件建议你看看<<C++ Primer>> 复制控制那一章
以下讨论中将用到的例子: classCExample{public:CExample(){pBuffer=NULL;nSize=0;}~CExample(){delete[]pBuffer;}voidInit(intn){pBuffer=newchar[n];nSize=n;}private:charpBuffer;//类的对象中包含指针,指向动态分配的内存资源intnSize;};这个类的主要特点是包含指向其他资源的指针,pBuffer指向堆中动态分配的一段内存空间。intmain(intargc,charargv[]){CExampletheObjone;theObjoneInit(40);//现在需要另一个对象,并将它初始化为theObjoneCExampletheObjtwo=theObjone;}语句"CExample theObjtwo=theObjone;"用theObjone初始化theObjtwo。
回顾一下此语句的具体过程:首先建立对象theObjtwo,并调用其构造函数,然后成员被复制初始化。
其完成方式是内存拷贝,复制所有成员的值。完成后,theObjtwopBuffer==theObjonepBuffer。
即它们将指向同样的地方,指针虽然复制了,但所指向的空间并没有复制,而是由两个对象共用了。这样不符合要求,对象之间不独立了,并为空间的删除带来隐患。所以需要采用必要的手段来避免此类情况:可以在构造函数中添加 *** 作来解决指针成员的这种问题。
所以C++语法中除了提供缺省形式的构造函数外,还规范了另一种特殊的构造函数:拷贝构造函数,一种特殊的构造函数重载。上面的语句中,如果类中定义了拷贝构造函数,在对象复制初始化时,调用的将是拷贝构造函数,而不是缺省构造函数。在拷贝构造函数中,可以根据传入的变量,复制指针所指向的资源。
拷贝构造函数的格式为:类名(const 类名& 对象名);//拷贝构造函数的原型,参数是常量对象的引用。由于拷贝构造函数的目的是成员复制,不应修改原对象,所以建议使用const关键字。
提供了拷贝构造函数后的CExample类定义为: class CExample{public:CExample(){pBuffer=NULL;nSize=0;}~CExample(){delete[]pBuffer;}CExample(const CExample&);//拷贝构造函数voidInit(int n){pBuffer=newchar[n];nSize=n;}private:charpBuffer;//类的对象中包含指针,指向动态分配的内存资源int nSize;};CExample::CExample(const CExample& RightSides)//拷贝构造函数的定义{nSize=RightSidesnSize;//复制常规成员pBuffer=newchar[nSize];//分配内存memcpy(pBuffer,RightSidespBuffer,nSizesizeof(char));}这样,定义新对象,并用已有对象初始化新对象时,CExample(const CExample& RightSides)将被调用,而已有对象用别名RightSides传给构造函数,以用来作复制。 下面介绍拷贝构造函数的另一种调用:当对象直接作为参数传给函数时,函数将建立对象的临时拷贝,这个拷贝过程也将调用拷贝构造函数。例如:
BOOL testfunc(CExample obj);
testfunc(theObjone); //对象直接作为参数。
BOOL testfunc(CExample obj)
{
//针对obj的 *** 作实际上是针对复制后的临时拷贝进行的
}
还有一种情况,也是与临时对象有关:当函数中的局部对象作为返回值被返回给函数调者时,也将建立此局部对象的一个临时拷贝,拷贝构造函数也将被调用。
CTest func()
{
CTest theTest;
return theTest;
}
总结:当某对象是按值传递时(无论是作为函数参数,还是作为函数返回值),编译器都会先建立一个此对象的临时拷贝,而在建立该临时拷贝时就会调用类的拷贝构造函数。
从语言规范的角度来说,这只是一种规定而已。
C++标准128第2段提到:
A non-template constructor for class X is a copy constructor if its first parameter is of type X&, const X&, volatile X& or const volatile X&, and either there are no other parameters or else all other parameters have default arguments
翻译过来就是:
如果类X的一个非模板构造函数的第一个参数的类型是 X&,const X&,volatile X& 或 const volatile X& 中的一个,而且这个构造函数要么没有其他参数,要么其他参数都有默认值,那么这个构造函数就是拷贝构造函数。
这是人为的规定。
从逻辑的角度来说,因为从参数的传递本身就是拷贝。如果不使用引用类型,拷贝构造函数传递参数时又会调用拷贝构造函数,造成循环调用。
欢迎分享,转载请注明来源:内存溢出
微信扫一扫
支付宝扫一扫
评论列表(0条)