构造函数和析构函数以及他们之间错综复杂的关系
class Base{
public:
Base(){printf("base constructor is called\n");}
~Base(){printf("base destructor is called\n");}
};
class Son: public Base{
public:
Son(){printf("son constructor is called\n");}
~Son(){printf("son destructor is called\n");}
};
int main(){
Son *p = new Son;
delete(p);
p = nullptr;
}
results:
base constructor is called
son constructor is called
son destructor is called
base destructor is called
父子子父(父类构造子类构造子类析构父类析构)
稍加更改
父类指针指向子类对象
class Base{
public:
Base(){printf("base constructor is called\n");}
~Base(){printf("base destructor is called\n");}
};
class Son: public Base{
public:
Son(){printf("son constructor is called\n");}
~Son(){printf("son destructor is called\n");}
};
int main(){
Base *p = new Son;
delete(p);
p = nullptr;
}
results:
base constructor is called
son constructor is called
base destructor is called
我们发现没有调用子类的析构函数,想一想为什么?
首先我们调用new创建了一个Son的实例,new的过程其实做了很多事,包括分配内存,调用构造函数等,调用构造函数时,先调用父类的构造函数,再调用子类的构造函数。delete时清空内存并调用析构函数。析构时调用父类的析构函数。这里为什么没有调用子类的析构函数,和上面的区别在于是父类指针,这意味着什么?这意味着p这个指针对于所分配的内存的解释是Base类型,而Base类型是没有子类的析构函数的。
注意这个时候会引起什么问题呢?
缺少了子类析构函数的调用也就缺少了对于子类资源的清理,如果子类有资源开辟到堆区,这个时候内存得不到释放就会造成内存泄漏。
怎么解决呢?通过虚析构
class Base{
public:
Base(){printf("base constructor is called\n");}
virtual ~Base(){printf("base destructor is called\n");}
};
class Son: public Base{
public:
Son(){printf("son constructor is called\n");}
~Son(){printf("son destructor is called\n");}
};
int main(){
Base *p = new Son;
delete(p);
p = nullptr;
}
results:
base constructor is called
son constructor is called
son destructor is called
base destructor is called
这个时候为什么能调用到子类的构造函数呢?
将父类的析构函数定义为虚函数之后,很多东西都不一样了。
父类和子类都会多了虚函数表和虚函数表指针。这个时候进行析构时由于多了虚函数表指针,析构时调用的是子类中的析构函数,这是多态的实现。那又为什么会调用到父类的析构函数呢?这是由于delete的机制,清理的是父类指针指向的空间。