C++ | 虚表的写入时机

虚表

在C++的多态机制中，使用了 virtual 关键字声明的函数称之为虚函数，每个有虚函数的类或者虚继承的子类，编译器都会为它生成一个虚拟函数表（简称：虚表，以下用 vftable表示），表中的每一个元素都指向一个虚函数的地址。

我们都知道在C++中对象生成有两个步骤：

1、分配内存空间

2、调用构造函数

多态机制发生在运行阶段，也就是对象生成阶段。那么问题就来了，虚表（编译阶段生成）是什么时候被写入到对象中的呢？

1、探究虚函数表写入时机

目前有两种假设

• 假设一：虚表写入发生在在构造函数之前
• 假设二：虚表写入发生在在构造函数之后

这里设计了一段代码来探究虚表具体的写入时机

#include <iostream>

class Base		//定义基类
{
public:
	Base(int a) :ma(a)
	{
		std::memset(this, 0, sizeof(this));
	}
	virtual void Show()
	{
		std::cout << "Base: ma = " << ma << std::endl;
	}
protected:
	int ma;
};

int main()
{
	Base* pb = new Base(10);
	pb->Show();
	return 0;
}

实验原理：

• 在构造函数中使用 memset() 函数，把对象中的所有值赋值为0，如果虚表在构造函数之前被写入，将会是以下过程：
  
  对象开辟空间后，构造函数调用之前，对象中 vfptr==》vftable 虚表已经被写入对象（虚表指针中存入虚表的地址）
  
  
  
  调用构造函数后，std::memset(this, 0, sizeof(this)) 将对象全部赋值为0，vfptr==》NULL
  
  
  
  推测：如果虚表在构造函数之前被写入，那么，pb->Show() 将无法调用，程序崩溃

运行测试：



现在，我们在分析如果虚表在构造函数之后被写入。

那么，在调用构造函数后（ma=0. vfptr==》NULL），虚表会被写入对象，即 vfptr==》vftable 。根据上面的运行结果显示，显然不是这样的。

结论：

虚表（vftable）在编译阶段生成，对象内存空间开辟以后，写入对象中的 vfptr，然后调用构造函数。即：虚表在构造函数之前写入

2、虚表的二次写入

先别急着下结论，在上面的实验中我们只测试了基类，没有测试派生类。虚表可不只有一张，在它的继承类中也存在一份虚表，因此我们接下来再做一个实验：

#include <iostream>

class Base		//定义基类
{
public:
	Base(int a) :ma(a)
	{
		std::memset(this, 0, sizeof(this));
	}
	virtual void Show()
	{
		std::cout << "Base: ma = " << ma << std::endl;
	}
protected:
	int ma;
};
///////////////////////////////////////////////////////////
// 以下为新添加部分
class Deriver : public Base		//派生类
{
public:
	Deriver(int b) :mb(b), Base(b) {}	// 构造函数什么都不做
	void Show()
	{
		std::cout << "Deriver: mb = " << mb << std::endl;
	}
protected:
	int mb;
};
////////////////////////////////////////////////////////////
int main()
{
	Base* pb = new Deriver(10);
	pb->Show();
	return 0;
}

这次加上派生类，并且依然让基类的构造中进行 memset() 操作，让我们来看看运行结果：



过程分析：（如下图所示）由于在子类的构造函数中没有做任何事，因此第③步虚表指向并没有改变，最后正常输出Deriver::mb 的内容。



从这里也可以看出多态实现的原理。每个类只有一张虚表，类的对象共享类的虚表，并且通过虚表的二次写入机制，让每个对象的虚表指针都能准确的指向到自己类的虚表，为实现动多态提供支持。

---

最后在附上一张动多态原理图：



在调用虚函数时，如pb->Show() ，通过对象的vfptr 查询虚表，在虚表中保存着 Deriver::Show() 的函数入口地址，从而实现父类指针访问子类对象的方法。

也就是说，在调用成员函数时会根据调用函数的对象的类型来执行不同的函数。从而实现了去调同一函数，而产生了不同的行为，形成了多种状态的效果。