C++ 多态核心三件套：虚函数、纯虚函数、虚析构函数（面试 + 工程完全指南）

一、前言

在 C++ 面向对象中，多态是最核心能力之一，而多态的实现离不开三大机制：

virtual → 虚函数

=0 → 纯虚函数

virtual ~ → 虚析构函数

很多人是"分别理解"，但其实这三者是一条演进链。

👉 本文目标：

从问题 → 解决 → 演进 → 工程实践 → 面试回答，彻底讲清楚三者关系。

二、问题起点：为什么需要虚函数？

示例：没有虚函数

cpp 复制代码

#include <iostream>
using namespace std;

class Animal {
public:
    void speak() {
        cout << "Animal speak" << endl;
    }
};

class Dog : public Animal {
public:
    void speak() {
        cout << "Dog bark" << endl;
    }
};

int main() {
    Animal* a = new Dog();
    a->speak();   // ❌ 输出 Animal speak
}

问题本质

👉 C++ 默认是 静态绑定（编译期绑定）

调用哪个函数 → 取决于指针类型（Animal*）

而不是对象真实类型（Dog）

三、虚函数（virtual）

改造代码

cpp 复制代码

class Animal {
public:
    virtual void speak() {
        cout << "Animal speak" << endl;
    }
};

class Dog : public Animal {
public:
    void speak() override {
        cout << "Dog bark" << endl;
    }
};

cpp 复制代码

Animal* a = new Dog();
a->speak();   // ✅ Dog bark

核心作用

👉 实现 运行时多态（动态绑定）

底层原理（重点）

每个类：

有一个 虚函数表（vtable）

每个对象：

有一个 虚表指针（vptr）

调用流程：

cpp 复制代码

a->speak()
↓
找到对象中的 vptr
↓
找到 vtable
↓
找到函数地址
↓
调用真实函数（Dog::speak）

一句话总结

虚函数 = 把"函数调用决策"从编译期 → 推迟到运行时

四、纯虚函数（=0）

为什么还需要纯虚函数？

有些类本质上是"抽象的"，不应该有具体实现。

不合理设计

cpp 复制代码

class Animal {
public:
virtual void speak() {
cout << "???"; // 没意义
}
};

正确做法：纯虚函数

cpp 复制代码

class Animal {
public:
virtual void speak() = 0; // 纯虚函数
};

特性总结

1️⃣ 类变为抽象类

cpp 复制代码

Animal a;  // ❌ 编译错误

无法实例化，抽象了。

2️⃣ 子类必须实现

cpp 复制代码

class Dog : public Animal {
public:
    void speak() override {
        cout << "Dog bark" << endl;
    }
};

本质理解

纯虚函数 = "接口约束机制"

👉 类似 Java 的：interface

对比总结

类型	含义
虚函数	可以重写
纯虚函数	必须重写

五、虚析构函数（高频坑）

这个是 工程 + 面试必考点

错误示例

cpp 复制代码

class Base {
public:
    ~Base() {
        cout << "Base destructor" << endl;
    }
};

class Derived : public Base {
public:
    ~Derived() {
        cout << "Derived destructor" << endl;
    }
};

int main() {
    Base* p = new Derived();
    delete p;
}

输出

Base destructor

👉 ❌ Derived 没析构 → 资源泄漏

✅ 正确写法

cpp 复制代码

class Base {
public:
virtual ~Base() {
cout << "Base destructor" << endl;
}
};

✅ 输出

Derived destructor

Base destructor

原理

delete p

↓

通过 vptr 找 vtable

↓

调用真实对象析构函数

↓

Derived → Base

面试金句

只要类会被继承，并通过基类指针 delete，就必须定义虚析构函数

六、三者关系（核心）

一条完整演进链

cpp 复制代码

需要多态
   ↓
虚函数（解决调用正确函数）
   ↓
纯虚函数（抽象接口）
   ↓
虚析构函数（解决释放问题）

📊 总结表

概念	作用	本质
虚函数	动态调用	运行时多态
纯虚函数	接口约束	抽象类
虚析构函数	正确释放	生命周期安全

七、工程级认知（非常重要）

必须形成这个模型：

C++ 多态 = 3件套

1️⃣ virtual → 调用正确函数

2️⃣ =0 → 强制实现接口

3️⃣ virtual ~ → 安全释放对象

八、面试标准回答（直接背）

👉 面试题：虚函数、纯虚函数、虚析构函数关系？

标准答案：

虚函数用于实现运行时多态，通过虚函数表在运行时决定调用具体函数。

纯虚函数是在虚函数基础上的抽象机制，用于定义接口，使类成为抽象类，并强制子类实现。

虚析构函数用于保证通过基类指针删除对象时，能够正确调用子类析构函数，避免资源泄漏。

三者共同构成了 C++ 多态和对象生命周期管理的核心机制。

九、常见面试追问（建议掌握）

1️⃣ 虚函数有性能损耗吗？

👉 有（一次间接寻址），但通常可忽略

2️⃣ 构造函数能是虚函数吗？

👉 ❌ 不能（对象还没构建）

3️⃣ 析构函数为什么可以是虚函数？

👉 因为 delete 时对象已存在，需要多态

4️⃣ 哪些类必须写虚析构？

✔ 被继承

✔ 有虚函数

✔ 用基类指针操作

十、记忆口诀（强烈建议记住）

虚函数 → 能调对

纯虚函数 → 必须写

虚析构 → 删不炸

十一、结语

这一套知识你如果掌握到：

能画出 vtable
能解释 delete 多态
能写出抽象接口设计

👉 基本就是 C++ 面试中级 → 高级分水岭