Ad-hoc-Polymorphie und Vererbung

mathematisches Modell:

• durch class D extends C usw. entsteht eine Halbordnung auf Typen (T,≤)
• dadurch auch auf Tupeln von Typen (Tⁿ,≤ⁿ)

  (Definition: komponentenweise)

Anwendung bei Auflösung des Aufrufs eines überladenen Methodennamens:

• bestimme die Menge P der (sichtbaren) Methoden mit Typ t', der zum Aufruf-Typ t paßt (d.h. t≤ⁿt')
• bestimme M : = die ≤ⁿ-minimalen Elemente von P
• falls M genau ein Element enthält, dann wähle dieses, sonst ist Überladung nicht auflösbar