虚函数必须在基类中用virtual声明，仅适用于非静态成员函数；多态需通过基类指针或引用调用，值传递会导致切片；析构函数应声明为virtual以防资源泄漏；纯虚函数使类成为抽象类。
虚函数声明必须加 virtual 关键字，且只能用于类的非静态成员函数
不加 virtual 的函数调用完全由指针/引用的**静态类型**决定，哪怕实际指向子类对象，也不会触发多态。只有声明为 virtual 后，编译器才会在运行时根据对象的**动态类型**查虚函数表（vtable）跳转到对应实现。
常见错误：在派生类中重写函数时漏写 virtual（虽然可选，但强烈建议加上，提高可读性与安全性）；或试图对全局函数、静态成员函数、构造函数、析构函数（除析构函数外）加 virtual —— 这些都不合法。
-
virtual必须出现在基类声明中，派生类重写时加不加都行，但加了更清晰 - 构造函数不能是虚函数；析构函数应声明为
virtual，否则通过基类指针 delete 派生类对象会导致资源泄漏 - 纯虚函数写作
virtual void func() = 0;，含纯虚函数的类是抽象类，不可实例化
多态生效的前提是通过基类指针或引用调用虚函数
直接用对象变量调用（如 Derived d; d.func();）永远走静态绑定，不查 vtable，跟虚函数无关。只有像 Base* p = new Derived(); p->func(); 或 Base& r = d; r.func(); 这种形式，才能触发运行时多态。
容易忽略的点：传值方式传递对象会触发拷贝，丢失派生类信息（发生“对象切片”），导致后续调用仍是基类版本。例如 void foo(Base b) { b.func(); } 中，无论传入什么派生类对象，b 都只是 Base 实例。
立即学习“C++免费学习笔记（深入）”；
- 必须用
Base*或Base&，不能用Base（值类型） - 智能指针如
std::unique_ptr<base>同样支持多态，本质仍是间接访问 - 函数参数若需多态行为，务必声明为指针或引用，避免值传递
虚函数的性能开销很小，但要注意内联失效和调试复杂度
现代编译器对虚函数调用优化得很好，单次调用的额外成本主要是一次指针解引用（查 vtable + 查函数地址），远小于函数调用本身的开销。真正影响性能的是它阻止了编译器内联该函数——哪怕函数体极短，也无法被展开。
另一个实际影响是调试：IDE 在断点处可能显示“正在调用 Base::func”，但实际执行的是 Derived::func，需要看运行时对象的实际类型才能确认。GDB 中可用 print *(Base**)this 查 vptr，或直接 ptype *this 看动态类型。
- 高频调用的小函数（如 getter）若声明为虚，可能成为性能瓶颈，可考虑是否真需多态
- 虚函数无法被
constexpr修饰，也不能是模板成员函数（C++20 前） - 虚函数表本身是每个类一份，不是每个对象一份，内存开销可忽略
析构函数不声明为 virtual 是最常踩的内存坑
这是 C++ 多态中最危险也最容易被忽视的问题。如果基类析构函数不是虚的，而你用 Base* p = new Derived(); delete p;，那么只有 Base::~Base() 被调用，Derived 自己的析构逻辑（比如释放独占资源、关闭文件句柄）根本不会执行。
即使基类没有资源要清理，只要它有虚函数（即设计为多态基类），就应当把析构函数设为虚。习惯上，只要类中有 virtual 函数，就顺手把析构函数也标成 virtual。
- 写法：
virtual ~Base() = default;或virtual ~Base() {} - 不要写成
virtual ~Base() = delete;，除非你明确禁止 delete 基类指针 - 使用
final修饰类（如class Derived final : public Base）可让编译器在某些场景下取消虚调用，但不改变析构函数需为虚的要求
虚函数机制本身不复杂，但它的边界条件（指针/引用、析构、切片、内联限制）才是日常出问题的地方。写的时候多问一句：“这个变量此刻的静态类型是什么？我是不是在用值传递？”就能避开大半坑。
