对于普通类型的对象来说,它们之间的复制是很简单的,例如:
int a=88;
int b=a;
而类对象与普通对象不同,类对象内部结构一般较为复杂,存在各种成员变量。下面看一个类对象拷贝的简单例子。
#include <iostream>
using namespace std;
class ForExample
{
private:
int a;
public:
ForExample(int b)
{
a=b;
}
void Show ()
{
cout<<a<<endl;
}
};
int main()
{
ForExample A(100);
ForExample B=A;
B.Show ();
return 0;
}
运行程序,屏幕输出100。从以上代码的运行结果可以看出,系统为对象B分配了内存并完成了与对象A的复制过程。就类对象而言,相同类型的类对象是通过拷贝构造函数来完成整个复制过程的。下面举例说明拷贝构造函数的工作过程。
ForExample(const ForExample& C)就是自定义的拷贝构造函数。由此可见,拷贝构造函数是一种特殊的构造函数,函数的名称必须和类名称一致,它的唯一的一个参数是本类型的一个引用变量,该参数是const类型,不可变的。例如:类X的拷贝构造函数的形式为X(X& x)。
当用一个已初始化过了的自定义类类型对象去初始化另一个新构造的对象的时候,拷贝构造函数就会被自动调用。也就是说,当类的对象需要拷贝时,拷贝构造函数将会被调用。以下情况都会调用拷贝构造函数:
一个对象以值传递的方式传入函数体
一个对象以值传递的方式从函数返回
一个对象需要通过另外一个对象进行初始化。
如果在类中没有显式地声明一个拷贝构造函数,那么,编译器将会自动生成一个默认的拷贝构造函数,该构造函数完成对象之间的位拷贝。位拷贝又称浅拷贝,后面将进行说明。
自定义拷贝构造函数是一种良好的编程风格,它可以阻止编译器形成默认的拷贝构造函数,提高源码效率。
浅拷贝和深拷贝
在某些状况下,类内成员变量需要动态开辟堆内存,如果实行位拷贝,也就是把对象里的值完全复制给另一个对象,如A=B。这时,如果B中有一个成员变量指针已经申请了内存,那A中的那个成员变量也指向同一块内存。这就出现了问题:当B把内存释放了(如:析构),这时A内的指针就是野指针了,出现运行错误。
深拷贝和浅拷贝可以简单理解为:如果一个类拥有资源,当这个类的对象发生复制过程的时候,资源重新分配,这个过程就是深拷贝,反之,没有重新分配资源,就是浅拷贝。下面举个深拷贝的例子。
#include <iostream>
using namespace std;
class CC{
public:
CC(int b,char* cstr)
{
a=b;
str=new char[b];
strcpy(str,cstr);
}
CC(const CC& C)
{
a=C.a;
str=new char[a]; //深拷贝
if(str!=0)
strcpy(str,C.str);
}
void Show()
{
cout<<str<<endl;
}
~CC()
{
delete str;
}
private:
int a;
char *str;
};
int main()
{
CA A(10,"Hello!");
CA B=A;
B.Show();
return 0;
}
举一个最简单的例子,当类中成员变量中有指针变量时就会发生问题
class Seq
{
public:
Seq(int size):msize(size)
{
mpstack = new int[msize]();
}
~seq()
{
delete[]mpstack;
mpstack = nullptr;
}
private:
int *mpstack;
int msize;
}
int main()
{
Seq s1(10);
Seq s2 = s1;
return 0;
}
这个时候如果有这样的情况产生,浅拷贝资源后,在释放资源即调用析构函数的时候会产生资源归属不清的情况导致程序出现delete空指针的错误。 可以参照这个地址的博客上的图https://blog.csdn.net/qq_27011361/article/details/79518057。所以最好的代码习惯是不管什么样的类如果要用到赋值的时候,你都给它提供一个自己实现的拷贝构造函数和赋值运算符重载函数,防止浅拷贝的发生