OOP Java：可以將子類返回給父類嗎？

Question

我是OOP的新手，所以我有一個愚蠢的問題，關於什麼時候上課extends。

這裏我舉的例子：

public class Test { 
    public Monitor getMonitor(){ 
     return new LCD(); 
    } 

    class LCD extends Monitor { NO-ERROR 
    class LCD {     ERROR at line `return new LCD` 
     //some other method or function not in Monitor Class. Example: 
     boolean isSamsung; 
     public LCD whatkindLCD(){   
     }  
    } 
} 

我對上面的代碼中有一個問題：因爲LCD從Monitor擴展和LCD具有一些其他性能/方法監測沒有。所以，LCD是Monitor的孩子吧？

這意味着你試着把一個「大盒子」放到一個「小盒子」中。那麼，爲什麼當我return new LCD，Eclipse沒有注意到錯誤，因爲當我只使用class LCD {。

謝謝:)

Answer 1

將繼承理解爲「是」的關係。這裏有一個簡單的例子，我用它來理解我在新手年代的繼承。

class Employee 
{ 
    String name; 
    int salary; 

    Employee() 
    { 
     name = "Employee"; 
     salary = 5000; 
    } 
    public String getName() 
    { 
     return name; 
    } 
    public int getSalary() 
    { 
     return salary; 
    } 
} 
class Manager extends Employee 
{ 
    int bonus; 
    int salary; 

    Manager() 
    { 
     bonus = 1000; 
     salary = 6000; 
    } 
    public int getBonus() 
    { 
     return bonus; 
    } 
    public int getSalary() 
    { 
     return salary; 
    } 
} 

class Test 
{   
    public static void main(String[] args) 
    { 
     Employee e = new Employee(); 
     System.out.println(e.getName()); 
     //System.out.println(e.getBonus()); 
     System.out.println(e.getSalary()); 

     System.out.println(); 

     Manager m = new Manager(); 
     System.out.println(m.getName()); 
     System.out.println(m.getBonus()); 
     System.out.println(m.getSalary()); 

     System.out.println(); 

     Employee em = new Manager(); 
     System.out.println(em.getName());     
     //System.out.println(em.getBonus());    
     System.out.println(((Manager)em).getBonus()); 
     System.out.println(em.getSalary());  
     } 
} 

編譯器在調用任何操作之前查找引用類型。 em.getBonus（）不起作用，因爲Employee沒有獎勵方法。 但使用一個演員，我們可以使其工作。 （（經理）EM）getBonus（）

之所以編譯器查找引用類型調用任何操作上它是如下之前：

管理器[]管理者=新管理器[10];

是合法的這個數組轉換爲一個Employee []數組：

僱員[]人員=管理人員; //好的

當然，爲什麼不呢，你可能會想。畢竟，如果經理[我]是經理，那麼他也是一名員工。但事實上，令人驚訝的事情正在發生。請記住，經理和員工都是對同一陣列的引用。

現在考慮的聲明

人員[0] =新僱員（ 「約翰Eipe」，...）;

編譯器會高興地允許這個任務。 但員工[0]和經理[0]是相同的參考，所以看起來我們設法將僅僅一名員工偷運到管理層 的行列中。

這將是非常糟糕的 - 調用管理器[0] .setBonus（1000）將嘗試訪問不存在的實例字段並會破壞鄰近的內存。 爲了確保不會發生此類損壞，所有陣列都記住它們創建時的元素類型 ，並且它們監視只有兼容的引用存儲在它們中的 。例如，作爲新Manager [10]創建的陣列會記住它是一個由 管理器組成的數組。嘗試存儲Employee參考會導致ArrayStoreException。

Answer 2

盒類比是錯誤的，想到的is a關係來代替。

在第一個示例中，LCD extends Monitor即LCD is a Monitor，因此在任何需要Monitor的地方，LCD都可以。當你用真實的術語思考而不是看代碼時，你意識到這是正確的。一般你可以期待一臺顯示器的任何東西（例如顯示一張圖片），一臺液晶顯示器就可以。

在第二個示例中，LCD不是顯示器，因此您會收到錯誤消息。

Answer 3

在您的第二個（錯誤）情況下，您忘記聲明LCD實際上確實延伸了Monitor。你只是定義一個「正常」，獨立的類 - 所以new LCD()是而不是Monitor的一個實例。

編譯器應該是快樂的，如果你聲明LCD類是這樣的：

class LCD extends Monitor { 
    //some other method or function not in Monitor Class. Example: 
    boolean isSamsung; 
    public LCD whatkindLCD(){   
    }  
} 

---

編輯（在響應評論）：這不是一個問題，在所有的LCD類有額外屬性/方法相比Monitor。代碼將被稱爲getMonitor()，只是真的關心它得到了Monitor回來 - 也就是說，它具有Monitor的所有方法和屬性以及行爲。

所以，如果你對你的Monitor類turnOff和displayBitmap(int[][] data)方法，那麼你的LCD類也將有這些方法。當需要時，LCD的任何實例都可以表現爲Monitor - 這是OO語言中子類化的基本原理。因此，無論何時需要某個Monitor，您可以給它一個LCD或CRT或SamsungLCD的實例，而如果您有這些，並且編譯器可以確信正確的方法/屬性將存在並且可以被調用。

（從技術上講這是Liskov substitution principle如果你喜歡正式的定義，但你並不需要了解它的詳細程度。）

Answer 4

你的方法getMonitor返回「監控」型。

當您使用顯示器擴展您的班級LCD時，您所說的編譯器即LCD 是顯示器。 當您刪除擴展時，LCD類變成普通類而不是監視器類型。 如果您將getMonitor修改爲

public LCD getMonitor(){ 
     // code here 
} 

錯誤會消失。