用一个对象初始化一个新的对象,拷贝构造函数是把对象当作参数传入,利用传入的对象生成一个新的对象,而赋值运算符是将对象的值赋值给一个已经存在的实例。
拷贝构造函数的功能是使用对象创建另一个对象实例,也就是说使用已经存在的对象初始化另一个新的对象。赋值运算符是将一个对象的值赋给另一个已经存在的对象。调用的是拷贝构造函数还是赋值运算符,主要看是否有新的对象产生。
使用场景:
- 使用一个已经存在的对象创建一个新的对象
- 对象作为函数的返回值以值的方式从函数返回
- 对象作为函数参数,以值传递的方式传给函数
语法:
className(const className &obj) {//拷贝构造函数}
#include<bits/stdc++.h>
using namespace std;
class A
{
public:
int a;
char c;
A(int a) //this 是 A 类型的指针,指向当前对象,this 经常用来区分成员变量和参数
{
this->a=a;
cout<<"调用了构造函数"<<endl;
}
/*
当对象以值传递的方式作为函数参数时,会调用拷贝构造函数。
当对象以引用的方式作为函数参数时,因为和实参共用一个内存,不会产生新的对象,所以不会再次调用拷贝构造函数。
如果拷贝构造函数的参数是值传递的话,
在初始化拷贝构造函数的参数时就会用实参去初始化一个新的对象(形参),A other=实参,
进而会继续调用拷贝构造函数,继续初始化形参,因此会形成无限递归。递归就是函数自己调用自己。
*/
A(const A &other) //const 是为了防止在函数体里面修改外部对象 other,& 是防止陷入递归。
{
this->a=other.a;
this->c=other.c;
cout<<"调用了拷贝构造函数"<<endl;
}
~A()
{
cout<<"调用了析构函数"<<endl;
}
};
void fun(A &a) {} //参数为引用的时候,不会再次调用拷贝构造函数,因此此时形参和实参共用同一个地址,没有新对象的产生,所以不会再次调用拷贝构造。
void fun1(A a) {} //在对象以值传递形式传参的时候,会调用拷贝构造。
A f()
{
A a(1); //a作为局部变量存放在栈区,函数结束会释放掉函数栈,所以 a 也会被释放掉。所以在下一行会调用拷贝构造函数,拷贝出来一份作为返回值。
return a; //对象作为函数的返回值以值的方式从函数返回
};
int main()
{
A a(1);
A b(a); //用一个对象初始化另一个对象,会调用拷贝构造函数,如果没实现拷贝构造函数,编译器会提供一个默认的拷贝构造函数
cout<<b.a<<endl;
cout<<"-----------------"<<endl;
A c(2);
cout<<c.a<<endl;
c=a; //赋值,给一个已经存在的对象赋值,不会调用拷贝构造函数
cout<<c.a<<endl;
cout<<"-----------------"<<endl;
fun1(c);
cout<<"-----------------"<<endl;
f();
cout<<"-----------------"<<endl;
return 0;
}