C++ 類型轉換深度對比：dynamic_cast vs DYNAMIC_DOWNCAST 宏

核心區別一覽

dynamic_cast 詳解

語法形式

dynamic_cast(expression)

• type-id：目標類型（類指針、類引用、`void*`）
• expression：源表達式（指針/引用/`void*`）

三大使用場景

class Base { virtual ~Base() = default; };
class Derived : public Base { void derivedOnly() {} };
class Another : public Base {};

// 1. 下行轉換 — 最常用
Base* pb = new Derived();
Derived* pd = dynamic_cast(pb); // 成功，非空
if (pd) pd->derivedOnly();

// 2. 交叉轉換 — 派生類之間
Another* pa = dynamic_cast(pb); // 失敗，返回 nullptr

// 3. 上行轉換 — 隱式轉換即可，dynamic_cast 多餘但合法
Base* pb2 = dynamic_cast(pd); // 等價於隱式轉換

// 引用形式 (失敗拋異常)
try {
    Derived& rd = dynamic_cast(*pb); // 成功
    Another& ra = dynamic_cast(*pb); // 拋 std::bad_cast
} catch (const std::bad_cast&) { /* 處理 */ }

關鍵前提：多態類型

**基類必須至少有一個虛函數**（通常是虛析構函數），否則編譯錯誤：cannot dynamic_cast 'pb' (of type 'class Base*') to type 'class Derived*' (source type is not polymorphic)

DYNAMIC_DOWNCAST 宏詳解 (MFC)

宏定義簡化版

#define DYNAMIC_DOWNCAST(class, pointer) \
    (class*)((pointer) && (pointer)->IsKindOf(RUNTIME_CLASS(class)) ? (pointer) : NULL)

核心依賴：`IsKindOf` + `CRuntimeClass`

• 類必須使用 `DECLARE_DYNAMIC` / `DECLARE_DYNCREATE` / `DECLARE_SERIAL` 宏聲明
• 實現文件需 `IMPLEMENT_DYNAMIC` / `IMPLEMENT_DYNCREATE` / `IMPLEMENT_SERIAL`
• 構建運行時類信息鏈表，支持 `IsKindOf` 向上遍歷檢查繼承關係

使用示例

// MFC 風格類定義
class CMyBase : public CObject {
    DECLARE_DYNAMIC(CMyBase)
public:
    virtual ~CMyBase() {}
};
IMPLEMENT_DYNAMIC(CMyBase, CObject)

class CMyDerived : public CMyBase {
    DECLARE_DYNAMIC(CMyDerived)
public:
    void DerivedOnly() {}
};
IMPLEMENT_DYNAMIC(CMyDerived, CMyBase)

// 使用
CMyBase* pBase = new CMyDerived();
CMyDerived* pDerived = DYNAMIC_DOWNCAST(CMyDerived, pBase);
if (pDerived) pDerived->DerivedOnly();
// pDerived 為 NULL 表示轉換失敗

深度對比：實戰選型指南

場景一：純標準 C++ 項目 (無 MFC)

**唯一選擇：`dynamic_cast`**。現代 C++ 推薦：

• 盡量**避免下行轉換**，用虛函數多態設計替代
• 必須用時：指針形式 + `nullptr` 檢查，避免異常開銷
• 考慮 `std::variant` / 訪問者模式 替代類型分發

場景二：MFC 現有項目維護

**統一用 `DYNAMIC_DOWNCAST`**：

• 兼容 MFC 運行時類系統，支持 `CObject` 序列化、視圖/文檔架構
• 跨 DLL 邊界轉換更穩定 (MFC 擴展 DLL 正確導出類信息時)
• 代碼風格一致性

場景三：混合項目 (標準 C++ + MFC)

性能與優化誤區

1. 「dynamic_cast 很慢」：現代編譯器 (GCC/Clang/MSVC) 高度優化，單次轉換 ~幾納秒，**非熱路徑瓶頸**。真正瓶頸通常是虛函數調用、緩存未命中、鎖爭用
2. 「關閉 RTTI 節省空間」：嵌入式極度受限環境才考慮。關閉 RTTI 導致 `dynamic_cast`、`typeid`、`std::type_info` 全不可用，**得不償失**
3. 「用 `static_cast` 代替」：極度危險！`static_cast` 無運行時檢查，錯誤轉換導致 UB、崩潰難定位。**寧可慢，不可不安全**

現代 C++ 替代設計模式

// 1. 訪問者模式 — 雙分發替代類型查詢
struct Visitor { virtual void visit(DerivedA*) = 0; virtual void visit(DerivedB*) = 0; };
struct Base { virtual void accept(Visitor&) = 0; };
struct DerivedA : Base { void accept(Visitor& v) override { v.visit(this); } };
struct DerivedB : Base { void accept(Visitor& v) override { v.visit(this); } };

// 2. std::variant + std::visit (C++17) — 代數數據類型
using Shape = std::variant;
void draw(const Shape& s) { std::visit([](auto&& shape) { shape.draw(); }, s); }

// 3. 型別擦除 — 統一接口隱藏具體類型
class Drawable {
    struct Concept { virtual void draw() = 0; virtual ~Concept() = default; };
    template struct Model : Concept { T obj; void draw() override { obj.draw(); } };
    std::unique_ptr p;
public:
    template Drawable(T t) : p(std::make_unique>(std::move(t))) {}
    void draw() { p->draw(); }
};

核心洞見： `dynamic_cast` 是 C++ RTTI 系統的標準化產物，`DYNAMIC_DOWNCAST` 是 MFC 獨有的運行時類信息體系映射。**選型取決於項目技術棧，而非性能**。現代 C++ 設計傾向於**靜態多態 (模板/概念)、代數數據類型 (variant)、型別擦除** 替代動態下行轉換，從根源消除運行時類型查詢需求。