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

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

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

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

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

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

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

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

驗證代碼（C++）

#include <iostream>
using namespace std;

class Base {
public:
    Base() {
        // 此時 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() {
        // 此時 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í)行時已經(jīng)完成初始化，且子類構(gòu)造時會覆蓋父類的 vptr。

常見誤區(qū)

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

總結(jié)

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

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

最新評論