关于虚表的疑惑与证实



一直以来都有一个困惑，但从未动手去证实，就是关于含虚函数的同一类的每个对象各有一张虚表吗？
今天突然有了一些想法，于是决定先提出自己的想法，并且顺便证实一下，

先来假设每个对象各有一张虚表
1、如果有类中有很多虚函数，那么虚表就可能很大，如果每个对象都有一个独立的虚表，那么消耗的内存会非常大，C++的设计者应该不会如此糊涂，假设不成立
2、如果即使一个虚函数被重写无数次，在某个特定类(父类或继承链中的类)中的某个特定函数的实现在代码段中一定是唯一的(如父类中的某一输入、输出类型固定的虚函数只有一份特定实现)，
这样的话，如果同一类的每个对象各有一张表，那么每个对象的各自虚表都会为存一样的虚函数地址，这也完全没必要，假设不成立
 如子类 Test Derived内的一个名为Test的特定虚函数，其地址为0x123456，存在对象 A(为Test类型)、B(为Test类型)，如果按照假设，那么A、B各自的表中都有有一个位置存0x123456

现在假设同一类型每个对象共享一张表
由于每一个非静态成员函数都含一个this指针，虚函数也不例外，而正好，通过this指针可以确定某个特定对象的地址，这样即使每个对象共享一张虚表，函数也能区分具体是那个对象对其进行了调用，这样应该是没问题的

(非同一类的含虚函数的类型的不同对象不共享相同的虚表，这个无需证实与猜想)

测试代码如下

#include <iostream>
class Base
{
public:
	virtual void Test()
	{
	}
};

class Derived : public Base
{
	void Test()
	{
		unsigned *Vptr_Addr = reinterpret_cast<unsigned*>(this);
		unsigned VP_Table_Addr = *Vptr_Addr;
		std::cout << L"虚表地址是:" << VP_Table_Addr << std::endl;
	}
};

class Func
{
public:
	static void OutPutAddr(Base& base)
	{
		base.Test();
	}

};
int main(int argc, char **argv)
{
	Derived A, B, C;
	Func::OutPutAddr(A);
	Func::OutPutAddr(B);
	Func::OutPutAddr(C);

	getchar();
}

(g++就不测试了，应该是一样的结果)

输出如下

结论：含虚函数的同一类型每个对象共享一张表