c++中虚函数的作用是什么_c++多态性实现原理【深度】

虚函数是C++唯一原生运行时多态机制，通过vtable/vptr实现动态绑定；析构函数必须virtual以防资源泄漏；override强制校验重写签名，构造中调用虚函数无效。

虚函数让基类指针调用派生类函数，这是唯一靠谱的运行时多态手段

不加 virtual，Base* 指向 Derived 对象时，ptr->func() 一定调用 Base::func() —— 编译器在编译期就锁死了函数地址。加上 virtual 后，调用才真正“看对象是谁”，而不是“看指针声明成啥”。这不是语法糖，是 C++ 唯一原生支持的动态绑定机制。

vtable 和 vptr 是多态的底层铁轨，不是可选优化

每个含虚函数的类，编译器自动生成一张 vtable（函数指针数组）；每个该类对象开头隐式插入一个 vptr，指向所属类的 vtable。调用虚函数时：先通过 vptr 找到表 → 再查表中对应槽位 → 跳转执行。这意味着：

• 所有同类型对象共享同一张 vtable，不重复生成
• Derived 继承 Base 的 vtable 结构，重写函数就覆盖对应项，新增虚函数则追加到表尾
• 多重继承下可能有多个 vptr，访问非首基类虚函数需调整 this 偏移（别手算，交给编译器）

析构函数必须声明为 virtual，否则 delete 就是内存泄漏现场

如果 Base::~Base() 不是虚函数，

Base* p = new Derived(); delete p; 只会调用 Base::~Base()，Derived 析构体根本不会执行 —— 成员变量、资源句柄、堆内存全被跳过。正确写法只有这一种：

class Base {
public:
    virtual ~Base() = default; // 或空实现，但绝不能省略 virtual
};

纯虚析构函数也合法：virtual ~Base() = 0;，但必须提供定义（哪怕空实现），否则链接失败。

立即学习“C++免费学习笔记（深入）”；

override 关键字不是装饰，是防错刚需

派生类中写 void func() override，编译器会严格校验：函数签名是否与基类虚函数完全一致（参数、const、noexcept）。漏写 override，哪怕拼错函数名或少个 const，编译器也当它是新函数，不会报错，结果就是多态失效、行为诡异。常见坑包括：

• 基类是 virtual void draw() const，派生类写 void draw()（缺 const）→ 静态绑定，不进 vtable
• 基类参数是 std::string_view，派生类误写 std::string → 签名不匹配，自动变成重载而非重写
• 构造函数里调虚函数？不行。此时 vptr 还没指向派生类 vtable，this 被当作当前正在构造的类类型处理

虚函数机制带来每对象一个指针的内存开销和一次间接寻址的运行时成本，但它解决的是接口与实现解耦这个根本问题。别为了“性能”提前规避虚函数，而应在明确不需要多态时，才果断去掉 virtual。