RTTI 執行階段型別識別與 MFC 關係深度解析

什麼是 RTTI？

RTTI（Run-Time Type Identification，執行階段型別識別） 是 C++ 語言機制，允許程式在「執行時期」而非「編譯時期」識別物件的實際型別。主要包含兩個運算子：

• dynamic_cast：安全地執行向下轉型（Downcasting）
• typeid：取得物件的型別資訊

為什麼 C++ 需要 RTTI？

C++ 屬於靜態型別語言，編譯時期就決定型別。但在多型情境下，基底類別指標可能指向衍生類別物件，編譯器無法在編譯期確知實際型別。RTTI 正是為了解決此問題，提供執行時期的型別檢查能力。

MFC 與 RTTI 的淵源

MFC（Microsoft Foundation Classes）在 C++ 標準化之前就已開發，當時 C++ 尚無內建 RTTI。為實現動態建立、序列化、訊息對應等功能，MFC 透過巨集與樣板程式碼「手工模擬」了類似 RTTI 的機制：

核心機制對照表

經典應用場景：外掛架構

主程式編譯完成後，第三方開發外掛（DLL）。主程式無法在原始碼中直接參考外掛類別，必須透過執行時期型別識別：

1. 外掛匯出建立函式（如 CreatePlugin()）
2. 主程式載入 DLL，取得基底類別指標
3. 使用 RTTI / MFC 機制確認實際型別並安全轉型
4. 呼叫虛擬函式實現多型行為

現代語言的對比：反射

Java、C# 等現代語言內建反射，編譯器將型別中繼資料直接嵌入組件。C++ 為追求效率與零開銷抽象，語法層面不支援完整反射，故 MFC 以巨集技巧彌補語言缺陷。這類「彌補語言缺陷」的 MFC 技巧還包括：

• 訊息對應巨集（BEGIN_MESSAGE_MAP）
• 例外處理巨集（TRY/CATCH）
• 序列化機制

新手學習建議

1. 先理解 C++ 標準 RTTI（dynamic_cast、typeid、std::type_info）
2. 閱讀《深入淺出 MFC》中關於 CRuntimeClass 的章節
3. 對照 MFC 原始碼觀察 RUNTIME_CLASS、DYNAMIC_DOWNCAST 定義
4. 嘗試撰寫簡易動態建立範例加深體會

結語

RTTI 是 C++ 多型編程的關鍵基礎設施。MFC 早於標準化時代，以巨集模擬 RTTI 並延伸出動態建立、序列化等強大功能。理解兩者關係，不僅能深入掌握 MFC 內部運作，更能洞見 C++ 語言演進歷程與設計哲學。