函数是属于类的,不是属于对象。
我们来讲函数的调用机制,
在c++中函数分为,实函数和虚函数,他们的调用机制不同。
先来看看类的编译信息,
对于一个类他的编译信息中含有 1.实函数,2.虚函数,这些静态调用是用,
由于虚函数有动态调用的特征,所以虚函数存在一个虚函数表里,被所有的对象共享。
既然虚函数信息既在类信息中,也在虚函数表中,那么虚函数调用是如何区分的了?
1.静态调用,当虚函数书静态调用是,直接用编译类的信息中的虚函数信息
2.动态调用,当虚函数是动态调用是,需要调用虚函数表中的函数信息,这也是c++多态的基本机制。
<2>继承体制下虚函数表
对于虚函数表中的函数,在单继承体制中,子类的虚函数会把基类的虚函数表拷贝过来,同时子类中的虚函数会覆盖拷贝过来基类同函数签名的虚函数。
但是并不是表示你在子对象中无法使用基类中被覆盖的函数,因为类编译信息中保存了基类函数所有信息,只要应用类编译信息,就可以调用基类中的所有函数,静态调用。
下面我们来验证,打印虚函数表中的所有函数信息;
如何打印虚函数表中的信息,
在对象中,最开始的四个字节(win 32)是vfptr,指向虚函数表的指针,通过它可以访问虚函数
B b;
int ** vfTalbe=(int **)(&b);
vfTable[0][0],就是第一个函数的地址,
vfTable[0][1],就是第二个函数地址;
代码验证如下
#include<iostream>
using namespace std;
typedef void (*fun)();
class Base
{
public :
virtual void ff()
{
cout<<"Base :: ff "<<endl;
}
virtual void gg()
{
cout<<"Base :: gg"<<endl;
}
};
class Drived :public Base
{
public :
virtual void gg()
{
cout<<"Drived :: gg"<<endl;
}
virtual void hh()
{
cout<<"drived :: hh"<<endl;
}
};
int main()
{
int ** vfTable;
fun ff;
cout<<"---------Base--------"<<endl;
Base b;
vfTable=(int **)(&b);
ff=(fun)vfTable[0][0];
ff();
ff=(fun)vfTable[0][1];
ff();
cout<<"---------Drived--------"<<endl;
Drived d;
vfTable=(int **)(&d);
ff=(fun)vfTable[0][0];
ff();
ff=(fun)vfTable[0][1];
ff();
ff=(fun)vfTable[0][2];
ff();
cout<<"--------静态调用----------"<<endl;
cout<<"继承类对象静态调用基类中被覆盖的虚函数"<<endl;
d.Base::gg();
system("pause");
return 1;
}
运行结果
结果解释
继承类 Drived
拷贝了继承的虚函数
Base::ff()
Base:: gg();
由于继承类含有同函数签名的函数 Drived:: gg();
所有在虚函数表中,继承类的函数会覆盖掉基类的函数 Base::gg();
所以输出 dDived;;gg,而不是Base :: gg();
覆盖了只是在虚函数表中覆盖 ,但是不会在变量类信息中覆盖,
所以仍然可以通过静态调用来使用函数 base::gg();
Drived d;
d.Base::g();