C++ RTTI 完整指南：typeid 與 dynamic_cast 運行時類型識別實戰

前言

RTTI (Run-Time Type Information) 提供 C++ 程式在運行時辨識物件動態類型的能力。雖然專家建議優先使用虛擬函數實現多態，但在異質容器、框架基類 (如 MFC CObject) 等場景，動態類型判斷不可或缺。本文系統介紹 typeid、dynamic_cast 兩大核心運算子的用法、效能差異與最佳實踐。

啟用 RTTI

編譯器預設可能關閉 RTTI (如 MSVC /GR-) 以節省空間/速度。使用前必須開啟：

• MSVC：專案屬性 → C/C++ → Language → Enable Run-Time Type Info = Yes (/GR)
• GCC/Clang：預設開啟，-fno-rtti 可關閉

標頭檔：#include <typeinfo>

類別階層範例

class File { // 抽象基類
public:
    virtual int Open(const string& filename) = 0;
    virtual int Close(const string& filename) = 0;
    virtual ~File() = 0; // 純虛擬解構函數
};

class DiskFile : public File {
public:
    int Open(const string& filename) override;
    int Close(const string& filename) override;
    virtual int Flush();
    virtual int Defragment();
};

class TextFile : public DiskFile {
public:
    int SortByWords();
};

class MediaFile : public DiskFile {
    // 音訊/視訊檔案
};

class LocalizedMedia : public MediaFile {
    // 多語言說明的媒體檔
};

多態物件建立

File* pFile;
if (someCondition)
    pFile = new TextFile;      // 動態類型: TextFile
else
    pFile = new DiskFile;      // 動態類型: DiskFile
// 靜態類型皆為 File*

運算子一：typeid - 精確類型比對

基本用法

#include <typeinfo>

void BuildMenu(const File* pFile)
{
    if (typeid(*pFile) == typeid(TextFile))
        AddOption("Edit");
    else if (typeid(*pFile) == typeid(MediaFile))
        AddOption("Play");
}

缺點：擴充性差

新增 LocalizedMedia 繼承 MediaFile 時，typeid(*pFile) == typeid(MediaFile) 為 false，需修改 BuildMenu 添加判斷，違反開放封閉原則。

運算子二：dynamic_cast - 多態安全轉型

基本用法

void BuildMenu(const File* pFile)
{
    // 檢查是否為 MediaFile 或其衍生類
    if (dynamic_cast<const MediaFile*>(pFile))
    {
        AddOption("Play"); // 包含 LocalizedMedia
    }
    else if (dynamic_cast<const TextFile*>(pFile))
    {
        AddOption("Edit");
    }
}

動作機制

• dynamic_cast<T*>(p)：若 p 指向 T 或其衍生類物件，回傳轉型後指標；否則回傳 nullptr
• dynamic_cast<T&>(ref)：參考版本，失敗拋出 std::bad_cast 異常
• 需類別含有至少一個虛擬函數 (確保有 vtable 支援運行時類型檢查)

優勢：自然支援繼承體系擴充

新增 LocalizedMedia : MediaFile 時，dynamic_cast<MediaFile*> 自動匹配，**無需修改既有判斷邏輯**。

效能比較與選擇指南

進階：type_info 物件

const std::type_info& info = typeid(*pFile);
cout << info.name(); // 編譯器相關的類型名稱 (如 "class TextFile")
cout << info.hash_code(); // C++11: 類型雜湊值，可用於 unordered_map 鍵值

type_info 物件生命週期贏過程式，可安全儲存參考。

最佳實踐建議

1. 優先使用虛擬函數：將類型相關行為封裝為虛擬函數 (如 virtual void ShowContextMenu())，避免外部 if-else 判斷類型。
2. 必要時用 dynamic_cast：異質容器遍歷、框架回呼、第三方庫物件處理。
3. 避免 typeid 比對具體類別：易破壞封裝，改用 dynamic_cast 檢查介面能力。
4. 記得啟用 RTTI 編譯選項：否則 dynamic_cast 行為未定義，typeid 僅回傳靜態類型。
5. 效能關鍵路徑：考慮手動類型標記 (enum/id) 或訪問者模式替代。

結語

RTTI 是 C++ 多態機制的重要補充。typeid 提供精確類型身分證，dynamic_cast 提供安全的向下轉型與 is-a 關係檢查。理解兩者語義差異、效能特性與擴充性影響，能在「虛擬函數不足」時做出正確選擇。現代 C++ 開發中，結合 std::variant、std::any (C++17) 與訪問者模式，往往能更優雅地解決異質類型處理問題。

1. 上一篇文章： MFC 內部運作機制深度解析：從 WinMain 到訊息迴圈
2. 下一篇文章： VC++ 樹狀控件節點拖曳完美實作：CXTreeCtrl 完整原始碼解析

關於VC++

Access 2000 內部 COM 增益集開發實戰：使用 ATL 實現自訂工具列與按鈕

前言 在 Office 2000 開發體系中，內部 COM

VC++ 實作全域攔截阻止惡意 Hook DLL 載入

全域 Hook 載入機制 程式 A 安裝 WH_GETMES

測試驅動開發（TDD）實戰：GUI 單元測試與 Mock Objects

測試優先是 TDD 核心，但 GUI 自動化測試向來是弱項。

If-Trader 訂單流程系統：以 Windows 2003 Application Server 實作非同步分單與自動審核

系統背景 原系統建構於 IIS 6.0、COM+ 1.5、M