虚函数实现运行时晚绑定，使Base*或Base&能根据实际对象类型调用派生类重写函数；必须在基类显式声明virtual，不可用于static函数、构造函数、内联函数和友元函数；析构函数通常需virtual以防资源泄漏。

虚函数让基类指针能调用子类重写的函数

虚函数的核心作用不是“实现动态多态性”这个抽象说法，而是让 Base* 或 Base& 在运行时根据实际对象类型，自动调用对应派生类中重写的函数——也就是“晚绑定”。没

必须用 virtual 声明，且只能用于成员函数

virtual 关键字必须显式写在基类函数声明前，子类中重写时可加可不加（但强烈建议加上，提高可读性与安全性）。它不能用于：

• static 成员函数（无 this 指针，无法参与虚表机制）
• 构造函数（对象尚未完全构建，虚表指针可能未就绪）
• 内联函数（inline 与虚函数语义冲突，编译器通常忽略 inline 提示）
• 友元函数（不属于类的成员，无法放入虚函数表）

析构函数几乎总是需要 virtual

如果基类指针指向派生类对象，而基类析构函数不是 virtual，那么 delete ptr 只会调用基类析构函数，派生类部分不会被清理——典型的资源泄漏。只要类设计为被继承并用基类指针管理生命周期，就必须把析构函数声明为：

virtual ~Base() = default;

注意：纯虚析构函数也必须提供定义（哪怕为空），否则链接失败。

虚函数调用有轻微开销，但现代编译器优化很成熟

每次调用虚函数需通过对象的虚表指针（vptr）查表跳转，比普通函数调用多一次内存访问。但在绝大多数场景下，这个开销可忽略；真正影响性能的是频繁的、热点路径上的虚调用 + 缓存不友好（如大量不同类型的对象混存）。若确定某类不会被继承，或某函数绝不会被重写，就不要加 virtual——避免误导读者，也防止编译器无法内联。

容易被忽略的一点：虚函数表（vtable）是每个类一份，不是每个对象一份；但每个对象都含一个指向其类 vtable 的指针（vptr），大小通常为指针宽度（8 字节 on x64）。这意味着空基类加了虚函数后，就不再满足 std::is_empty_v。