#include <cstdio>
#include <iostream>
using namespace std;
class Base{
public:
void Function()
{
cout << "This is Base Function" << endl;
}
virtual void Function1()
{
cout << "This is Base Function1" << endl;
}
virtual void Function2()
{
cout << "This is Base Function2" << endl;
}
};
class Derive:public Base{
public:
void Function()
{
cout << "This is Derive Function" << endl;
}
void Function1()
{
cout << "This is Derive Function1" << endl;
}
};
int main()
{
Derive der;
Base *bas = (Base *)(&der);
der.Function();
der.Function1();
der.Function2();
cout << endl;
bas->Function();
bas->Function1();
bas->Function2();
return 0;
}
输出结果:
/*
This is Derive Function
This is Derive Function1
This is Base Function2
This is Base Function
This is Derive Function1
This is Base Function2
*/
对于每一个有虚函数的类来说,它都有一个属于自己的虚表(vtable),而且每一个类只有唯一的一个vtable
这个虚表,实质上来说是一个函数指针数组,该数组记录了所有虚函数的函数指针。
在上面的代码中,我们定义了一个Derive类的对象,然后用一个Base类的指针指向它,为什么Function1还是Derive呢?
因为这个对象的虚表是固定的,虚表里所指向的Function1已经被重装,当Derive类型的指针被强制转换成Base类型的时候,因为虚表的唯一性,所以,虚表里的两个函数指针所指向的函数依然是,已经重载过的Function1和没有被重载过的Function2,而Function由于不是虚函数,所以自然输出的是Base Function 和 指针类型保持一致.
嗯,暂时理解的就是这么多,等以后深入了之后再补充。
that’s all ...