我们有时候会听说c++中有深拷贝和浅拷贝的说法,那么深拷贝和浅拷贝的区别是什么呢?简单来说,浅拷贝就是简单的赋值拷贝操作;而深拷贝是程序员手动在堆区重新申请一块内存然后进行拷贝操作,那么这么做的意义何在呢,请看下面的一个场景,
#include <iostream>
#include <string>
using namespace std;
class Student
{
public:
string m_name;
int *m_age;
Student(string name, int age)//有参构造函数
{
cout << "有参构造函数调用。。" << endl;
m_name = name;
m_age = new int(age);//在堆区申请int类型的指针保存传入的年龄值
}
};
int main()
{
Student s1("Tom", 20);
cout << "s1姓名: " << s1.m_name << "年龄: " << *s1.m_age << endl;
Student s2(s1);//此处隐式调用编译器默认的拷贝构造函数将对象s1的属性拷贝给对象s2
cout << "s2姓名: " << s2.m_name << "年龄: " << *s2.m_age << endl;
system("pause");
return 0;
}
创建Student学生类,在其中自定义一个有参构造函数,在堆区手动new申请一块内存使用一个int类型的指针接收创建实例对象时传入的学生年龄,这里隐式调用了编译器默认的拷贝构造函数来创建对象s2:
Student(const Student& s)//(伪代码)编译器默认的拷贝构造函数
{
m_name = s.m_name;//此处为浅拷贝
m_age = (s.m_age);//浅拷贝即简单的赋值拷贝操作
}
运行结果如下:
看起来运行结果是没什么问题,在程序运行结束后由默认析构函数来自动释放回收栈区内存(这里没有显示);但是我们说,在堆区手动开辟的内存也要由程序员手动释放,这一点尤其是对运行大型的复杂程序很有必要,所以我们尝试在上面的Student类中重载析构函数来手动释放堆区的内存:
~Student()//析构函数声明
{
if ( m_age != NULL)
{
delete m_age;//手动释放堆区内存
m_age = NULL;//防止野指针出现
}
}
然而函数运行结束调用析构函数时程序崩了,这是因为在调用默认拷贝构造函数创建对象s2时是浅拷贝,仅仅是将指针s1.m_age的值拷贝给了s2.m_age,此时s1.m_age和s2.m_age都指向同一块内存空间(即存储s1.m_age的那块堆区的内存地址),程序运行结束调用析构函数时,根据先进后出的原则,他们指向的那块堆区内存首先被s2的析构函数释放掉,随后当s1的析构函数也来试图释放这块内存时就会出错,因为那块空间此时已经被s2的析构函数释放掉了,所以浅拷贝带来的问题:堆区内存的重复释放。
解决方法也很简单,在Student类中重载拷贝构造函数,在给新对象赋值同时new手动申请一块新的内存空间即可:
#include <iostream>
#include <string>
using namespace std;
class Student
{
public:
string m_name;
int *m_age;
Student(string name, int age)//有参构造函数
{
cout << "有参构造函数调用。。" << endl;
m_name = name;
m_age = new int(age);//在堆区申请int类型的指针保存年龄值
}
Student(const Student& s)//重载后的拷贝构造函数
{
cout << "拷贝构造函数调用。。" << endl;
m_name = s.m_name;
m_age = new int(*s.m_age);//深拷贝,在堆区手动申请一块新的内存进行赋值
}
~Student()//析构函数声明
{
cout << "析构函数调用。。" << endl;
if ( m_age != NULL)
{
delete m_age;//手动释放堆区内存
m_age = NULL;//防止野指针出现
}
}
};
int main()
{
Student s1("Tom", 20);
cout << "s1姓名: " << s1.m_name << "年龄: " << *s1.m_age << endl;
Student s2(s1);//此处隐式调用重载后的拷贝构造函数进行深拷贝操作
cout << "s2姓名: " << s2.m_name << "年龄: " << *s2.m_age << endl;
system("pause");
return 0;
}
在调用拷贝构造函数创建对象s2时是深拷贝,在用一块新的存储空间来保存指针s1.m_age指向的那块内存的值,对象s1.m_age和s2.m_age分别指向一块不同的堆区内存,所以在调用各自的析构函数释放内存时互不影响。
总结:浅拷贝只是简单的赋值拷贝操作,若在类中有在堆区开辟的属性,一定要自己重载拷贝构造函数进行深拷贝,防止浅拷贝带来的堆区内存重复释放的问题。