关于虚函数的背景知识
- 用virtual关键字申明的函数叫做虚函数,虚函数肯定是类的成员函数。
- 存在虚函数的类都有一个一维的虚函数表叫做虚表。类的对象有一个指向虚表开始的虚指针。虚表是和类对应的,虚表指针是和对象对应的。
- 多态性是一个接口多种实现,是面向对象的核心。分为类的多态性和函数的多态性。
- 多态用虚函数来实现,结合动态绑定。
- 纯虚函数是虚函数再加上= 0。并且该函数只有声明,没有实现。
- 抽象类是指包括至少一个纯虚函数的类。
那虚函数是如何运行的呢?
class Base
{
public:
virtual void func() {}
}
class Derive : public Base
{
public:
void func() {}
}
void main()
{
Derive d;
Base *pb = &d;
b->func();
}
编译器在编译的时候,发现Base类中有虚函数,此时编译器会为每个包含虚函数的类创建一个虚表(即vtable),该表是一个一维数组,在这个数组中存放每个虚函数的地址。由于Base类和Derive类都包含了一个虚函数func(),编译器会为这两个类都建立一个虚表,(即使子类里面没有virtual函数,但是其父类里面有,所以子类中也有了)
那么如何定位虚表呢?编译器另外还为每个类的对象提供了一个虚表指针(即vptr),这个指针指向了对象所属类的虚表。在程序运行时,根据对象的类型去初始化vptr,从而让vptr正确的指向所属类的虚表。所以在调用虚函数时,就能够找到正确的函数。
对于上述程序,由于pb实际指向的对象类型是Derive,因此vptr指向的Derive类的vtable,当调用pb->func()时,根据虚表中的函数地址找到的就是Derive类的func()函数。
正是由于每个对象调用的虚函数都是通过虚表指针来索引的,也就决定了虚表指针的正确初始化是非常重要的。换句话说,在虚表指针没有正确初始化之前,我们不能够去调用虚函数。那么虚表指针在什么时候,或者说在什么地方初始化呢?
答案是在构造函数中进行虚表的创建和虚表指针的初始化。
还记得构造函数的调用顺序吗,在构造子类对象时,要先调用父类的构造函数,此时编译器只“看到了”父类,并不知道后面是否后还有继承者,它初始化父类对象的虚表指针,该虚表指针指向父类的虚表。当执行子类的构造函数时,子类对象的虚表指针被初始化,指向自身的虚表。对于以上的例子,当Derive类的d对象构造完毕后,其内部的虚表指针也就被初始化为指向Derive类的虚表。在类型转换后,调用pb->func(),由于pb实际指向的是Derive类的对象,该对象内部的虚表指针指向的是Derive类的虚表,因此最终调用的是Derive类的func()函数。
要注意:对于虚函数调用来说,每一个对象内部都有一个虚表指针,该虚表指针被初始化为本类的虚表。所以在程序中,不管你的对象类型如何转换,但该对象内部的虚表指针是固定的,所以呢,才能实现动态的对象函数调用,这就是C++多态性实现的原理。
总结(基类有虚函数):
- 每一个类都有虚表。
- 虚表可以继承,如果子类没有重写虚函数,那么子类虚表中仍然会有该函数的地址,只不过这个地址指向的是基类的虚函数实现。如果基类有3个虚函数,那么基类的虚表中就有三项(虚函数地址),派生类也会有虚表,至少有三项,如果重写了相应的虚函数,那么虚表中的地址就会改变,指向自身的虚函数实现。如果派生类有自己的虚函数,那么虚表中就会添加该项。
- 派生类的虚表中虚函数地址的排列顺序和基类的虚表中虚函数地址排列顺序相同。
分享到:
相关推荐
同时,通过实践和调试代码,你可以更深刻地认识到指针和虚函数在解决实际问题时的重要性。 总之,理解和掌握指针、虚函数、强制转换以及它们之间的交互,是成为C++高级程序员的必经之路。通过深入学习和实践,你的...
使用虚函数时,必须通过指向基类的指针或基类对象的引用来调用虚函数,其格式为:`指向基类的指针变量名->虚函数名(实参表)`或`基类对象的引用名.虚函数名(实参表)` 虚函数是C++多态的一种表现形式,例如子类...
`时,`c3`的虚函数指针指向的是`C3`的虚函数表,但由于多重继承的存在,实际上包含了`C1`和`C2`的虚函数地址。 #### 四、虚函数表的实际应用 通过给定的代码示例,我们可以看到虚函数表的实际作用: 1. **通过指针...
当通过基类的指针或者引用调用一个虚函数时,编译器会首先通过对象指针找到对应的虚函数表,然后根据调用的虚函数名在虚函数表中查找对应的函数地址,进而调用正确的函数实现。 #### 三、虚函数表的结构与实现 虚...
虚函数表(Virtual Table,简称V-Table)是一种机制,用于存储类的虚函数的地址,解决继承和覆盖的问题,使得父类的指针可以正确地调用子类的成员函数。 虚函数表的实现机制是通过在对象实例的内存中分配一个表,这...
3. 测试代码:创建基类和派生类的对象,通过基类指针调用虚函数,验证虚函数表的正确工作,例如: ```cpp int main() { Base* basePtr = new Derived(); basePtr->func1(); // 调用Derived的func1 basePtr->func2...
当创建一个类的实例时,编译器会为该实例分配内存,其中包括虚函数表的指针。这个指针通常位于对象实例内存的最前端,以便快速访问。通过这个指针,我们可以在运行时找到正确的函数地址进行调用,即使这个指针指向的...
这意味着,对于任何包含虚函数的对象,其内存布局中第一个字段通常就是指向该对象虚函数表的指针。 #### 示例分析 以下是一个简单的类`Base`,其中包含了三个虚函数: ```cpp class Base { public: virtual void...
本文将基于“Java和C++比较--虚函数和指针”的主题,深入探讨两种语言在虚函数机制与指针使用上的差异,以及这些差异如何影响程序设计和性能。 ### 虚函数机制 #### C++中的虚函数 在C++中,虚函数是实现多态性的...
C++的虚函数和虚函数表是面向对象编程中实现多态性的重要机制。多态性允许通过基类指针或引用调用不同子类的重写方法,从而实现更灵活的设计和代码复用。 虚函数(Virtual Function)是基类中声明的一种特殊函数,...
在C++编程语言中,指针和引用是两种非常重要的概念,它们经常被用来处理对象间的交互,尤其是在涉及多态性(polymorphism)时,如虚函数的应用。本实例“使用指针和引用处理虚函数实例”着重探讨了如何通过这两种...
其中虚函数和this指针是C++中两个非常重要的概念。 谈面向对象(Object-oriented) 面向对象是一种编程方式,它将现实世界中的对象抽象化,使得编程更加简洁高效。面向对象的主要特性有封装、继承、多态三大特性。...
- 在示例代码中,`Derived` 类继承了三个类,`Base1` 和 `Base2` 都有虚函数,因此 `Derived` 类会有自己的虚函数表,该表中会包含 `Base1` 和 `Base2` 的虚函数,以及 `Derived` 自身的虚函数。 #### 六、小结 ...
在C++中,虚函数是实现多态性的重要...理解和利用虚函数表可以帮助我们更深入地理解C++的多态机制和内存布局,但在实际编程中,我们通常使用C++的语法特性,如基类指针调用虚函数,来实现多态,而非直接操作虚函数表。
1. 从存储空间角度,虚函数对应一个指向vtable虚函数表的指针,这大家都知道,可是这个指向vtable的指针其实是存储在对象的内存空间的。问题出来了,如果构造函数是虚的,就需要通过 vtable来调用,可是对象还没有...
虚函数和虚表是C++面向对象编程中的关键特性,它们是实现多态性的重要机制。虚函数使得可以通过基类指针或引用来调用派生类中的重定义函数,从而实现动态绑定。 首先,当一个类声明了一个或多个虚函数,系统就会为...
总的来说,虚函数表是C++实现多态性的一种关键机制,它允许我们通过基类指针调用派生类的成员函数,从而实现运行时的类型检查和动态绑定。理解虚函数表的工作原理对于编写高效且可维护的C++代码至关重要。
如果类继承自其他类并重写了某个虚函数,那么子类的虚函数表将会包含新的函数指针,而父类的虚函数表仍然保留旧的函数指针。这样,当通过基类指针调用虚函数时,实际调用的是子类的版本,这就是动态绑定或多态性。 ...