今天在复习shallow copy和deep copy的时候,为了重现shallow copy带来的问题,我写了下面一段代码
class Node{
public:
int *num;
Node(){num = new int[100];for(int i=0;i<100;i++) num[i]=0;}
~Node(){delete[] num;cout<<"destruct"<<endl;}
};
void process(Node* node){
//Node n;
node->~Node(); 1
//delete node; 2
}
int main(){
Node* node = new Node();
cout<<node->num[0]<<endl;
process(node);
cout<<node->num[0]<<endl;
//node->~Node();
return 0;
}
Node类里面有num,所以需要deep copy,至于shallow copy的问题在这里就不多说了,总之,如果类里面需要获取资源的话,如new等,则需要deep copy,即定义对应的拷贝构造函数、重载赋值操作符以及定义析构函数。
不然的话,则会出现浅拷贝的问题,这样的话就很有可能重复删除一块资源而导致程序出错。
那这里代码的问题是,在process函数里,如果我显示的调用析构函数(1),则在main函数里,还是能继续访问node->num[0],而如果我使用delete来释放对象,则在main函数里访问node->num[0]会报错(报错是我预计的结果)
于是我查了一下显式调用析构函数和delete(或者是隐式调用析构函数,例如函数退出等) 的区别。
1.显式调用时,析构函数相当于一个普通的成员函数
2.如果类里面申请了一些内存,则如果显式调用析构则会重复释放内存导致出错
3.把一个对象看作占用了部分栈内存,占用了部分堆内存(如果申请了的话),这样便于理解这个问题系统隐式调用析构函数的时候,会加入释放栈内存的动作(而堆内存则由用户手工的释放) 用户显式调用析构函数的时候,只是单纯执行析构函数内的语句,不会释放栈内存,摧毁对象
注意new是开在堆上,开在堆上的对象实例是不会在退出函数时析构的。。。只有栈上才会自动析构。因此main函数里的那个new出来的Node最后没有再次调用析构函数,因而没有报错。
如果是这样,就会报错:
int main(){
Node n;
n.~Node();
return 0;
}
done
总之就是傻逼才显式的去调用析构函数
不过,针对今天遇到的这个问题,对于析构的理解又加深了一些。