首先,我尝试着搞清楚类的默认自动生成的析构函数都做了哪些工作,清理了啥?没有清理啥?
做个小测试:
#includeusing namespace std; class Temp { public: Temp() { num = 10; p = new int; *p = 2; cout<<"-----------------------n类内访问"< 运行结果:
在代码里面,执行完int*a = test01()后,在test01()中创建的temp1对象就结束了生命周期,但是通过新建一个指针依旧访问到了在temp1对象中创建的在堆区的数据。即指针p已经清理了,但是p指向的堆区数据是没有清理的。
如果把test01()的相关代码注释掉,使用test02()相关代码查看普通的成员是否有被清理
#includeusing namespace std; class Temp { public: Temp() { num = 10; p = new int; *p = 2; cout<<"-----------------------n类内访问"< 结果如下:这是在CLion中的输出结果(使用其他软件也会报错,只是可能报错形式不完全相同)
num的值已经被清理,num所在的地址也不可访问了。
可见,系统默认的析构函数会清理栈区数据,不会清理堆区数据,所以如果有需求(一般情况下都需要),堆区数据要自己清理。
所以,如果此时使用了拷贝构造,无论是自己写的深拷贝还是默认的浅拷贝,由于析构函数根本没有清理堆区数据,只要没有自己写析构函数,都是不存在重复清理的问题的。
如果自己写了析构函数,并在析构函数里面清理了堆区数据,那就要注意在浅拷贝下的重复清理问题了。
#includeusing namespace std; class Temp { public: Temp() { num = 10; p = new int; *p = 2; } ~Temp() { if(p != NULL) { delete p; p = NULL; //标准操作,避免野指针 } } int *p; int num; }; void test() { Temp temp1; Temp temp2(temp1); } int main() { test(); return 0; } 结果如下:
显示有数据被清理了两次,因为在清理temp2和temp1时,都对同一块堆区空间进行了清理。
即,如果在堆区开辟了空间,应该自己书写深拷贝构造函数和析构函数,析构函数是为了能够清理堆区数据,深拷贝构造函数是防止清理时重复清理。



