首先要理解在C++中将一个对象的值赋给另一个对象有两种不同的方法。
第一种方法是赋值(Assignment),第二种时初始化(Initialization).
初始化用于以下3种情况:
(1)当一个对象副本被作为参数传递给函数时。
(2)当一个对象被另一个对象显式地初始化(explicitly initialize)时,例如在对象的声明(declaration)中。
(3)当创建一个临时对象时(作为返回值)
复制构造函数只能用于初始化,不能用于赋值计算。
通用形式:
classname (const classname &obj){ //.. }
#include <iostream> #include <cstdlib> using namespace std; class myclass{ int *p; public: myclass(int i); //构造函数 myclass(const myclass &ob); //复制构造函数. ~myclass(); int getval(){ return *p; } }; myclass::myclass(int i){ cout<<"Allocating p\n"; p=new int; *p=i; } myclass::myclass(const myclass &obj){ p=new int; *p=*obj.p; //复制值 cout<<"Copy constructor is called.\n"; } myclass::~myclass(){ cout<<"Freeing p\n"; delete p; } void display(myclass ob){ cout<<ob.getval()<<'\n'; } int main(){ myclass a(10); display(a); return 0; }
输入结果如下:
Allocating p
Copy constructor is called.
10
Freeing p
Freeing p
main函数中程序动作的流程如下:
myclass a(10);
-> 创建对象a时,(普通)构造函数为对象分配了内存地址,并且将内存地址赋给了变量a.p;
display(a);
->对象a 作为参数传递给display()中的ob. 此时,对象a的复制构造函数被调用,创建了对象a的一个副本。
复制构造函数为对象副本分配内存,并将这个内存地址赋给对象副本的成员p.
-> a.p 和 ob.p 所指的内存空间是不同和相互独立的,但是内存空间中包含的值是一样的。
(如果没有创建复制构造函数,那么默认的按位入职将使得变量a.p 和 ob.p 指向同一块内存)
display()返回.
-> 对象ob超出了作用域,调用ob的析构函数,释放ob.p所指向的内存空间.
main()返回
-> 对象a超出了作用域,调用a 的析构函数, 释放a.p所指的内存空间。
通过使用复制构造函数,可以消除在传递对象给函数时所带来的破坏性副作用。
当使用一个对象初始化另一个对象的时候,将调用复制函数.
int main(){
myclass a(10); //调用普通构造函数
myclass b=a; //调用复制构造函数
return 0;
}
注意:复制构造函数只有在初始化对象的时候才被调用,直接的赋值过程不能调用.
myclass a(10),b(20);
//
b=a; //赋值运算,不调用复制构造函数。
当创建临时对象作为函数的返回结果时,复制函数将被调用。
#include <iostream> using namespace std; class myclass{ public: myclass(){ cout<<"Normal Constructor.\n"; } myclass(const myclass &obj){ cout<<"Copy Constructor.\n"; } }; myclass f(){ myclass ob; //调用普通构造函数 return ob; //隐式的调用复制构造函数 } int main(){ myclass a; //调用普通构造函数 a=f(); //调用复制构造函数. return 0; }
Note:这个需要研究一下:
-> 理论上输出的应该是:
Normal Constructor.
Normal Constructor.
Copy Constructor.
但是我在VS2005中调试出来的只有:
Normal Constructor.
Normal Constructor.