虚函数通过vptr指向vtable实现动态绑定，运行时根据对象实际类型查表调用对应函数；vtable编译期生成、类共享，vptr对象独有；纯虚函数强制子类实现，抽象类不可实例化。
虚函数的核心原理是“用一个指针（vptr）指向一张函数地址表（vtable），运行时查表调用”，它让基类指针能根据实际对象类型，自动调用对应子类的函数版本——这就是动态绑定，也是C++运行时多态的根基。
虚函数表（vtable）和虚表指针（vptr）是怎么回事
每个含虚函数的类，编译器会在编译期生成一张只读的虚函数表（vtable），里面按声明顺序存着该类所有虚函数的地址。这张表是类级别的，所有该类对象共用同一张表。
而每个该类的对象，内存布局开头会隐式插入一个指针成员（vptr），大小为4字节（32位）或8字节（64位），指向所属类的vtable。
- vtable在编译时就确定，不会运行时生成
- 派生类vtable会继承基类虚函数项，并把被重写的函数地址替换成自己的实现
- 新增的虚函数追加到vtable末尾；纯虚函数对应位置存nullptr（调用会崩溃）
- 对象的vptr永远指向“自己真实类型”的vtable，哪怕它是用基类指针接收的
动态绑定怎么发生的
当你写base_ptr->func()且func()是虚函数时，编译器生成的代码实际执行三步：
立即学习“C++免费学习笔记（深入）”；
- 从base_ptr所指对象的首地址取出vptr
- 通过vptr找到对应的vtable
- 查vtable中func()所在索引（编译期已固定），取出函数地址并调用
整个过程发生在运行时，不依赖指针的声明类型，只取决于对象的实际类型。没有virtual关键字，就走静态绑定——直接按指针类型选函数，完全跳过查表。
为什么不用每个对象存一堆函数指针
早期有人想过让每个对象自己存10个虚函数指针，但问题明显：
- 1000个对象 × 10个指针 = 至少8KB额外内存（64位下），严重浪费
- 继承时需手动初始化所有指针，极易出错、难维护
- 无法支持虚函数覆盖逻辑（比如子类没重写，仍要调基类实现）
vtable方案只让每个对象多占1个指针空间，复用率高、结构清晰、语义明确——这才是C++选择它的根本原因。
虚函数和纯虚函数的关键区别
虚函数有默认实现，子类可选重写；纯虚函数形如virtual void f() = 0;，它强制子类必须提供实现，否则该子类也无法实例化。
- 含纯虚函数的类叫抽象类，不能new对象
- 纯虚函数本质是“只定义接口，不提供实现”，用于规范派生类行为
- 抽象类的vtable里，纯虚函数对应项通常填nullptr，首次调用会触发abort
基本上就这些。理解vptr→vtable→函数地址这条链，就抓住了虚函数机制的命脉。
