【C++】多态 ⑧ ( 验证指向虚函数表的 vptr 指针 | 对比定义了虚函数的类和没有定义虚函数类的大小 )

文章目录

一、验证指向虚函数表的 vptr 指针是否存在
- 1、虚函数表与 vptr 指针由来
- 2、虚函数类与普通函数类对比 - 多出了 vptr 指针的大小

对比定义了虚函数的类与没有定义虚函数的类的大小 , 其它成员都相同 , 定义了虚函数的类多出了 4 字节 , 多出的 4 字节就是 vptr 指针占用的内存空间 ;

一、验证指向虚函数表的 vptr 指针是否存在

1、虚函数表与 vptr 指针由来

" 虚函数表 " 由 C++ 编译器负责创建与维护 , 被 virtual 关键字修饰的虚函数 , 会自动被 C++ 编译器存储到 " 虚函数表 " 中 ;

虚函数表创建 : 在类中使用 virtual 关键字声明虚函数时 , C++ 编译器会自动为该类生成 " 虚函数表 " ;

生成虚函数表的前提是至少有 1 个虚函数 ;
如果没有虚函数 , 就不会生成虚函数表 ;
如果类中有 virtual 虚函数 , 则该类的每个对象中 , 都有一个指向虚函数表的 vptr 指针 ;

虚函数表存储虚函数指针 : " 虚函数表 " 是存储 " 类成员函数指针 " 的数据结构 , 是一个函数指针数组 , 数组中的元素都是函数指针 , 具体存储的都是指向类中的虚函数的指针 ;

如果子类中 , 重写了父类的 virtual 虚函数 , 那么 C++ 编译器会在子类虚函数表中放入该子类虚函数的函数指针 ;

如果 C++ 类中存在 virtual 虚函数 , 在创建对象时 , 会生成虚函数表 Virtual Function Table , 简称 vtable ;

C++ 编译器编译代码时 , 会自动为该类添加一个 vptr 指针成员变量 , 该指针会指向虚函数表 ;

2、虚函数类与普通函数类对比 - 多出了 vptr 指针的大小

下面的代码中 , 定义了 2 个类 , 区别是一个定义了 virtual 虚函数 , 另外一个没有定义虚函数 ;

在 Parent 中定义了虚函数 virtual void fun(int a) ;
在 Parent2 中定义的是普通函数 void fun(int a) ;

使用 sizeof 函数 , 获取这两个类的大小 , 判断两个类的区别 ;

最终得到 , 有虚函数的类 , 比没有虚函数的类 , 多 4 字节 , 也就是一个指针的大小 ,

定义了虚函数的类 , 多出的 4 字节就是 vptr 指针的大小 ;

代码示例 :

#include "iostream"
using namespace std;

// 父类
class Parent {
public:
	virtual void fun(int a)
	{
		cout << "执行 父类 Parent 的 virtual void fun(int a) 函数" << endl;
	}
	int a;
};

// 父类
class Parent2 {
public:
	void fun(int a)
	{
		cout << "执行 父类 Parent2 的 void fun(int a) 函数" << endl;
	}
	int a;
};

// 子类
class Child : public Parent {
public:
	virtual void fun(int a)
	{
		cout << "执行 子类 virtual void fun(int a) 函数" << endl;
	}
};

int main() {

	Parent* p;
	// 创建 Child 子类对象时
	// 发现有 virtual 虚函数 会创建 虚函数表
	// 在对象中使用 vptr 指针指向 虚函数表 首地址
	Child c;

	// 将父类指针指向子类对象
	p = &c;
	// 通过父类指针调用子类对象的 fun 函数
	p->fun(1);

	// 打印 Parent 的 大小
	cout << "sizeof(Parent) : " << sizeof(Parent) << endl;

	// 打印 Parent2 的 大小
	cout << "sizeof(Parent2) : " << sizeof(Parent2) << endl;

	// 控制台暂停 , 按任意键继续向后执行
	system("pause");

	return 0;
}