虚函数表 与 虚函数实现多态时应注意的问题

----虚函数表：
C++的多态是通过一张虚函数表（Virtual Table）来实现的，简称为 V - Table。在这个表中，主要是一个类的虚函数的地址表，是一个存储类成员函数指针的数据结构，是通过一块连续的内存来存储虚函数的地址，这张表解决了继承、覆写的问题，保证其真实反应实际的函数。这样，在有虚函数的类的实例中这个表被分配在了这个实例的内存中，所以，当我们用父类的指针来操作一个子类的时候，这张虚函数表就显得由为重要了，它就像一个地图一样，指明了实际所应该调用的函数。

C++的编译器应该是保证虚函数表的指针存在于对象实例中最前面的位置（这是为了保证取到虚函数表的有最高的性能——如果有多层继承或是多重继承的情况下）。 这意味着我们通过对象实例的地址得到这张虚函数表，然后就可以遍历其中函数指针，并调用相应的函数

----子类无虚函数的覆写
1）虚函数按照其声明顺序放于表中。
2）父类的虚函数在子类的虚函数前面。

----子类覆写父类虚函数
1）覆写的 f()函数被放到了虚表中原来父类虚函数的位置。
2）没有被覆盖的函数依旧

有虚函数当然就会有虚函数表指针(vfptr)，有虚继承就会有虚基类表指针(vbptr)，虚函数表可以合并形成一个指针，但多个虚继承形成的不同指针，不能合并(但不同层次的虚继承得到的虚基类指针也是可以合并的)

class A
{
public:
	virtual void func()
	{
		cout << "func" << endl;
	}
	virtual void foo()
	{
		cout << "foo" << endl;
	}
};

class B : virtual public A
{
public:
	virtual void func1()
	{
		cout << "func1" << endl;
	}
	virtual void foo1()
	{
		cout << "foo1" << endl;
	}
};

int main()
{
	cout << sizeof(A) << endl; //4
	cout << sizeof(B) << endl; //12
}

其中类A中只有虚函数指针，所以其大小为4字节，类B因为是虚继承的，所以有一个虚基类指针和自身所带的虚函数指针，而虚基类指针指向的是A，A中含有自己所带的虚函数指针，func和foo的虚函数指针可以合并，func1和foo1的虚函数指针可以合并，所以类B的大小为 自身所带虚函数指针(4)+虚基类指针(4)+虚基类指针指向的A中的虚函数指针(4)=12

例一：

#include "stdafx.h"
#include <iostream>
using namespace std;

class A
{
public:
	A()
	{
		this->func();
	}

	virtual void func()
	{
		cout << "aaaaaaaaaaaaaaaa" << endl;
	}
	virtual ~A()
	{
		this->func();
	}
};

class B :public A
{
public:
	virtual void func()
	{
		cout << "bbbbbbbbbbbbbbbbbbb" << endl;
	}
};



int _tmain(int argc, _TCHAR* argv[])
{
	B b;

	return 0;
}

b对象内的虚函数机制的建立，发生在b的构造器构造完成之后
所以调用到a的构造器时 构造器b没有发生 所以调用a中的func
~A()析构的时候，~B()已经完成了 已经被析构了 所以只能调用A中的func

 

例二：

#include "stdafx.h"
#include <iostream>
using namespace std;


class A
{
public:
	A(){}

	void foo()
	{
		this->func();
	}

	virtual void func()
	{
		cout << "aaaaaaaaaaaaaaaa" << endl;
	}
	virtual ~A(){}
};

class B :public A
{
public:
	virtual void func()
	{
		cout << "bbbbbbbbbbbbbbbbbbb" << endl;
	}
};


int _tmain(int argc, _TCHAR* argv[])
{
	B b;
	b.foo();
	//此时对象b已经创建完成，b中virtual函数覆写
	//完成(把a中的覆盖了) this指针指向的为b中函数
	return 0;
}