虚函数运行机制

class A {
public:
    virtual void foo (void) { ... }
    virtual void bar (void) { ... }
};
class B : public A {
public:
    void foo (void) { ... }
};
int main(){
    A* pa = new A;
    pa->foo (); // A::foo
    pa->bar (); // A::bar
---------------------
    A* pa = new B;
    pa->foo (); // B::foo
    pa->bar (); // A::bar
}

如上边例子所示，如果A中有了关键字virtual，pa调用哪个函数就不是根据自己指针类型而定的，相反起决定作用的是指针目标，多态的实质就是虚函数+指针（引用）。用下图对上边结果进行描述：

编译器会为每个有虚函数的类创建一个虚函数表，该虚函数表将被该类的所有对象共享。类的每个虚成员占据虚函数表中的一行。如果类中有N个虚函数，那么其虚函数表将有N*4字节的大小。虚函数（Virtual Function）是通过一张虚函数表（Virtual Table）来实现的。简称为V-Table。在这个表中，主要是一个类的虚函数的地址表，这张表解决了继承、覆盖的问题，保证其真实反应实际的函数。

虚函数表是一张函数查找表，用以解决以动态联编方式调用函数。它为每个可以被类对象调用的虚函数提供一个入口，这样当我们用基类的指针或者引用来操作子类的对象时，这张虚函数表就提供了编译器实际调用的函数。虚函数表其实是存储了为类对象进行声明的虚函数地址。当我们创建一个类对象时，编译器会自动的生成一个指针*__vptr(一个隐藏指针)，该指针指向这个类中所有虚函数的地址表。（实际上，虚函数表就是一个函数地址数组表。）,请注意，*__vptr和*this指针不同，*this是一个被编译器用作解决自引用的函数参数，而*__vptr则是一个真正的指针。每一个类，不管是基类还是子类都有一个自己的virtual
table，*__vptr也是被继承过来的。

下边我们来举个例子对此进行验证：

#include <iostream>
using namespace std;
class A {
public:
	virtual void foo (void) {
		cout << "A::foo()" << endl;
	}
	virtual void bar (void) {
		cout << "A::bar()" << endl;
	}
};
class B : public A {
public:
	void foo (void) {
		cout << "B::foo()" << endl;
	}
};
int main (void) {
	A a;
	cout<< "a的地址："<<&a<<endl;
	void (**vft) (void) = *(void (***) (void))&a;
	cout << (void*)vft[0] << ' '
		<< (void*)vft[1] << endl;  //如果没转换为void* 显示两个bool类型的1 ，void*对<< 实现了重载，可以显示正确的地址
	vft[0] ();  //调的是A::foo
	vft[1] ();// A::bar
	cout << endl << endl;

	B b;
	cout<< "b的地址："<<&b<<endl;
	vft = *(void (***) (void))&b;
	cout << (void*)vft[0] << ' '
		<< (void*)vft[1] << endl;
	vft[0] (); // B::foo
	vft[1] ();  //A::bar
	return 0;
}

版权声明：本文为博主原创文章，未经博主允许不得转载。