如何將基類型對象分配給父類型引用？

Question

class Home{ 
     void provideshelter(){ 
      //code 
     } 
     void Acessroom(){ 
      //code 
     } 
} 
class KangVilla extends Home{ 
     void AutomaticGates(){ 
      //code 
     } 
     //now KangVilla have more methods than Home,clearly. 
     public static void main(String[] args){ 
      Home H = new KangVilla(); 
      KangVilla k = (KangVilla) H;// i am having problem with these statements 
     } 
} 

問題我已閱讀，在編譯時，編譯器會當我說Home H僅檢查引用變量而不是實際的object.So這意味着編譯想過^h沒有KangVilla這是原始one.And它關心只方法，其是可訪問通Home類型的參考H並且這些在這種情況下，ok.But它允許的下一個語句是

KangVilla k = (KangVilla) H; 

現在，這是一個簡單的邏輯k可以訪問比H多種方法，因爲它是派生的類的type.So爲什麼編譯器不complaning的基礎是，如果H轉換爲k然後（未失去在此轉換「H」上）有可能通過k訪問更多方法（Home +本地KangVilla），這些方法不可能通過H訪問？

那麼編譯器如何在不看到實際對象的情況下只看到引用變量來評估這一點？

Answer 1

編譯器不會抱怨，因爲他無法評估該語句在設計時間期間是否非法。這取決於實際類型的h：

如果你想它在運行時會工作使用這樣的：

Home h = new KangVanilla(); //this is legal 
    ... //other code 
    KangVilla k = (KangVilla) h; //so this IS legal. 
    k.AutomaticGates(); 

但是，這將引發一個演員的異常：

Home h = new Home(); //this is legal 
KangVilla k = (KangVilla) h; //but this isn't. 
k.Autom aticGates(); 

---

真實類型差異即時通訊談論關於：

Home h = new Home(); 
System.out.println(h instanceof Home); //true; 
System.out.println(h instanceof KangVanilla); //false; 


Home h = new KangVanilla(); //this is a REAL KangVanilla, Casted up to Home. 
System.out.println(h instanceof Home); //true; 
System.out.println(h instanceof KangVanilla); //true - so THIS can be casted DOWN to a KangVanilla;