虚函数表指针、虚基类表指针

本文详细解析了虚函数表指针与虚基类表指针的工作原理及应用场景,包括单继承、多继承及虚继承情况下的内存布局与指针数量变化。

虚函数表指针、虚基类表指针

对于虚函数表指针和虚基类表指针:

当单继承且非虚继承时:每个含有虚函数的表只有一个虚函数表,所以只需要一个虚表指针即可;

当多继承且非虚继承时:一个子类有几个父类则会有几个虚函数表,所以就有和父类个数相同的虚表指针来标识;

总之,当时非虚继承时,不需要额外增加虚函数表指针。

 

当虚继承时:无论是单虚继承还是多虚继承,需要有一个虚基类表来记录虚继承关系,所以此时子类需要多一个虚基类表指针;而且只需要一个即可。

当虚继承时可能出现一个类中持有多个虚函数表的情况:无论是单虚继承还是多虚继承,

如果子类没有构造函数和析构函数,且子类中的虚函数都是在父类中出现的虚函数,这个时候不需要增加任何虚表指针;只需要像多继承那个持有父类个数的虚表指针来标识即可;

如果子类中含有构造函数或者析构函数或二者都有,则在子类中只要每出现一个父类中的虚函数则需要增加一个虚函数表指针来标识此类的虚函数表;

无论是否含有构造函数或者虚构函数,只要继承都是虚继承且出现了父类中没有出现的虚函数,则在子类中需要再增加一个徐函数表指针;如果其中有一个是非虚继承,则按照最省空间的原则,不需要增加虚函数表指针,因为这个时候可以和非虚基类共享一个虚函数表指针。
在 C++ 中,**每个包含虚函数的类的对象都会存储一个虚函数表指针(vptr)**,该指针指向该类的虚函数表(vtable)。这个虚函数表指针是对象内存布局中的一个隐藏成员,通常位于对象内存的最开始位置,以便于快速访问[^1]。 当一个类中定义了虚函数,编译器会为该类生成一个虚函数表,并为每个对象添加一个指向该表的指针(vptr)。这个虚函数表中存储了类中所有虚函数的地址,使得在运行时能够根据对象的实际类型动态绑定虚函数[^3]。 需要注意的是,**虚函数表属于类而非对象**,即同一个类的所有对象共享同一个虚函数表。而每个对象则拥有自己的虚函数表指针(vptr),指向该类的虚函数表。因此,虚函数表指针(vptr)是对象的一部分,而虚函数表本身并不占用对象的内存空间。 例如,以下是一个包含虚函数的类: ```cpp class Base { public: virtual void foo() {} int data; }; ``` 其对象的内存布局通常如下: ``` [ vptr | data ] ``` 其中,`vptr` 是一个隐藏的指针,指向 `Base` 类的虚函数表。这一机制是 C++ 实现多态的基础,允许通过基类指针或引用调用派生类的重写函数[^2]。 --- ### 虚函数表指针的初始化 在对象构造过程中,编译器会自动为对象的虚函数表指针(vptr)赋值,使其指向该对象所属类的虚函数表。这个过程发生在构造函数执行期间,确保对象在使用前已经具备正确的虚函数表指针[^2]。 对于派生类对象,构造函数会先调用基类构造函数,此时对象的虚函数表指针最初指向基类的虚函数表。随后,在派生类构造函数体执行时,虚函数表指针会被更新为指向派生类的虚函数表。这种机制保证了在构造过程中对象的虚函数表指针始终指向正确的虚函数表[^3]。 --- ### 多态调用过程 当通过基类指针或引用调用虚函数时,实际调用的是对象所属类的虚函数。这一过程依赖于虚函数表指针(vptr)和虚函数表(vtable)的协作: 1. 通过对象的虚函数表指针(vptr)找到虚函数表。 2. 从虚函数表中获取虚函数的实际地址。 3. 执行该地址对应的函数。 这种机制虽然带来了运行时的灵活性,但也引入了轻微的性能开销。相比普通函数调用,虚函数调用需要额外的间接寻址操作[^4]。 --- ### 注意事项 - 虚函数表在编译时生成,并存储在只读数据段中,运行时不可修改。 - 同一个类的所有对象共享同一个虚函数表,但每个对象拥有独立的虚函数表指针(vptr)。 - 虚函数机制增加了对象的内存开销(每个对象多出一个指针大小的空间)。 ---
评论 4
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值