class A
{
public:
virtual void fun() {}
virtual void fun1() {}
virtual~A() {}
};
int main()
{
A* pa = new A();
A a;
return 0;
}
在vs2022中调式查看pa和a的内存:
可以看到pa和a都有一个名为_vfptr的成员并且他们的值相等,其类型为void**,这个就是我们常说的虚指针vptr,它指向虚函数表,虚函数表存放的即是类中的每个虚函数的地址,即_vptr下的[0][1][2],分别为类A三个虚函数的指针。
结论:
1.每个包含虚函数的类在创建对象的时候都会分配一个_vptr的成员指向虚函数表,虚函数表存放的即是类中虚函数的地址。
2.虚函数表不属于类,在编译时期创建,为每个含有虚函数的类分配一个虚函数表。
3.虚函数表存放在只读数据段(.rodata)中,虚函数存放在代码区(.text)中。
继承中多态:
class A
{
public:
virtual void fun() {}
virtual void fun1() {}
virtual~A() {}
};
class B:public A
{
public:
void fun()override {}
};
int main()
{
B b;
A* a = new B();
a->fun();
return 0;
}
可以看出,在运行时,_vfptr指向的虚函数表中,fun的地址都是B,所以无论是通过B对象还是A的指针调用fun()函数,实际上调用的都是B的fun()函数。
关于构造函数为什么不能是虚的:
因为类中所有的虚函数地址都是在编译时期存放在虚函数表中,虚函数的调用必须通过虚函数表,而要想找到虚函数表必须通过虚指针vptr,而虚指针vptr只有在对象创建后才存在。创建对象必须要调用构造函数,此时由于构造函数是虚的,找不到构造函数,因此构造函数不能是虚的。
有关虚函数表的详细分析可以参考:
https://blog.csdn.net/yc461515457/article/details/52658589?spm=1001.2014.3001.5506