C++虚函数表

一、概念

        c++中的虚函数的实现一般是通过虚函数表。

        如果类中表含有虚函数，在用该类实例化对象时对象的第一个成员是一个指向虚函数表（vftable）的指针（vfptr）。虚函数表是一块连续的内存，它的每一项都记录了一个虚函数的入口地址。如果类中有N个虚函数，那么其中虚函数表将有N*8（64位操作系统）字节大小。它就像一个地图一样，指明了实际所应该调用的函数。

        虚函数表是固定的东西，在编译的时候确定，虚函数指针是在运行阶段确定的，而多态的实现是通过对象中的指针指向不同的虚函数表实现的，在运行的时候指针指向是可以有变化的。

        我们可以通过对象的地址得到这张虚函数表，然后就可以遍历其中的函数指针，并调用相应的虚函数。

二、隐藏指向虚函数表首地址的指针

        如果类中表含有虚函数，在用该类实例化对象时对象的第一个成员是一个指向虚函数表（vftable）的指针（vfptr）。

没有虚函数时

#include <iostream>
using namespace std;

class A
{
public:
	int m_x;
	int m_y;
public:
	A(int a = 0, int b = 0) :m_x(a), m_y(b) {}//构造函数
	void show() const
	{
		cout << "[" << m_x << "," << m_y << "]" << endl;
	}
	int getX()
	{
		cout << "getX调用" << endl;
		return m_x;
	}
};
int main()
{
	A a;
	cout << "size:" << sizeof(A) << endl;//类的大小
	cout << "A的首地址:" << &a << endl;
	cout << "m_x的地址:" << &a.m_x << endl;

	return 0;
}

结果为：

 可以发现其中的结果类A的首地址跟类的第一个成员的首地址相同，两个int类型的成员变量类的字节大小为8个字节。

在类中函数前加上virtual后：

#include <iostream>
using namespace std;

class A
{
public:
	//隐含指针成员 无名称 指向虚函数表 占用空间 空间存储内容
	int m_x;
	int m_y;
public:
	A(int a = 0, int b = 0) :m_x(a), m_y(b) {}//构造函数
	virtual void show() const//在函数前加一个virtual成为虚函数
	{
		cout << "[" << m_x << "," << m_y << "]" << endl;
	}
	int getX()
	{
		cout << "getX调用" << endl;
		return m_x;
	}
};
int main()
{
	A a;
	cout << "size:" << sizeof(A) << endl;//类的大小
	cout << "A的首地址:" << &a << endl;
	cout << "m_x的地址:" << &a.m_x << endl;

	return 0;
}

结果为：

 类A的首地址变了，跟第一个成员变量的地址不相同了，相差了8个字节刚好是一个指针的大小。所以第一个位置变成了指向虚函数表的指针。