首先要理解在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.