Java instanceof 原理深度解析：向上轉型後為何仍能識別真實類型？

核心問題

Dog d = new Dog(); Pet p = d; Object o = p; 經過多次向上轉型後，o instanceof Dog 為何仍返回 true？引用類型明明是 Object。

關鍵概念：引用 vs 對象

• 引用變量：存儲對象的內存地址，有聲明類型（編譯時類型）。
• 對象實例：堆內存中實際分配的內存塊，包含對象頭（Mark Word、Klass Pointer）、實例數據。Klass Pointer 指向類元數據，決定對象真實類型。

轉型過程發生了什麼？

Dog d = new Dog();     // 1. 堆中創建 Dog 對象，d 存地址，聲明類型 Dog
Pet p = d;             // 2. p 複製 d 的地址，聲明類型 Pet（向上轉型）
Object o = p;          // 3. o 複製 p 的地址，聲明類型 Object（再次向上轉型）

堆中只有一個 Dog 對象，三個引用指向同一地址。對象頭的 Klass Pointer 始終指向 Dog.class 元數據，不會隨引用轉型改變。

instanceof 執行邏輯

1. 取得引用指向的對象地址。
2. 讀取對象頭的 Klass Pointer，獲取真實類型元數據（Dog）。
3. 判斷真實類型是否為目標類型（Dog）或其父類/實現接口。
4. 返回 true。

所以 instanceof 檢查的是運行時對象的真實類型，而非引用的聲明類型。

對比：編譯時類型 vs 運行時類型

實戰意義

• 向上轉型安全，向下轉型需 instanceof 守護防 ClassCastException。
• 多態調用（o.toString()）靠動態分發，也是基於真實類型。
• 序列化/反射/ORM 框架大量依賴運行時類型信息（RTTI）。