虚函数通过virtual关键字实现多态,允许派生类重写函数,调用时根据对象实际类型确定执行版本。1. 基类声明virtual函数,派生类可override;2. 通过基类指针或引用调用时,程序依据对象类型而非指针类型选择函数;3. C++底层通过vtable和vptr实现动态绑定,每个含虚函数的类有vtable存储函数地址,每个对象含vptr指向对应vtable;4. 纯虚函数以“=0”声明,使类成为抽象类,不可实例化;5. 派生类必须实现所有纯虚函数才能实例化;6. 多态提升接口统一性与扩展性,理解vtable机制有助于优化性能。
虚函数是 C++ 实现多态的关键机制。它允许在基类中声明一个函数为
virtual
,这样在派生类中可以重写(override)这个函数。当通过基类指针或引用调用该函数时,程序会根据对象的实际类型来决定调用哪个版本的函数,而不是仅仅依据指针或引用的类型。
虚函数的基本语法与使用
在基类中,使用
virtual
关键字声明成员函数:
当我们用基类指针指向派生类对象并调用
show()
时:
虽然指针类型是 Base*,但实际调用的是 Derived 的 show() 函数,这就是多态的体现。
立即学习
“
C++免费学习笔记(深入)
”;
虚函数实现多态的原理:虚函数表(vtable)
C++ 编译器通过
虚函数表
(virtual table,简称 vtable)和
虚表指针
(vptr)来实现动态绑定。
Trae win
Trae Windows 官方版本现已全面支持 Win10 和 Win11 系统(64位)。国内开发者可直接访问 Trae 中文官网(trae.cn 或 trae.com.cn),一键下载官方正版 .exe 安装包,享受国内直连的高速稳定体验。安装过程极其简便,双击即可运行,并支持一键无缝导入 VS Code 或 Cursor 的原有主题、快捷键及插件配置。登录支持手机号、微信或稀土掘金账号。内置免费的豆包与 DeepSeek 等顶级大模型,让你开箱即用,轻松开启高效的 AI 智能编程之旅。
下载
每个包含虚函数的类都有一个对应的虚函数表,表中存放了该类所有虚函数的地址。
每个该类的对象内部会自动添加一个隐藏的指针(vptr),指向其所属类的虚函数表。
当调用虚函数时,程序通过对象的 vptr 找到虚函数表,再从中查出对应函数的实际地址进行调用。
例如,上述代码中:
Base 类有一个 vtable,记录 Base::show() 的地址。
Derived 类也有自己的 vtable,其中 Derived::show() 覆盖了继承自 Base 的条目。
new Derived() 创建的对象包含一个 vptr,指向 Derived 的 vtable。
ptr->show() 触发查表调用,最终执行 Derived::show()。
纯虚函数与抽象类
有时候我们希望基类中的虚函数没有具体实现,只作为接口存在。这时可以使用
纯虚函数
:
含有纯虚函数的类称为
抽象类
,不能实例化对象。只有派生类实现了所有纯虚函数后,才能创建该派生类的对象。
基本上就这些。虚函数让 C++ 支持运行时多态,是
面向对象编程
中实现接口统一、行为多样的核心工具。理解 vtable 机制有助于掌握其底层工作方式,写出更高效的代码。不复杂但容易忽略细节。
class Base {
public:
virtual void show() {
std::cout << "Base class show\n";
}
};
class Derived : public Base {
public:
void show() override { // 重写基类虚函数
std::cout << "Derived class show\n";
}
};
Base* ptr = new Derived();
ptr->show(); // 输出: Derived class show
class Shape {
public:
virtual void draw() = 0; // 纯虚函数
};
class Circle : public Shape {
public:
void draw() override {
std::cout << "Drawing a circle\n";
}
};
