拷贝构造函数,是一种特殊的构造函数,具有一般构造函数所有的特性。拷贝构造函数只有一个形参,而且其形参为本类对象的引用。原形为:<类名>(<类名>&);它的作用是使用一个已存在的对象----由拷贝构造函数的参数指定的对象(的各成员当前值)去初始化另一个相同的新对象(尚不存在,正在创建)。
如果用户没有声明类的拷贝构造函数(即没有给出显式的拷贝构造函数时),系统会自动生成一个隐含的(缺省的)拷贝构造函数,它只进行对象间的“原样拷贝”(浅拷贝)。
某些情况下必须使用显式的拷贝构造函数:如果不这样,会出现两个对象拥有同一块系统堆空间,使得两个不同对象的指针成员值即地址值完全相同,意味着两者指向了同一块系统堆空间。当对象析构时(两个对象各要被析构一次),则会遇到同一资源被释放两次的错误。
系统自动调用拷贝构造函数的三种情况:
1.当使用如下之一的说明语句,用已存在对象(其中的”<对象名1>“)来创建一个相同的新对象(其中的“<对象名2>”)时,有:
<类名><对象名2>(<对象名1>);
<类名><对象名2>=<对象名1>;
2.若对象作为函数的赋值参数,当调用这种函数进行实参和形参结合时,将用已存在的实参对象来创建一个相同的形参新对象。
3.若函数的返回值是类的对象,在执行被调用函数的返回语句后,将用已存在对象--函数返回值,创建出一个临时新对象而返回到主调函数处。
贴上代码:
#include<iostream>
using namespace std;
class point{
int x,y;
public:
point(int x0,int y0){
x=x0;
y=y0;
cout<<"Enter constructor!! x="<<x<<" y="<<y<<endl;
}
point(point &pt){
x=pt.x;
y=pt.y;
cout<<"Copy_constructor: x="<<x<<" y= "<<y<<endl;
}
int getx();
int gety();
};
int point::getx(){
return x;
}
int point::gety(){
return y;
}
void func1(point pt){
cout<<"-----Enter func1-----"<<endl;
cout<<"pt.getx()="<<pt.getx()<<" pt.gety()="<<pt.gety()<<endl;
}
point func2(){
cout<<"-----Enter func2------"<<endl;
point p1(606,808);
return p1;
}
void main()
{
point pt1(123,456);
point pt2=pt1;
cout<<"pt1.getx()= "<<pt1.getx()<<" pt1.gety()= "<<pt1.gety()<<endl;
cout<<"pt2.getx()= "<<pt2.getx()<<" pt2.gety()= "<<pt2.gety()<<endl;
func1(pt2);
pt2=func2();
cout<<"pt2.getx()= "<<pt2.getx()<<" pt2.gety()= "<<pt2.gety()<<endl;
}
运行结果:
注意:对此程序来说,若不提供显式拷贝构造函数(去掉定义中的声明函数),系统将调用隐含的拷贝构造函数进行所谓的“浅拷贝(原样拷贝)”处理,仍可以正确执行,显示结果如下: