构造函数不可以是虚函数的,这个很显然,毕竟虚函数都对应一个虚函数表,虚函数表是存在对象内存空间的,如果构造函数是虚的,就需要一个虚函数表来调用,但是类还没实例化没有内存空间就没有虚函数表,这根本就是个死循环。
可是析构函数却要定义成虚函数,这是为什么呢,写一个非常简单的例子来理解一下:
class AA {
public:
AA() {};
~AA() { fun2(); };
virtual void fun1() {
cout << "Base construct" << endl;
}
virtual void fun2() {
cout << "Base destruct" << endl;
}
}; class BB : public AA {
public:
BB() { fun1(); };
~BB() { fun2(); };
void fun1() {
cout << "Derive construct" << endl;
}
void fun2() {
cout << "Derive destruct" << endl;
}
}; int main()
{
for (int i = ; i < ; i++) {
//AA a;
BB b;
}
return ;
}
输出结果:
所以可以看出,派生类对象构造的时候先调用基类的构造函数再调用派生类的构造函数,析构的时候先调用派生类析构函数再调用基类析构函数。
其实这个很好理解,派生类的成员由两部分组成,一部分是从基类那里继承而来,一部分是自己定义的。那么在实例化对象的时候,首先利用基类构造函数去初始化从基类继承而来的成员,再用派生类构造函数初始化自己定义的部分。
同时,不止构造函数派生类只负责自己的那部分,析构函数也是,所以派生类的析构函数会只析构自己的那部分,这时候如果基类的析构函数不是虚函数,则不能调用基类的析构函数析构从基类继承来的那部分成员,所以就会出现只删一半的现象,造成内存泄漏。
所以析构函数要定义成虚函数。