Objektorientierte Programmierung - Fachgebiet ...

© 2007 bei Prof. Dr. Uwe Kastens
Untertyprelation für Objekttypen: Präzisierung
• Keine Änderung der Typen von Instanzvariablen durch Überschreiben.
• Zufügen von Methoden im Untertyp: breite Untertyprelation wie bei Records.
• Überschreiben von Methoden:
Signaturen brauchen nicht äquivalent zu sein (wie in Java):
kontravariante Parametertypen und kovariante Resultattypen - wie bei Funktionen.
(Eiffel erlaubt kovariante Parametertypen: Lücke in der Typsicherheit.)
A a; X x; P p; C c; B b;
a = x.m (p);
class X { C m (Q q) { use of q;... return c; }