C++ 多重繼承與 void* 指針轉換陷阱：地址偏移深度分析

問題背景

C++ 支持多重繼承，但將子類指針轉為 void* 再轉回父類指針時，若父類非第一繼承順序，會發生地址偏移，導致調用錯誤的虛函數。

測試代碼

class IA { public: virtual ~IA(){} virtual void a() = 0; };
class IB { public: virtual ~IB(){} virtual void b() = 0; };

class CMulti : public IA, public IB {
public:
    void a() { cout << "C::a()" << endl; }
    void b() { cout << "C::b()" << endl; }
};

void testCastA(void* p) {
    IA* a = (IA*)p;  // 危險：直接從 void* 強轉
    a->a();
}
void testCastB(void* p) {
    IB* b = (IB*)p;
    b->b();
}

int main() {
    CMulti* c = new CMulti;
    cout << "CMulti* = " << c << endl;
    
    // 1. 直接強轉 void*
    testCastA((void*)c);
    testCastB((void*)c);
    
    // 2. 先 static_cast 再轉 void*
    testCastA((void*)static_cast(c));
    testCastB((void*)static_cast(c));
    
    // 3. 先 dynamic_cast 再轉 void*
    testCastA((void*)dynamic_cast(c));
    testCastB((void*)dynamic_cast(c));
    return 0;
}

運行結果分析（32 位系統）

CMulti* = 0x00AFF760
cast to void*, then to IA or IB:
cast from void*(00AFF760) to IA*: 00AFF760  → C::a()
cast from void*(00AFF760) to IB*: 00AFF760  → C::a()  【錯誤！應調用 b()】
static_cast to void*, then to IA or IB:
cast from void*(00AFF760) to IA*: 00AFF760  → C::a()
cast from void*(00AFF764) to IB*: 00AFF764  → C::b()  【正確】
dynamic_cast to void*, then to IA or IB:
cast from void*(00AFF760) to IA*: 00AFF760  → C::a()
cast from void*(00AFF764) to IB*: 00AFF764  → C::b()  【正確】

核心原因：多重繼承內存佈局

• CMulti 繼承 IA（第一父類）和 IB（第二父類）
• 每個帶虛函數的父類有獨立的 虛函數表指針 (vptr)，佔 4 字節（32 位）
• IA 子對象從偏移 0 開始，IB 子對象從偏移 4 開始
• CMulti* 地址 = IA* 地址 = 0x00AFF760
• IB* 地址 = CMulti* + 4 = 0x00AFF764

三種轉換方式對比

解決方案與最佳實踐

1. 避免 void* 擦除類型：使用模板、std::any (C++17)、std::variant 或基類指針傳遞
2. 必須用 void* 時：
   • 先 static_cast 到目標父類指針，再轉 void*
   • 或存儲 pair，恢復時根據 type_id 正確轉換
3. 介面類設計：若需多態傳遞，定義公共虛基類，避免多重繼承菱形問題

關鍵點總結

多重繼承時，子類指針轉換為非第一繼承父類指針會發生地址偏移。void* 擦除類型信息導致偏移信息丟失，直接強轉回非第一父類會產生錯誤地址。

• 偏移量 = 前面父類的大小（含 vptr）
• static_cast/dynamic_cast 保留類型信息，能正確調整指針
• 64 位系統偏移量為 8 字節（指針大小）
• 虛繼承會引入 vbptr，偏移計算更複雜

總結

此問題是 C++ 多重繼承與類型擦除交互的經典陷阱。現代 C++ 開發應盡量避免 void* 使用，若不可避免，務必在轉 void* 前通過 static_cast 完成指針調整。理解對象內存佈局（vptr、vbptr、偏移量）是診斷此類問題的關鍵。