gestione dei parametri simile al polimorfismo - OO semplice?

Question

Sono sicuro che questo deve essere stato chiesto prima, ma non riesco a trovare un esempio simile. Capisco bene il polimorfismo e il sovraccarico del metodo, ma qui è uno scenario apparentemente semplice con una soluzione che mi sfugge:

diciamo che ho una classe base con diverse classi derivate. Userò forme per questo esempio

base Shape 
derived Circle extends Shape 
derived LineSeg extends Shape 

ecc

Ora, la forma ha un metodo chiamato intersecano (altro) che i test contro un'altra forma per vedere se si intersecano. Con il polimorfismo è facile vedere come Circle, LineSeg, ecc. Possono implementare i propri metodi "intersect" e, con l'overloading del metodo, posso facilmente implementare tutte le combinazioni necessarie. per esempio,

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

ecc

finora tutto bene.

il problema è, se continuo a un elenco centrale di forme, io voglio fare questo:

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

Attualmente, io non sono sicuro di come questo sia possibile, dal momento che il metodo di sovraccarico seleziona il "Intersect" metodo per abbinare il tipo base Shape e non il tipo di parametro appropriato. Come posso farlo senza una catena if-else controllando i tipi e down-casting?

BTW, sto usando Java, ma non sono sicuro che la lingua sia del tutto pertinente poiché sembra essere una domanda di progettazione di base. Sembra così semplice, cosa mi sto perdendo?

Grazie!

---

Risolto sotto (Grazie!), Vedere i dettagli lì. Fondamentalmente, avendo una callback nelle classi derivate che poi chiama il metodo appropriato (un pattern visitor?), Puoi usare la "this" keyword per invocare il metodo intersect corretto, poiché ha il tipo corretto necessario.

Answer 1

Il mio primo pensiero è stato il modello di visitatore, quasi tutti i metodi di Shape due, uno che chiamerò intersect(Shape) e un metodo doIntersect() per tipo di forma.

Sembrerebbe su come questo:

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 
    } 
} 

Si potrebbe desiderare i metodi doIntersect per essere pacchetto private o hanno scelto nomi diversi rispetto a questi però.

Answer 2

See Generics Jdk5

Per ciascuna forma in forme <>

Answer 3

La classe forma deve essere una classe astratta, che significa che non arrivare a essere istanziati, solo il cerchio classi derivate e lineseg avere istanze. Il metodo Intersect deve essere virtuale in forma in modo che quando si esegue un ciclo su tutte le forme, il metodo Intersect di ogni forma si chiama

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"); 
     } 
    } 

}