普通成员函数调用只看指针类型而非对象实际类型，编译期静态绑定；虚函数通过vtable和vptr实现运行时动态分发，仅通过基类指针或引用调用才触发多态。
普通成员函数调用只看指针类型，不是对象实际类型
当你写 Base* ptr = new Derived(); ptr->normalFunc();，哪怕 ptr 指向的是 Derived 对象，只要 normalFunc 是普通函数，编译器就直接绑定到 Base::normalFunc —— 它根本不查对象内存里到底是什么。这种静态绑定在编译期就定死了地址，快，但没多态。
常见错误现象：
- 以为“继承了就能自动用子类实现”，结果调的全是基类版本
- 调试时发现派生类的同名函数根本没进断点，因为压根没被调用
虚函数靠 vtable 实现运行时分发，必须用指针或引用调用才生效
virtual 关键字会让编译器为类生成虚函数表（vtable），每个对象头里藏一个指向该表的指针（vptr）。调用 ptr->virtualFunc() 时，实际流程是：取 ptr 所指对象的 vptr → 查 vtable → 找到对应函数地址 → 跳转执行。这个过程多一次间接寻址，性能略低，但换来了真正的动态行为。
使用场景和要点：
- 只有通过基类
*或&调用虚函数，才能触发多态；直接用对象变量（如Derived d; d.virtualFunc();）仍是静态绑定 - 虚函数参数默认值在编译期按静态类型决定，比如
Base::func(int x = 42)和Derived::func(int x = 100)，用Base*调用时默认值永远是 42 - 构造函数不能是虚函数；析构函数建议声明为
virtual，否则delete basePtr可能漏掉派生类部分析构
虚函数重写要严格匹配签名，否则变成隐藏而非覆盖
派生类中写一个和基类虚函数同名但参数类型、const 限定或返回类型不一致的函数，不会构成重写（override），而是隐藏（hiding）。编译器不会报错，但多态失效。
正确做法：
- 用
override关键字显式标注，编译器会检查是否真能重写；不匹配就报错 - 注意
const成员函数和非const版本是两个独立函数；基类虚函数带const，派生类重写也必须带 - 返回类型协变只允许指针/引用类型变为其派生类，例如基类返回
Base*，派生类可返回Derived*
有虚函数的类对象体积变大，且无法做 POD 类型优化
只要类里有一个虚函数，编译器就会给每个对象加一个隐式的 vptr（通常 8 字节 on 64-bit），哪怕你只定义了一个 virtual ~Base() = default;。这会影响内存布局和缓存局部性。
影响和限制：
- 这类对象不再是 POD（Plain Old Data），不能用
memcpy安全复制，也不能用memset清零（vptr 会被破坏） - 不能作为 C 风格联合（union）的活跃成员，也不能用于某些要求严格内存对齐的硬件接口
- 如果确定不需要多态，比如工具类、数据容器，别加
virtual——没必要的开销
虚函数不是语法糖，它背后是 vtable + vptr 的具体机制；而普通函数就是普通函数，连这张表都不进。很多人卡在“为什么我写了 virtual 却没多态”，问题往往出在调用方式（没用指针/引用）、签名不一致，或者忘了 override 校验。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
