淺談 C++ 四大強制型別轉換運算子：static_cast、dynamic_cast、const_cast、reinterpret_cast

C 風格強制轉型 (Type)expr 功能過於強大且難搜尋。C++ 提供四種具體語義的轉型運算子，讓意圖明確、編譯器可檢查、易於維護。

1. static_cast<T>(expr) —— 編譯期靜態轉型

• 用途： 相關型別間轉換（數值型別、枚舉、指標/引用上下行、void* 還原）。
• 特點： **無執行期型別檢查**，效率最高，但下行轉型（基類→派生類）不安全。
• 不可轉換： 去除 const/volatile、無關類別指標互轉。

class B { ... };
class D : public B { ... };

void f(B* pb, D* pd) {
    D* pd2 = static_cast<D*>(pb);  // 不安全：pb 可能僅指向 B
    B* pb2 = static_cast<B*>(pd);  // 安全：派生類指標隱式轉基類
}

2. dynamic_cast<T>(expr) —— 執行期多態安全轉型

• 用途： 類別層次結構中**安全下行轉型**（基類指標/引用 → 派生類指標/引用）。
• 條件： 源型別必須**多態**（至少有一個虛函數）。
• 行為： 執行期檢查，成功回傳轉型指標，失敗回傳 nullptr（指標版）或拋出 bad_cast（引用版）。
• 交叉轉型： 同一繼承體系下不同分支間轉型（經由共同基類）。

class A { virtual ~A() {} };
class B { virtual ~B() {} };

void f() {
    A* pa = new A;
    B* pb = new B;
    void* pv = dynamic_cast<A*>(pa);  // ok，pv 指向 A
    pv = dynamic_cast<B*>(pb);        // ok，pv 指向 B
    D* pd = dynamic_cast<D*>(pa);     // nullptr，A 非 D 基類
}

3. const_cast<T>(expr) —— 移除 const/volatile

• 唯一合法用途： 去除指標/引用的 const 或 volatile 資格，**型別其餘部分必須完全相同**。
• 警告： 若原物件真為 const（如存放在唯讀記憶體），透過結果修改行為未定義。
• 常用於對接非 const 正確的舊式 API。

class A { ... };
void legacy_api(A* p);  // 老介面無 const

void f() {
    const A* pa = new A;
    // A* pb = pa;           // 錯誤：const 不能隱式轉非 const
    A* pb = const_cast<A*>(pa);  // 編譯通過，但若 legacy_api 修改 pb → UB
    legacy_api(pb);
}

4. reinterpret_cast<T>(expr) —— 底層位元重新解釋

• 用途： 無關型別指標互轉、指標↔整數、函數指標轉換、成員指標轉換。
• 特點： **極度危險**，僅保證轉回原型別值不變（reinterpret_cast<T*>(reinterpret_cast<U*>(p)) == p），其他行為平台相關。
• 實作細節：不改變位元模式，純粹告訴編譯器「把這塊記憶體當作 T 看待」。

class A { ... };
class B { ... };

void f() {
    A* pa = new A;
    B* pb = reinterpret_cast<B*>(pa);  // 極度不安全：A、B 佈局可能完全不同
    int addr = reinterpret_cast<int>(pa); // 指標轉整數（平台相關）
}

選擇指南

核心原則

1. 盡量避免強制轉型：善用多態、模板、重載設計消除轉型需求。
2. 必須轉型時，選語義最窄者：優先 static_cast，其次 dynamic_cast，最後才 reinterpret_cast。
3. 集中隔離：將不可避免的 reinterpret_cast/const_cast 封裝在薄介面層，核心邏輯保持型別安全。