虚拟表
为了实现虚函数,C ++使用一种称为虚拟表的特殊形式的后期绑定。该虚拟表是用于解决在动态/后期绑定方式的函数调用函数的查找表。虚拟表有时会使用其他名称,例如“vtable”,“虚函数表”,“虚方法表”或“调度表”。
因为了解虚拟表的工作方式不是使用虚函数所必需的,所以可以将此部分视为可选读取。
虚拟表实际上非常简单,但用文字描述有点复杂。首先,每个使用虚函数的类(或者从使用虚函数的类派生)都有自己的虚拟表。该表只是编译器在编译时设置的静态数组。虚拟表包含可由类的对象调用的每个虚函数的一个条目。此表中的每个条目只是一个函数指针,指向该类可访问的最派生函数。
其次,编译器还会添加一个指向基类的隐藏指针,我们将其称为* __ vptr* __ vptr在创建类实例时自动设置,以便指向该类的虚拟表。与* this指针不同,* this指针实际上是编译器用来解析自引用的函数参数,* __ vptr是一个真正的指针。因此,它使每个类对象的分配大一个指针的大小。它还意味着* __ vptr由派生类继承,这很重要。
到目前为止,你可能对这些东西如何组合在一起感到困惑,所以让我们来看一个简单的例子:
class Base
{
public:
virtual void function1() {};
virtual void function2() {};
};
class D1: public Base
{
public:
virtual void function1() {};
};
class D2: public Base
{
public:
virtual void function2() {};
};
因为这里有3个类,编译器将设置3个虚拟表:一个用于Base,一个用于D1,一个用于D2。
编译器还会添加一个隐藏指针,指向使用虚函数的最基类。虽然编译器会自动执行此操作,但我们会将其放在下一个示例中,以显示它的添加位置:
class Base
{
public:
FunctionPointer *_vptr;
virtual void function1() {};
virtual void function2() {};
};
class D1: public Base
{
public:
virtual void function1() {};
};
class D2: public Base
{
public:
virtual void function2() {};
};
创建类对象时,* __ vptr设置为指向该类的虚拟表。例如,当创建Base类型的对象时,* __ vptr设置为指向Base的虚拟表。构造D1或D2类型的对象时,* __ vptr设置为分别指向D1或D2的虚拟表。
现在,我们来谈谈如何填写这些虚拟表。因为这里只有两个虚函数,每个虚拟表将有两个条目(一个用于function1(),一个用于function2())。请记住,当填写这些虚拟表时,每个条目都填充了该类类型的对象可以调用的派生最多的函数。
Base对象的虚拟表很简单。Base类型的对象只能访问Base的成员。Base无法访问D1或D2函数。因此,function1的条目指向Base :: function1(),而function2的条目指向Base :: function2()。
D1的虚拟表稍微复杂一些。D1类型的对象可以访问D1和Base的成员。但是,D1重写了function1(),使得D1 :: function1()比Base :: function1()更加派生。因此,function1的条目指向D1 :: function1()。D1没有覆盖function2(),因此function2的条目将指向Base :: function2()。
D2的虚拟表类似于D1,除了function1的条目指向Base :: function1(),而function2的条目指向D2 :: function2()。
这是图形的图片:
虽然这个图有点疯狂,但它非常简单:每个类中的* __ vptr指向该类的虚拟表。虚拟表中的条目指向允许调用该类的函数对象的最派生版本。
因此,请考虑在创建D1类型的对象时会发生什么:
int main()
{
D1 d1;
}
因为d1是D1对象,所以d1将其* __ vptr设置为D1虚拟表。
现在,让我们设置一个指向D1的基指针:
int main()
{
D1 d1;
Base *dPtr = &d1;
}
请注意,因为dPtr是基指针,所以它只指向d1的Base部分。但是,还要注意* __ vptr位于类的Base部分,因此dPtr可以访问此指针。最后,请注意dPtr - > __ vptr指向D1虚拟表!因此,即使dPtr属于Base类型,它仍然可以访问D1的虚拟表(通过__vptr)。
那么当我们尝试调用dPtr-> function1()时会发生什么?
int main()
{
D1 d1;
Base *dPtr = &d1;
dPtr->function1();
}
首先,程序识别出function1()是一个虚函数。其次,程序使用dPtr - > __ vptr来获取D1的虚拟表。第三,它查找在D1的虚拟表中调用哪个版本的function1()。这已设置为D1 :: function1()。因此,dPtr-> function1()解析为D1 :: function1()!
现在,您可能会说,“但是,如果dPtr真正指向Base对象而不是D1对象,那该怎么办呢?它还会调用D1 :: function1()吗?“ 答案是不。
int main()
{
Base b;
Base *bPtr = &b;
bPtr->function1();
}
在这种情况下,当创建b时,__ vptr指向Base的虚拟表,而不是D1的虚拟表。因此,bPtr - > __ vptr也将指向Base的虚拟表。function1()的Base的虚拟表条目指向Base :: function1()。因此,bPtr-> function1()解析为Base :: function1(),这是Base对象应该能够调用的function1()的派生最多的版本。
通过使用这些表,编译器和程序能够确保函数调用解析为适当的虚函数,即使您只使用指针或对基类的引用!
调用虚函数比调用非虚函数要慢几个原因:首先,我们必须使用* __ vptr来获取相应的虚拟表。其次,我们必须索引虚拟表以找到要调用的正确函数。只有这样我们才能调用该函数。因此,我们必须执行3个操作来查找要调用的函数,而不是正常间接函数调用的2个操作,或者直接函数调用的一个操作。然而,对于现代计算机,这个增加的时间通常是相当微不足道的。
另外作为提醒,任何使用虚函数的类都有*__vptr,因此该类的每个对象都会被一个指针变大。虚函数很强大,但它们确实具有性能成本。