1. 拷贝构造函数对同一个对象来说只会调用一次,而且是在对象构造时调用。此时对象本身还没有构造(无空间),无需要去释放自己的一些资源。而赋值操作可能会调用多次,你在复制之前要释放自己的一些资源,否则会造成资源泄露。
实例:
#include<iostream>
using namespace std;
class Myclass
{
public:
Myclass(int n)
{
number=n;
cout<<"Initialize !"<<endl;
}
Myclass(const Myclass &other)
{
number=other.number;
cout<<"copy obj !"<<endl;
}
~Myclass()
{
cout<<"release !"<<endl;
}
private:
int number;
};
Myclass fun(Myclass p) //1次 临时对象
{
Myclass temp(p); //1次 临时对象
return temp; //1次,系统会建立一个无名对象以存放temp的值,所以有一次赋值。
}
int main()
{
Myclass obj1(10),obj2(0);
Myclass obj3(obj1); //1次
obj2 = fun(obj3); // fun(obj3)是3次,赋值又0次(obj2之前已经存在),所以这里是3次
Myclass obj4=obj1; // 拷贝1次(obj4之前不存在)
obj4 = obj3; // 只是赋值
return 0;
}
编译器虽然按以上思路把一个函数的的返回值当作临时隐藏变量来处理,但通过编译优化选项,可以消除隐藏变量。对于以上代码来说,开启了优化参数(o2)之后,fun就只有2个构造函数调用,具体来说,就是return rvo语句中的rvo直接当作了返回值。
2.
-
A a1 = new A(); A a2(a1); // a A a3; // 3 a3 = a1; // 4
此处a2的构造使用的拷贝构造,这点基本上都能明白,也容易理解。等4行的a3调用赋值操作。
但有的时候 同样是=,确调用了拷贝构造,那到底
什么时候调用拷贝构造?
什么时候调用赋值操作?
A a1;
A a2 = a1; //b
上面中a2初始化,此处调用拷贝构造。
大家可能看出来了行a、b的差别。那行4与行b的差别呢:行4中调用赋值操作,是应为a3已经初始化过(行3),此时a3以调用A()进行了内存空间开辟。此时=只需要将a1中的内容复制到a3的存储空间中。所以使用的是复制操作(operator=);
行b的情况则是这样,由于a2刚定义,尚未有内存空间,并且需要用a1去初始化它,所以需要两部操作,1.为a2分配空间;2.a1内容复制到a2空间。这一行操作相当于行3+行4的效果。
另外拷贝构造还在如下地方隐含调用:
1. 函数参数传对象的值时
Bool Fun(A a);
A b;
Fun(b);//对象值传递
此时在开始Fun函数时会创建一个临时对象t_b,类似:
Bool Fun( A b){
A t_b(b); //a
……
}
A行后的内容针对t_b进行。
2. 函数返回临时对象时
A Fun(){
A temp;
Return temp;//b
}
此处b行也会隐含调用拷贝构造产生一个临时对象作为返回,而真正的temp在}后将背销毁。
这里说道隐含调用,提一下: 修饰符explicit:如果不希望构造被隐含转换,则可将其定义为explicit,则禁止“隐式“转换。某些情况下”隐式“将会产生错误。Explicit主要目的是指明一个函数的调用必须是显式的,副作用才是禁止隐式的类型转化。如:
函数 :
A& test(A&);
Test(2);//成功,做了隐式转换,将int 型2转换为A类型。
如果A类定义中的构造函数A(const int &a)加上explicit,则:
Test(2);//失败,参数类型不匹配错误。
同样的
A a=3;//失败 类似的情况
A a(3);//成功