virtual关键字实现运行时多态,通过虚函数表和虚函数指针机制,使基类指针调用实际对象的重写函数,支持动态绑定与抽象类设计。

在C++中,virtual关键字主要用于实现运行时多态,也就是我们常说的动态绑定。它的核心作用是让基类的指针或引用在调用被重写的函数时,能够根据实际指向的对象类型来决定调用哪个版本的函数,而不是仅仅依据指针或引用的类型。
虚函数与多态的基本用法
当一个函数在基类中被声明为 virtual,派生类可以重写(override)这个函数。通过基类指针或引用调用该函数时,程序会自动调用实际对象类型的函数版本。
例如:
class Animal {public: virtual void speak() { cout << "Animal speaks" << endl; }};class Dog : public Animal {public:void speak() override {cout << "Dog barks" << endl;}};
int main() {Animal* ptr = new Dog();ptr->speak(); // 输出: Dog barksdelete ptr;return 0;}
如果没有 virtual 关键字,输出将是 “Animal speaks”,因为编译器会进行静态绑定。加上 virtual 后,调用的是 Dog 类的 speak(),实现了多态。
立即学习“C++免费学习笔记(深入)”;
虚函数表(vtable)与虚函数指针(vptr)
C++ 实现虚函数的核心机制是虚函数表(virtual table,简称 vtable)和虚函数指针(vptr)。
每个包含虚函数的类都有一个由编译器生成的虚函数表,它是一个函数指针数组,存储了该类所有虚函数的实际地址。每个该类的对象内部会包含一个隐式的指针(vptr),指向其所属类的虚函数表。当通过基类指针调用虚函数时,程序会通过对象的 vptr 找到对应的 vtable,再从中查找函数地址并调用。
这个过程发生在运行时,因此称为动态绑定。
纯虚函数与抽象类
virtual 还可以用来定义纯虚函数,语法为:
virtual void func() = 0;
含有纯虚函数的类称为抽象类,不能实例化对象。派生类必须实现所有纯虚函数,否则也仍是抽象类。
这常用于定义接口,强制派生类提供具体实现。
注意事项与常见误区
析构函数应声明为 virtual:如果基类的析构函数不是虚函数,通过基类指针删除派生类对象时,只会调用基类的析构函数,造成资源泄漏。构造函数不能是虚函数:因为对象还没完全构造好,vptr 还未初始化。内联函数与虚函数:虚函数通常不能内联,因为内联是在编译期展开,而虚函数调用在运行时才确定。
基本上就这些。virtual 是 C++ 多态的基础,理解它背后的 vtable 机制有助于写出更高效、安全的面向对象代码。
以上就是C++ virtual关键字有什么用_C++中虚函数与多态的实现原理的详细内容,更多请关注创想鸟其它相关文章!
版权声明:本文内容由互联网用户自发贡献,该文观点仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。
如发现本站有涉嫌抄袭侵权/违法违规的内容, 请发送邮件至 chuangxiangniao@163.com 举报,一经查实,本站将立刻删除。
发布者:程序猿,转转请注明出处:https://www.chuangxiangniao.com/p/1485628.html
微信扫一扫
支付宝扫一扫