C++中如何实现多态?(虚函数表与动态绑定)

发布时间 - 2026-01-23 00:00:00    点击率:
只有被virtual显式修饰的成员函数,且通过指针或引用调用时,才触发动态绑定;普通函数、静态函数、构造函数及非virtual析构函数均不参与虚函数机制。

虚函数怎么声明才触发动态绑定

只有被 virtual 显式修饰的成员函数,且通过指针或引用调用时,才会走运行时动态绑定。普通函数、静态成员函数、构造函数、析构函数(除非显式声明为 virtual)都不参与虚函数机制。

常见错误是忘记在基类中加 virtual,比如写成 void func() {} 而不是 virtual void func() {},此时即使派生类重写,调用也仍是静态绑定,编译器直接绑定到指针/引用的静态类型所对应的函数。

实操建议:

  • 基类中所有预期被重写的接口,一律加上 virtual
  • 派生类中用 override 显式标注重写(C++11 起),避免拼写错误或签名不匹配导致意外隐藏而非重写
  • 纯虚函数写作 virtual void func() = 0;,含纯虚函数的类即为抽象类,不能实例化

虚函数表(vtable)在内存

里长什么样

每个含虚函数的类(或其子类)在编译期生成一张全局只读的函数指针表,即 vtable;每个该类的对象开头隐式插入一个指针 vptr,指向其所属类的 vtable。对象布局通常是:vptr + 成员变量。

注意:vtable 不是每个对象一份,而是每类一份;vptr 才是每个对象一份。多继承下可能有多个 vptr(如菱形继承需 virtual 继承来解决)。

典型布局示例(单继承):

class Base {
public:
    virtual void f() { cout << "Base::f"; }
    int x;
};

class Derived : public Base {
public:
    void f() override { cout << "Derived::f"; }
    int y;
};

// sizeof(Derived) 通常是 16(x + y + vptr,假设指针占 8 字节)

调试时可通过打印对象地址和 *reinterpret_cast(&obj) 查看 vptr 指向的 vtable 内容(需关闭优化,且依赖 ABI,仅作理解参考)。

为什么构造函数和析构函数不能是虚函数(除了析构函数例外)

构造函数不能是虚函数,是因为对象尚未完成构造,vptr 还没被初始化到最终类的 vtable —— 它在构造过程中会随继承链逐级更新:先调基类构造,设基类 vtable 地址;再调派生类构造,覆盖为派生类 vtable 地址。此时若允许虚调用,会调到不完整状态的函数,语义危险。

析构函数可以且**应该**是 virtual 的(尤其基类有虚函数时),否则通过基类指针 delete 派生类对象,只会调基类析构,派生部分内存泄漏。

关键点:

  • 基类析构函数必须声明为 virtual,哪怕函数体为空
  • 一旦类设计为多态基类(即有 virtual 函数),就默认应有 virtual 析构函数
  • 不要在构造/析构函数中调用虚函数 —— 此时动态绑定失效,实际调用的是当前正在构造/析构的那个类的版本

动态绑定失败的三个典型场景

即使写了 virtualoverride,仍可能因调用方式不对而退化为静态绑定。

最容易忽略的是:通过对象值(非指针/引用)调用虚函数,例如 Base b = Derived(); b.func(); —— 发生对象切片(slicing),b 是纯 Base 对象,vptr 指向 Base vtable,调用 Base::func

其他常见陷阱:

  • 使用 static_cast 强转指针类型后调用,如 static_cast(ptr)->func(),若 ptr 实际是 Derived*,但强制按 Base* 解释,仍能正确动态绑定;但若强转为无关类型(如 Other*),则未定义行为
  • 函数参数是值传递而非引用/指针,传入派生类对象会切片,丢失虚函数信息
  • 模板函数内直接调用 t.func()t 是模板参数),编译期绑定,与虚函数无关

虚函数机制只对“指针或引用 + 成员函数调用”这一特定语法生效,其余都是普通函数调用。这点必须刻进本能。


# c++  # 多态  # 成员变量  # 成员函数  # 子类  # 构造函数  # 析构函数  # 引用调用  # void  # 指针  # 继承  # 多继承  # 虚函数  # 纯虚函数  # 接口  # 指针类型  # 值传递  # 切片  # delete  # 对象  # 绑定  # 重写  # 派生类  # 的是  # 或引用  # 而非  # 类中  # 都是  # 这一  # 是因为 


相关栏目: 【 网站优化151355 】 【 网络推广146373 】 【 网络技术251813 】 【 AI营销90571


相关推荐: 如何快速完成中国万网建站详细流程?  java ZXing生成二维码及条码实例分享  Laravel如何与Vue.js集成_Laravel + Vue前后端分离项目搭建指南  Laravel怎么上传文件_Laravel图片上传及存储配置  Laravel如何使用API Resources格式化JSON响应_Laravel数据资源封装与格式化输出  Windows10电脑怎么设置虚拟光驱_Win10右键装载ISO镜像文件  Python并发异常传播_错误处理解析【教程】  Laravel Livewire是什么_使用Laravel Livewire构建动态前端界面  如何在阿里云服务器自主搭建网站?  使用C语言编写圣诞表白程序  Laravel如何正确地在控制器和模型之间分配逻辑_Laravel代码职责分离与架构建议  Python3.6正式版新特性预览  HTML透明颜色代码怎么让下拉菜单透明_下拉菜单透明背景指南【技巧】  Laravel怎么进行数据库回滚_Laravel Migration数据库版本控制与回滚操作  历史网站制作软件,华为如何找回被删除的网站?  Laravel怎么清理缓存_Laravel optimize clear命令详解  Laravel API路由如何设计_Laravel构建RESTful API的路由最佳实践  Win11怎么恢复误删照片_Win11数据恢复工具使用【推荐】  Laravel路由Route怎么设置_Laravel基础路由定义与参数传递规则【详解】  INTERNET浏览器怎样恢复关闭标签页_INTERNET浏览器标签恢复快捷键与方法【指南】  Laravel如何实现邮件验证激活账户_Laravel内置MustVerifyEmail接口配置【步骤】  Laravel如何自定义分页视图?(Pagination示例)  Laravel怎么配置S3云存储驱动_Laravel集成阿里云OSS或AWS S3存储桶【教程】  网站建设保证美观性,需要考虑的几点问题!  javascript事件捕获机制【深入分析IE和DOM中的事件模型】  Laravel如何获取当前用户信息_Laravel Auth门面获取用户ID  如何在阿里云虚拟机上搭建网站?步骤解析与避坑指南  悟空浏览器如何设置小说背景色_悟空浏览器背景色设置【方法】  Android 常见的图片加载框架详细介绍  js实现获取鼠标当前的位置  怎么用AI帮你为初创公司进行市场定位分析?  html5如何实现懒加载图片_ intersectionobserver api用法【教程】  laravel服务容器和依赖注入怎么理解_laravel服务容器与依赖注入解析  如何破解联通资金短缺导致的基站建设难题?  Laravel怎么返回JSON格式数据_Laravel API资源Response响应格式化【技巧】  Swift中循环语句中的转移语句 break 和 continue  Windows Hello人脸识别突然无法使用  企业网站制作这些问题要关注  敲碗10年!Mac系列传将迎来「触控与联网」双革新  深圳网站制作公司好吗,在深圳找工作哪个网站最好啊?  HTML5空格和nbsp有啥关系_nbsp的作用及使用场景【说明】  百度输入法全感官ai怎么关 百度输入法全感官皮肤关闭  如何在橙子建站上传落地页?操作指南详解  如何用AI一键生成爆款短视频文案?小红书AI文案写作指令【教程】  Laravel集合Collection怎么用_Laravel集合常用函数详解  免费视频制作网站,更新又快又好的免费电影网站?  悟空识字如何进行跟读录音_悟空识字开启麦克风权限与录音  如何在云服务器上快速搭建个人网站?  详解jQuery停止动画——stop()方法的使用  实现点击下箭头变上箭头来回切换的两种方法【推荐】