如何全面深入理解C++中虚函数表与类内存分布的内在联系和运作机制？

本文共计3763个文字，预计阅读时间需要16分钟。

目录- 不可定义为虚拟函数的函数- 将析构函数定义为虚拟函数的作用- 虚拟函数表原理- 继承关系中的虚拟函数表结构- 多重继承的虚拟函数表- 多态应用原理- 对齐和补齐规则- 为什么需要对齐和补齐

目录

• 不可定义为虚函数的函数
• 将析构函数定义为虚函数的作用
• 虚函数表原理
• 继承关系中虚函数表结构
• 多重继承的虚函数表
• 多态调用原理
• 对齐和补齐规则
• 为什么要有对齐和补齐
• 资源链接

不可定义为虚函数的函数

类的静态函数和构造函数不可以定义为虚函数:

静态函数的目的是通过类名+函数名访问类的static变量，或者通过对象调用staic函数实现对static成员变量的读写，要求内存中只有一份数据。而虚函数在子类中重写，并且通过多态机制实现动态调用，在内存中需要保存不同的重写版本。

构造函数的作用是构造对象，而虚函数的调用是在对象已经构造完成，并且通过调用时动态绑定。动态绑定是因为每个类对象内部都有一个指针，指向虚函数表的首地址。而且虚函数，类的成员函数，static成员函数都不是存储在类对象中，而是在内存中只保留一份。

将析构函数定义为虚函数的作用

类的构造函数不能定义为虚函数，析构函数可以定义为虚函数，这样当我们delete一个指向子类对象的基类指针时可以达到调用子类析构函数的作用，从而动态释放内存。