虚函数表(vtable)里的内容是在编译时期由编译器生成的,并且在程序启动时,即程序的初始化阶段(例如C++的静态初始化阶段)被写入内存。下面是详细的解释:
-
编译时期:编译器分析程序中的类定义,确定哪些类有虚函数。对于每个有虚函数的类,编译器都会创建一个虚函数表。这个表是一个包含了函数指针的数组,这些函数指针指向类中对应的虚函数实现。如果类B继承了类A,并且覆盖了一些虚函数,编译器会为B创建一个新的vtable,其中覆盖的虚函数指向B中的实现,而未覆盖的虚函数则指向A中的实现。
-
程序启动时:在程序运行并且进入main函数之前,在全局初始化时期,为每个类的vtable赋值。这些vtable是程序的静态部分,会被放置在程序的数据段或专门的只读数据段中(这取决于操作系统和编译器)。
-
对象构造时:当创建某个类的对象时,对象的构造函数会设置该对象中虚指针(vptr)的值,使其指向类的vtable。如果构造的是派生类对象,那么vptr会被设置为指向派生类的vtable。如果这个对象是基类类型的一部分(比如作为派生类的基类子对象),那么在构造基类部分时,它的vptr会先被设置指向基类的vtable,之后在派生类构造函数中可能会被更新为指向派生类的vtable。
对象中的vptr指向定义类的vtable,通过这个指针,对象在运行时可以使用正确的函数实现。
这个过程通常是这样的:
- 调用对象的虚函数。
- 程序查看对象中的vptr。
- 通过vptr,程序访问类的vtable。
- 程序找到正确的函数地址,并跳转到该地址执行函数。
因此,每个对象都参与到动态绑定中,但它们使用的是共享的类级vtable,而不是每个对象都有自己的独立vtable。