构造函数:
在类中,构造函数不可以为虚函数。这是为什么呢?这要先了解一下vptr指针。
什么是vptr指针呢?
当类中声明虚函数时,编译器会在类中生成一个虚函数表。虚函数表是一个存储成员函数指针的数据结构,它是由编译器自动生成与维护的,virtual成员函数会被编译器放入虚函数表中。
所以,当存在虚函数时,每个对象都需要有一个指向虚函数表的指针,这就是vptr指针。
在实现多态的过程中,父类和派生类都有vptr指针。
简单的说,就是当虚函数存在时,会存在一张虚函数表记录虚函数。而vptr指针就是指向虚函数表的指针。
那么,对象中的vptr指针什么时候被初始化呢?
对象在创建时,由编译器对vptr指针进行初始化
只有在对象的构造完全结束时,vptr指针的指向才最终确定
父类的vptr指针指向父类的虚函数表
子类的vptr指针指向子类的虚函数表
显然,构造函数如果为虚函数的话,执行构造函数需要通过vptr指针,但是那时候vptr指针还没又初始化好,这就矛盾了。因此,构造函数不能为虚函数。
从这里还可以知道定义子类对象时,vptr先指向父类的虚函数表,在父类构造完成之后,子类的vptr才指向自己的虚函数表。也就是说,在父类或者子类的构造函数中调用虚成员函数是没有多态性的。
下面是一个例子:
#include <iostream>
#include <Windows.h>
#include <vector>
using namespace std;
class Base
{
public:
virtual void f()
{
cout << "base f" << endl;
}
Base()
{
f();
}
virtual ~Base()
{
cout << "delete Base" << endl;
}
private:
int a = 1;
};
class A :public Base
{
public:
virtual void f()
{
cout << "a f" << endl;
}
A()
{
}
~A()
{
cout << "delete A" << endl;
}
private:
int b = 1;
};
int main()
{
Base* a = new A();
delete a;
return 0;
}
这是结果:
果然并没有调用子类的f()方法。
析构函数:
先给出结论:基类的析构函数一定要为虚函数。
#include <iostream>
#include <Windows.h>
#include <vector>
using namespace std;
class Base
{
public:
virtual void f()
{
cout << "base f" << endl;
}
Base()
{
f();
}
~Base()
{
cout << "delete Base" << endl;
}
private:
int a = 1;
};
class A :public Base
{
public:
virtual void f()
{
cout << "a f" << endl;
}
A()
{
}
~A()
{
cout << "delete A" << endl;
}
private:
int b = 1;
};
int main()
{
Base* a = new A();
//A* a = new A();
delete a;
return 0;
}
结果是:
当基类指针指向派生类的对象,假如析构函数不是虚函数,那么就不会发生动态绑定,而是静态绑定,指针的静态类型为基类指针,因此在delete的时候只会调用基类的析构函数,而不会调用派生类的析构函数。这样,在派生类中申请的资源就不会得到释放,就可能会造成内存泄漏。