多態性處理參數 - 簡單的OO？

Question

我相信這之前必須一直在問，但我似乎無法找到一個類似的例子。我非常瞭解多態性與方法重載，但這裏是一個可以解決的看似簡單的場景，我想不起來了：

，讓我們說，我有幾個派生類的基類。我會用形狀在這個例子

base Shape 
derived Circle extends Shape 
derived LineSeg extends Shape 

等

現在，形狀有一個名爲方法相交（其他），對另一種形狀的測試，看看他們是否相交。使用多態性很容易看到Circle，LineSeg等如何實現自己的「相交」方法，並且通過方法重載，我可以輕鬆實現所有需要的組合。例如，

Circle.intersect(LineSeg) 
Circle.intersect(Circle) 
LineSeg.intersect(Circle) 

等

到目前爲止好。

的問題是，如果我保持形狀的中心名單，我想這樣做：

for some shape s 
Foreach shape in Shapes 
    if (s.intersect(shape)) - do something 

目前，我不知道這是怎麼可能的，因爲方法的重載選擇「相交」方法來匹配基本類型Shape，而不是適當的參數類型。如何在沒有if-else鏈的情況下檢查類型和向下轉換？

順便說一句，我使用Java，但我不知道該語言是完全相關的，因爲它似乎是一個基本的設計問題。似乎很簡單，我錯過了什麼？

謝謝！

---

解決下面（謝謝！），看到細節那裏。基本上，由具有在派生類然後調用適當的方法（一個訪問者模式？）回調，則可以使用「這」關鍵字調用適當的交叉方法，因爲它具有所需的正確類型。

Answer 1

我的第一個想法是訪問者模式，幾乎給每個Shape兩個方法，一個我會在每個Shape類型上調用intersect(Shape)和一個doIntersect()方法。

它看起來大約是這樣的：

interface Shape { 
    public abstract Intersection intersect(Shape other); 

    public abstract Intersection doIntersect(Circle circle); 

    public abstract Intersection doIntersect(LineSeg line); 
} 
class LineSeg implements Shape { 
    @Override 
    public Intersection intersect(Shape other) { 
     return other.doIntersect(this); 
    } 

    Intersection doIntersect(Circle circle) { 
     // Code to intersect with Circle 
    } 

    Intersection doIntersect(LineSeg other) { 
     // Code to intersect with another Lineseg 
    } 
} 

class Circle implements Shape { 
    @Override 
    public Intersection intersect(Shape other) { 
     return other.doIntersect(this); 
    } 

    public Intersection doIntersect(Circle other) { 
     // Code to intersect with another Circle 
    } 

    public Intersection doIntersect(LineSeg segment) { 
     // Code to intersect with LineSeg 
    } 
} 

您可能希望在doIntersect方法進行包專用或雖比選擇這些不同的名稱。

Answer 2

瞭解泛型JDK5

對於形狀<每個形狀>

Answer 3

你的形狀類必須是一個抽象類，這意味着它不會被實例化，只有派生類圓形和lineseg有實例。相交方法應該是在虛擬的形狀，所以當你遍歷所有的形狀，每種形狀的交叉方法被稱爲

public abstract class Shape { 

    boolean intersect(Shape s); 
} 

public class Circle extends Shape { 

    boolean intersect(Shape s) { 
     ... 
     if(s instanceOf Circle) { 
      .... // Circle intersects cicrcle 
     } else if(s instanceOf Lineseg) { 
      .... // Circle intersects Lneseg 
     } else { 
      throw RuntimeException("Unrecognized shape"); 
     } 

    } 

} 

public class Lineseg extends Shape { 

    boolean intersect(Shape s) { 
     ... 
     if(s instanceOf Circle) { 
      .... // Lineseg intersects circle 
     } else if(s instanceOf Lineseg) { 
      .... // Lineseg intersects lineseg 
     } else { 
      throw RuntimeException("Unrecognized shape"); 
     } 
    } 

}