拷贝构造函数的调用有四种场景
假设定义了一个类A:
class A
{
public:
A(const A& obj) //拷贝构造函数
{...}
...
};
第一种copy构造函数调用:
void main()
{
A a1;
A a2 = a1;//调用copy构造函数
a2 = a1;//浅copy,不会调用copy构造函数
}
第二种copy构造函数的调用:
void main()
{
A a1;
A a2(a1);//调用copy构造函数
}
第三种copy构造函数的调用:
void f(A p)
{...}
void main()
{
A a;
f(a);//a实参去初始化形参p,会调用copy构造函数
}
第四种copy构造函数调用场景(难点):
g函数返回的是一个元素(复杂类型的),返回的是一个新的匿名对象(所以会调用匿名对象类的copy构造函数)
A g()
{
A a;
return a;.//先调用copy构造函数,用a对象创建了一个匿名对象;再执行a的析构函数(因为a为局部对象)
}
void main()
{
A a0;
a0 = g();//匿名对象浅copy给a0,匿名对象被析构
A a1 = g();//匿名对象直接去初始化a1,不会调用copy构造函数(此时c++编译器直接把匿名对象转成a1)
}
注意:
1. 只有一个对象对另一个同类型的对象进行初始化才会调用拷贝构造函数,但是匿名对象对另一个同类型的对象初始化不会调用拷贝构造函数,因为c++编译器对这种情况进行优化,直接将匿名对象转化为该对象,不需要进行额外的内存分配,提高了效率;
2. 如果匿名对象对另一个同类型的对象赋值(非初始化),则匿名对象赋值给另一个对象后,匿名对象会被析构。