虛函數(shù)表（vtable）的初始化時(shí)機(jī)

虛函數(shù)表的初始化分為兩個(gè)階段，一個(gè)是編譯/鏈接期，一個(gè)是運(yùn)行期，二者分工不同：

編譯/鏈接期：vtable 結(jié)構(gòu)的確定（靜態(tài)階段）

編寫包含虛函數(shù)的類（比如 class A { virtual void f(); }）并編譯時(shí)：

• 編譯器會為每個(gè)包含虛函數(shù)的類（或繼承了虛函數(shù)的子類）生成一份固定的 vtable 數(shù)據(jù)結(jié)構(gòu)（本質(zhì)是函數(shù)指針數(shù)組）。
• 這個(gè) vtable 會被編譯到程序的只讀數(shù)據(jù)段（.rodata）中，和代碼段一樣，是程序啟動前就確定好的“靜態(tài)數(shù)據(jù)”。
• 此時(shí) vtable 里已經(jīng)填好了各個(gè)虛函數(shù)的地址（比如 A::f 的地址）。

運(yùn)行期：vptr（虛函數(shù)表指針）的初始化（動態(tài)階段）

每個(gè)包含虛函數(shù)的對象，都會有一個(gè)隱藏的 vptr 成員（指向所屬類的 vtable），這個(gè)指針的初始化：

• 對于普通對象：vptr 在對象構(gòu)造函數(shù)執(zhí)行的最開始階段完成初始化（早于構(gòu)造函數(shù)的函數(shù)體執(zhí)行）
  • 子類對象構(gòu)造時(shí)，會先初始化父類的 vptr，再初始化子類自己的 vptr。
• 對于全局/靜態(tài)對象：vptr 在程序啟動后的全局初始化階段（main 函數(shù)執(zhí)行前）完成。
• 對于 new 創(chuàng)建的對象：vptr 在 operator new 分配內(nèi)存后、構(gòu)造函數(shù)執(zhí)行前初始化。

驗(yàn)證代碼（C++）

#include <iostream>
using namespace std;

class Base {
public:
    Base() {
        // 此時(shí) vptr 已經(jīng)指向 Base 的 vtable，調(diào)用虛函數(shù)會走 Base 版本
        func(); // 輸出 "Base::func"
    }
    virtual void func() { cout << "Base::func" << endl; }
};

class Derived : public Base {
public:
    Derived() {
        // 此時(shí) vptr 已經(jīng)切換到 Derived 的 vtable
        func(); // 輸出 "Derived::func"
    }
    void func() override { cout << "Derived::func" << endl; }
};

int main() {
    Derived d; 
    // 構(gòu)造過程：
    // 1. 初始化 Base 部分 → vptr 指向 Base::vtable → 調(diào)用 Base::func
    // 2. 初始化 Derived 部分 → vptr 切換到 Derived::vtable → 調(diào)用 Derived::func
    return 0;
}

輸出結(jié)果：

Base::func
Derived::func

即vptr 在構(gòu)造函數(shù)執(zhí)行時(shí)已經(jīng)完成初始化，且子類構(gòu)造時(shí)會覆蓋父類的 vptr。

常見誤區(qū)

1. ? 錯(cuò)誤：“每次創(chuàng)建對象都會生成新的 vtable”
   ? 正確：一個(gè)類只有一份 vtable（編譯期確定），所有對象的 vptr 都指向這份 vtable。
2. ? 錯(cuò)誤：“vptr 在構(gòu)造函數(shù)體執(zhí)行后初始化”
   ? 正確：vptr 初始化在構(gòu)造函數(shù)的“初始化列表階段”（編譯器自動插入），早于函數(shù)體執(zhí)行。
3. ? 錯(cuò)誤：“虛函數(shù)表在運(yùn)行時(shí)動態(tài)生成”
   ? 正確：vtable 本身是編譯期生成的靜態(tài)數(shù)據(jù)，運(yùn)行時(shí)只初始化 vptr 指向它。

總結(jié)

1. 虛函數(shù)表（vtable）本身：編譯/鏈接期生成，存儲在只讀數(shù)據(jù)段，屬于類的靜態(tài)資源，全局唯一。
2. 虛函數(shù)表指針（vptr）：運(yùn)行期初始化，普通對象在構(gòu)造函數(shù)執(zhí)行前完成，子類構(gòu)造時(shí)會覆蓋父類的 vptr。
3. 核心邏輯：vtable 是“靜態(tài)模板”，vptr 是“動態(tài)指針”，二者結(jié)合實(shí)現(xiàn)多態(tài)。

到此這篇關(guān)于C++中虛函數(shù)表的初始化時(shí)機(jī)的文章就介紹到這了,更多相關(guān)C++虛函數(shù)表初始化內(nèi)容請搜索腳本之家以前的文章或繼續(xù)瀏覽下面的相關(guān)文章希望大家以后多多支持腳本之家！

最新評論