学习c++的都知道要想实现多态都会用到virtual关键字。
class A
{
public:
virtual void out()
{
cout << "a" << endl;
}
virtual void print()
{
cout << "A to print" <<endl;
}
};
class B : public A
{
public:
virtual void out()
{
cout << "b" << endl;
}
};
int main ()
{
A* tmp= new B();
tmp->out();
}
若不加virtual则在编译时直接进行静态绑定,由于tmp是A类型的,编译时直接就绑定了A.out()的函数地址。在加了virtual之后,其指针会在运行是其本质时才进行绑定,即函数地址进行动态绑定。
在编译阶段,编译器会设置一个vptr指针,在对象创建时就会增加其vptr使其指向本对象的虚函数表(内部存放了本类的所有设置为virtual的函数的地址)。单子类有和父类同样的函数时,虚函数表中的这个函数地址会被子类的函数地址所取代,故实现了多态。如图:
根据这个原理 我们可以直接通过指针操作来实现:(答案是相同的)
((void(*)()) (*(int*)*(int*)tmp))(); //等同于 tmp->out();
/*解释:
((void(*)()) ( *(int*) *(int*)tmp) )();
强转函数指针 | 虚表里第一个函数地址 |tmp所指虚表地址 |函数调用
*/