【C++基础之十二】虚函数表和覆盖机制

1.引出

我们先来看个例子：

//空类
class A{};
//int成员变量
class B{
	int value;
};
//普通成员方法
class C{
	void f(){};
};
//虚函数
class D{
	virtual void g(){};
};
//两个虚函数
class E{
	virtual void g(){};
	virtual void h();
};
//int成员方法+普通方法+两个虚函数
class F{
	int value;
	void f(){};
	virtual void g(){};
	virtual void h(){};
};

int _tmain(int argc, _TCHAR* argv[])
{
	cout<<sizeof(A)<<endl;//大小为1
	cout<<sizeof(B)<<endl;//大小为4
	cout<<sizeof(C)<<endl;//大小为1
	cout<<sizeof(D)<<endl;//大小为4
	cout<<sizeof(E)<<endl;//大小为4
	cout<<sizeof(F)<<endl;//大小为8
	return 0;
}

由此我们可以得出这么几个结论：

（1）空类所占大小为1（和编译器有关），而不是0。

（2）不管有几个虚函数，它共同占有4个指节大小，也就是一个指针（32位下），多重继承会有多个虚函数表。

（3）普通成员方法不占空间。普通成员变量占相应类型大小的空间。

（4）类的大小=是否有虚函数*4+成员变量大小。

这里主要讨论，虚函数占有的指针是什么？其实这个指针保存了一个虚函数表的地址

2.虚函数表

顾名思义，它保存了一系列虚函数的入口地址，以供实例调用，而虚函数表本身的地址保存在实例的开头位置，其余位置放置成员变量。如下：

class Base{
	virtual void f(){cout<<"Base::f()";}
	virtual void g(){cout<<"Base::g()";}
	virtual void h(){cout<<"Base::h()";}
};

内存模型

虚函数表的结尾会有一个结束标志位，跟编译器有关。

3.一般继承，无虚函数覆盖

class Base{
	virtual void f(){cout<<"Base::f()";}
	virtual void g(){cout<<"Base::g()";}
	virtual void h(){cout<<"Base::h()";}
};

class Derive : public Base{
public:	
	void f1(){}
	void g1(){}
	void h1(){}
};

类继承关系与内存模型

4.一般继承，有虚函数覆盖

class Base{
	virtual void f(){cout<<"Base::f()";}
	virtual void g(){cout<<"Base::g()";}
	virtual void h(){cout<<"Base::h()";}
};

class Derive : public Base{
public:	
	void f(){}
	void g1(){}
	void h1(){}
};

类继承关系与内存模型

5.多重继承，无虚函数覆盖

class Base1{
public:
	virtual void f(){cout<<"Base1::f()";}
	virtual void g(){cout<<"Base1::g()";}
	virtual void h(){cout<<"Base1::h()";}
};

class Base2{
public:
	virtual void f(){cout<<"Base2::f()";}
	virtual void g(){cout<<"Base2::g()";}
	virtual void h(){cout<<"Base2::h()";}
};

class Base3{
public:
	virtual void f(){cout<<"Base3::f()";}
	virtual void g(){cout<<"Base3::g()";}
	virtual void h(){cout<<"Base3::h()";}
};

class Derive : public Base1, public Base2, public Base3{
public:	
	void f1(){}
	void g1(){}
	void h1(){}
}; 

类继承关系与内存模型

6.多重继承，有虚函数覆盖

class Base1{
public:
	virtual void f(){cout<<"Base1::f()";}
	virtual void g(){cout<<"Base1::g()";}
	virtual void h(){cout<<"Base1::h()";}
};

class Base2{
public:
	virtual void f(){cout<<"Base2::f()";}
	virtual void g(){cout<<"Base2::g()";}
	virtual void h(){cout<<"Base2::h()";}
};

class Base3{
public:
	virtual void f(){cout<<"Base3::f()";}
	virtual void g(){cout<<"Base3::g()";}
	virtual void h(){cout<<"Base3::h()";}
};

class Derive : public Base1, public Base2, public Base3{
public:	
	void f(){}
	void g1(){}
	void h1(){}
}; 

类继承关系和内存模型