Java 向下轉型與 RTTI：運行時類型識別的安全網

為何需要向下轉型？

向上轉型（衍生類→基類）安全無虞，但導致具體類型信息丟失。當需要調用衍生類特有方法時，必須向下轉型（基類→衍生類）。風險在於：引用指向的對象可能不是目標類型（如 Shape 實際指向 Triangle 而非 Circle）。

Java 的解決方案：自動運行時檢查

C++ 需程序員手動保證類型安全（dynamic_cast），Java 則所有轉型均自動檢查：

• 括號轉型 (Circle)shape 在運行期驗證對象真實類型
• 類型不符拋出 ClassCastException，屬編程錯誤，無需捕獲
• 此機制稱為 RTTI（Run-Time Type Identification，運行時類型識別）

代碼演示

class Useful { void f() {} void g() {} }
class MoreUseful extends Useful { void u() {} void v() {} void w() {} }

Useful[] x = { new Useful(), new MoreUseful() };
x[0].f(); x[1].g();           // OK：基類方法
// x[1].u();                 // 編譯錯誤：基類無 u()
((MoreUseful)x[1]).u();       // 運行期 OK：實際是 MoreUseful
((MoreUseful)x[0]).u();       // 運行期拋 ClassCastException：實際是 Useful

RTTI 的更多用途

除轉型檢查，RTTI 還支持：

• instanceof 關鍵字：轉型前預判類型
• Class 對象：獲取完整類型元信息
• 反射機制：動態加載、檢查、調用類

第 11 章將專門深入講解 RTTI 體系。