OOP mit Java: Klassen, Schnittstellen und Typen

Signatur	einer Operation besteht aus
	Name + Anzahl und Typen der Parameter + Typ des Resultats

Schnittstelle	eine Menge von Signaturen für die Operationen

Typ	ein Name für eine Schnittstelle

interface	Ein interface in Java definiert genau eine Schnittstelle

	ein Objekt kann viele Schnittstellen besitzen

	ein Objekt kann viele Typen besitzen
	sehr unterschiedliche Objekte können gleiche Schnittstellen besitzen

Subtyp	ein Typ ist ein Subtyp eines anderen Typs, des Supertyps, wenn seine Schnittstelle die des Supertyps enthält

	Die Supertyp-Subtyp-Beziehung wird durch Vererbung spezifiziert

in Java	extends und implements werden hierfür als Schlüsselwörter genutzt

	Interfaces, abstrakte Klassen, konkrete Klassen definieren eine Schnittstelle

	Interfaces, abstrakte Klassen, konkrete Klassen definieren einen Typ

	ein Objekt hat im allgemeinen mehrere Schnittstellen
	einer Referenzvariablen ist genau ein Typ, eine Schnittstelle zugeordnet
	class X {...} interface I {...} interface J extends I {...} interface K extends I {...} class Y extends X implements J, K {...}
Polymorphie	Vielgestaltigkeit einer Signatur sind in unterschiedlichen Klassen unterschiedliche Methoden zugeordnet

dynamisches Binden (nächstes Kapitel)	berechnet die zu einer Signatur gehörige Methode zur Laufzeit aus der Art des Objekts

konkrete Klasse	definiert internen Zustand besitzt eine Semantik legt fest, wie etwas berechnet wird

Typ	legt Schnittstelle fest Aufrufkonvention legt fest, wie etwas verwendet wird

	jede Klasse definiert aber auch einen Typ

Klassenvererbung	Semantik, Implementierung wird vererbt und modifiziert

Schnittstellenvererbung	nur Erweiterung von Typen

Mehrfachvererbung	für Schnittstellen sehr nützlich (notwendig) für Klassen zweifelhaft

C++ und Eiffel	keine syntaktischen Unterschiede zwischen Klassen und Schnittstellen

in Java	abstract class X { ... } class Y { ... } interface I { ... }

Klassenvererbung	ermöglicht Wiederverwendung und Modifikation von Algorithmen und Datenstrukturen ohne Kopieren von Quelltexten

Schnittstellenvererbung	Das Beerben von abstrakten Klassen und Interfaces ermöglicht die Implementierung von Familien von Objekten mit identischen Schnittstellen

identische Schnittstellen
	gleichförmige Verarbeitung
	keine Fallunterscheidungen

richtige Vererbung	alle Unterklassen besitzen gleiche gemeinsame Schnittstelle

	Klienten wissen nichts über die interne Struktur der Objekte kennen nur die Schnittstelle oder abstrakte Klasse
	Implementierungsabhängigkeiten zwischen Subsystemen werden reduziert

	Referenzvariablen immer nur vom Typ einer abstrakten Klasse
	Konstruktoraufrufe von konkreten Klassen immer indirekt über erzeugende Funktionen
	--> Software-Design: Erzeugungsmuster

Klassen, Schnittstellen und Typen