首先,深拷贝和浅拷贝是类的拷贝构造函数里的概念。
浅拷贝:即我们的拷贝构造函数进行的简单的赋值拷贝操作
比如我们有一个StringBad类,其有str和len成员。使用StringBad sailor = sports; 是使用浅拷贝将sport拷贝到sailor上。而默认的拷贝构造函数实质就是逐个复制非静态成员,复制的是成员的值。
深拷贝:在堆区重新申请空间,进行拷贝操作
先看下下面这个例子(定义一个类p1,将p1的年龄和身高都拷贝到p2上)
#include<iostream>
using namespace std;
class Person {
public:
//无参(默认)构造函数
Person() {
cout << "无参构造函数!" << endl;
}
//有参构造函数
Person(int a,int height) {
Height = new int(height);//放到堆区
cout << "有参构造函数!" << endl;
}
~Person()
{
cout << "析构函数的调用" << endl;
}
public:
int age;
int* Height;
};
void test01()
{
Person p1(10,160);
Person p2(p1);
cout << "p2的身高为:" <<*p2.Height<< endl;
}
int main()
{
test01();
system("pause");
return 0;
}
其中的身高Height我们放到堆区用指针接收.
可以看到,程序正常运行。但是我们可以发现,构造函数只调用了一次,而析构函数调用了两次。难道拷贝构造将p1复制给p2不调用构造函数只调用析构函数吗?并不是,只是不调用我们的默认(无参)构造函数,而调用拷贝构造函数,而这个拷贝构造函数需要自己实现:
Person(const Person &p)
{
cout << "拷贝构造函数的调用" << endl;
}
如果我们加上这段代码会发现结果就如我们所期待的那样,两次构造、两次析构。
但是,我们的身高Height是放在堆区是可由程序员自己释放的,所以我们在析构函数中进行释放。
~Person()
{
cout << "析构函数的调用" << endl;
if (Height != NULL)
{
delete Height;
Height = NULL;//防止野指针
}
}
其他的不变,进将析构函数改成上述后,程序运行崩了:
原因:
p2拷贝p1的Height指针是将其地址浅拷贝过去了,于是在进行析构时p2将Height指针指向的空间释放了,p1再想释放同样的Height指针就非法操作了(栈后进先出所以先析构p2再p1)。
隐式拷贝构造函数是按值进行复制的,比如我们这里是p2.age = p1.age;但是这里复制的并不是int值,而是一个指向int的指针!也就是说将p1初始化为p2后,得到的是两个指向同一int型的指针(成员变量weight也是一样)。这样的话当p2析构后p1指向的指针就被释放了,因此p1就析构不了了。
解决办法:深拷贝(重新申请一个堆区空间存放Height指针)
Person(const Person&p)
{
Height = new int(*p.Height);
}
我们只需要自己添加一个拷贝构造函数,在拷贝构造函数里new一个堆区存放,这样p1和p2析构的就不是同一块堆区空间了。
运行结果: