17370845950

虚函数和纯虚函数是C++实现运行时多态的核心机制：虚函数通过vtable和vptr实现动态绑定，需经指针或引用调用；纯虚函数定义接口、强制子类实现，含纯虚函数的类为抽象类。

虚函数和纯虚函数是 C++ 实现运行时多态的核心机制，它们让程序能在不改变调用代码的前提下，根据对象实际类型自动选择正确的函数版本。

虚函数：实现动态绑定的基础

在基类中用 virtual 声明的成员函数就是虚函数。它告诉编译器：“这个函数可能被派生类重写，调用时别在编译期就定死，留到运行时再决定调用哪个版本。”

关键点：

• 虚函数必须通过指针或引用调用才触发动态绑定；直接用对象调用仍是静态绑定
• 派生类中同名、同参数、同返回类型的函数会自动成为虚函数（即使没写 virtual）
• 构造函数不能是虚函数；析构函数建议声明为 virtual，避免资源泄漏

纯虚函数：强制接口规范的契约工具

纯虚函数形如 virtual void func() = 0;，它没有函数体，只定义接口。含纯虚函数的类叫抽象类，不能实例化，只能被继承。

作用很明确：

• 明确要求子类必须提供具体实现，否则子类也变成抽象类
• 把“做什么”和“怎么做”分离，是面向接口编程的典型体现
• 常用于构建框架层，比如图形系统中定义 draw()、resize() 等纯虚函数，由具体形状类去实现

底层原理：虚函数表（vtable）与虚指针（vptr）

C++ 编译器为每个含虚函数的类生成一张虚函数表（vtable），里面存着该类所有虚函数的地址。每个对象内部隐式包含一个虚指针（vptr），指向其所属类的 vtable。

调用过程简化为三步：

• 通过对象的 vptr 找到对应 vtable
• 根据虚函数在类中声明的顺序，查 vtable 中对应槽位
• 跳转到该槽位存储的函数地址执行

这就是为什么虚函数调用比普通函数略慢——多了两次内存寻址，但换来的是灵活的运行时行为。

常见误区与实用建议

容易踩坑的地方：

• 不要在构造/析构函数中调用虚函数——此时 vptr 指向的是当前正在构造/析构的类的 vtable，不会触发派生类的重写版本
• 虚函数默认不是 inline 的，即使加了 inline 关键字，编译器通常也会忽略
• 纯虚函数可以有定义（比如在基类里写 virtual void f() = 0 { /* 默认实现 */ }），但必须通过作用域解析符显式调用
• 避免过度使用虚函数，无必要不加 virtual；现代 C++ 更倾向用模板+概念（concepts）或 std::variant 实现零开销抽象

基本上就这些。虚函数不是语法糖，而是连接设计意图与运行行为的关键桥梁；理解 vtable 才算真正看懂多态怎么“动”起来。