虚函数与动态联编

 

虚函数是C++语言的重要概念，它充分体现了面向对象的继承与多态性。所谓 虚函数，是指一个类中你希望重载的成员函数，当你用一个基类的指针或引用指向一个继承类对象的时候，如果你调用了一个虚函数，实际上调用的是继承类的版本。

虚函数最关键的特定是“动态联编”，它可以在运行时判断指针指向的对象是何种类型，并自动调用响应的函数。C++的这种动态联编机制是通过一个“vtable”来实现的。

vtable 是一张函数指针表，如同C++ 中类的实现一样，vtable 中的指针指向一个对象支持的接口成员函数。

 

编译程序会为每个派生类生成一个vtable，把基类的函数指针放在表的顶部。

 

每个虚函数都在vtable中占了一个项，保存着一条跳转到它的入口地址的指令。当一个包含虚函数的对象（注意，不是对象的指针）被创建的时候，它在头部附加一个指针，指向vtable中相应位置。调用虚函数的时候，不管你是用什么指针调用的，它先根据vtable找到入口地址再执行，从而实现了“动态联编”。而不像普通函数那样简单地跳转到一个固定地址。