pdf, 4 Folien pro Seite

Vererbung – Überschreiben von Methoden
Vererbung – Überschreiben von Methoden
public class Ellipse {
public class Ellipse {
float x, y, r, r2;
float x, y, r, r2;
public double umfang () {
return Math.PI
* ((this.r + this.r2) * 3 / 2
- Math.sqrt(this.r * this.r2));
}
public double umfang () {
return Math.PI
* ((r + r2) * 3 / 2
- Math.sqrt(r * r2));
}
}
}
– Dynamische Bindung (late binding)
– Dynamische Bindung (late binding)
– xxx.umfang() für Instanzen von Ellipse
– xxx.umfang() für Instanzen von Ellipse
– xxx.umfang() für Instanzen von Circle
– xxx.umfang() für Instanzen von Circle
Wolfgang Goerigk: Objektorientierte Programmierung in Java (SS 2009)
92
Wolfgang Goerigk: Objektorientierte Programmierung in Java (SS 2009)
93
Vererbung – Dynamische Bindung (late binding)
Vererbung – Überschreiben von Methoden
public class Circle extends Ellipse {
public double umfang () {
return Math.PI * ((r + s) * 3 / 2
- Math.sqrt(r * s));
public double umfang () {
return 2 * Math.PI * r;
}
double r;
public double umfang () {
return 2 * Math.PI * r;
}
}
Ellipse e = new Ellipse();
Circle c = new Circle();
– Dynamische Bindung (late binding)
… e.umfang() …
… c.umfang() …
– xxx.umfang() für Instanzen von Ellipse
– xxx.umfang() für Instanzen von Circle
Wolfgang Goerigk: Objektorientierte Programmierung in Java (SS 2009)
94
Wolfgang Goerigk: Objektorientierte Programmierung in Java (SS 2009)
95
Vererbung (Typ-Subtyp-Beziehung)
Vererbung – Dynamische Bindung (late binding)
A
!
Der Typ des Nachrichtenempfängers
entscheidet, welche Methode aufgerufen
wird.
class B extends A {
…
}
Ellipse e = new Ellipse();
Circle c = new Circle();
B
– jedes B ist auch ein A, B ist Subtyp von A
– überall, wo ein A erwartet wird, darf auch ein B auftauchen
… e.umfang() …
… c.umfang() …
Wolfgang Goerigk: Objektorientierte Programmierung in Java (SS 2009)
96
Wolfgang Goerigk: Objektorientierte Programmierung in Java (SS 2009)
97
Vererbung – Dynamische Bindung (late binding)
Vererbung (Typ-Subtyp-Beziehung)
Ellipse e;
Circle c;
class Circle extends Ellipse {
…
}
if (das_Wetter_ist_schoen())
e = new Ellipse();
else
e = new Circle();
… e.umfang() …
– jeder Kreis ist auch eine Ellipse,
Circle ist Subtyp von Ellipse
– überall, wo eine Ellipse erwartet wird, darf auch ein Kreis
auftauchen
Wolfgang Goerigk: Objektorientierte Programmierung in Java (SS 2009)
!
98
Methodenauswahl zur Laufzeit
parametrischer Polymorphismus
Wolfgang Goerigk: Objektorientierte Programmierung in Java (SS 2009)
99
Vererbung (Struktursicht, Finalisieren von Klassen)
Vererbung (Typsicht)
Welche Komponenten hat eine Klasse ?
class Circle extends Ellipse {
…
}
Attribute (Instanzvariablen)
– alle Attribute der Superklasse (und damit aller
Superklassen)
– alle eigenen (lokalen) Attribute
(nur) Intuition :
U Universum aller Objekte, Ellipse Menge von Objekten, die gewisse
Merkmale ihrer Instanzen verlangt (x, y, r, r2, …)
Also: Ellipse ⊆ U (alle Ellipsen sind Objekte)
Analog: Circle ⊆ U.
Circle verlangt mehr Merkmale (double r) als Ellipse, ist also eine
kleinere Menge von Instanzen, also Circle ⊆ Ellipse
Wolfgang Goerigk: Objektorientierte Programmierung in Java (SS 2009)
100
Methoden
– alle Methoden der Superklasse, die nicht durch
eine gleiche lokale Methode (Name und
Signatur) überschrieben werden
– alle lokalen Methoden
Wolfgang Goerigk: Objektorientierte Programmierung in Java (SS 2009)
101