C++虚函数是什么原理？C++虚函数与动态绑定详解【面试必问】

虚函数通过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关键字，就走静态绑定——直接按指针类型选函数，完全跳过查表。

标签： 字节 c++ 区别 为什么