... die Funktion Ñ Ò µ einer Klasse ÂÚÑ:

Transkript

1 In der Klasse À Ø wird die Objekt-Methode Ø µ neu definiert. Achtung bei ËÙ mit der Reihenfolge der Argumente!... die Funktion Ñ Ò µ einer Klasse ÂÚÑ: ÔÙ Ø Ø ÚÓ Ñ Ò ËØÖ Ò Ö µ ß ÁÒ ØÖÙØ ÓÒ Ó Ø Ó µ ÁÒ ØÖÙØ ÓÒ Ö Ó ¼ Û Öº Ø µµ Ö Ó Öº Ü ÙØ µ 521

2 Für einen vernünftigen Interpreter müssen wir natürlich auch in der Lage sein, ein JVM-Programm einzulesen, d.h. eine Funktion Ø Ó µ zu implementieren... Die abstrakte Klasse ÁÒ ØÖÙØ ÓÒ: Instruction abstract execute() Sub Halt Const 522

3 Jede Unterklasse von ÁÒ ØÖÙØ ÓÒ verfügt über ihre eigene Methode Ü ÙØ µ. In dem Feld ÁÒ ØÖÙØ ÓÒ Ó liegen Objekte aus solchen Unterklassen. Alloc 1 Instruction[] code Read Store Load Const Add Write Halt

4 Die Interpreter-Schleife ruft eine Methode Ü ÙØ µ für die Elemente dieses Felds auf. Welche konkrete Methode dabei jeweils aufgerufen wird, hängt von der konkreten Klasse des jeweiligen Objekts ab, d.h. entscheidet sich erst zur Laufzeit. Das nennt man auch dynamische Bindung. Leider (zum Glück?) lässt sich nicht die ganze Welt hierarchisch organisieren

5 Die Interpreter-Schleife ruft eine Methode Ü ÙØ µ für die Elemente dieses Felds auf. Welche konkrete Methode dabei jeweils aufgerufen wird, hängt von der konkreten Klasse des jeweiligen Objekts ab, d.h. entscheidet sich erst zur Laufzeit. Das nennt man auch dynamische Bindung. Leider (zum Glück?) lässt sich nicht die ganze Welt hierarchisch organisieren

6 Beispiel: Comparable AddSubMulDiv Rational Complex AddSubMulDiv = Objekte mit Operationen µ Ù µ ÑÙ µ und Ú µ Comparable = Objekte, die eine ÓÑÔ Ö ÌÓ µ-operation besitzen. 526

7 Mehrere direkte Oberklassen einer Klasse führen zu konzeptuellen Problemen: Auf welche Klasse bezieht sich ÙÔ Ö? Welche Objekt-Methode Ñ Ø µ ist gemeint, wenn wenn mehrere Oberklassen Ñ Ø µ implementieren? meth() A meth() B C 527

8 Kein Problem entsteht, wenn die Objekt-Methode Ñ Ø µ in allen Oberklassen abstrakt ist :-) oder zumindest nur in maximal einer Oberklasse eine Implementierung besitzt :-)) Ein Interface kann aufgefasst werden als eine abstrakte Klasse, wobei: alle Objekt-Methoden abstrakt sind; es keine Klassen-Methoden gibt; alle Variablen Konstanten sind. 528

9 Kein Problem entsteht, wenn die Objekt-Methode Ñ Ø µ in allen Oberklassen abstrakt ist :-) oder zumindest nur in maximal einer Oberklasse eine Implementierung besitzt :-)) Ein Interface kann aufgefasst werden als eine abstrakte Klasse, wobei: alle Objekt-Methoden abstrakt sind; es keine Klassen-Methoden gibt; alle Variablen Konstanten sind. 529

10 Beispiel: ÔÙ ÒØ Ö ÓÑÔ Ö ß ÒØ ÓÑÔ Ö ÌÓ Ç Ø Üµ Object ist die gemeinsame Oberklasse aller Klassen. Methoden in Interfaces sind automatisch Objekt-Methoden und ÔÙ. Es muss eine Obermenge der in Implementierungen geworfenen Exceptions angegeben werden. Evt. vorkommende Konstanten sind automatisch ÔÙ Ø Ø. 530

11 Beispiel (Forts.): ÔÙ Ê Ø ÓÒ ÜØ Ò ËÙ ÅÙ Ú ÑÔ Ñ ÒØ ÓÑÔ Ö ß ÔÖ Ú Ø ÒØ Þ Ö Ò ÒÒ Ö ÔÙ ÒØ ÓÑÔ Ö ÌÓ Ç Ø ÑÔµ ß Ê Ø ÓÒ Ö Ø ÓÒ Ê Ø ÓÒ µ ÑÔ ÓÒ Ø Þ Ö Ö Ø ÓÒºÒ ÒÒ Ö ÓÒ Ö Ø Ò ÒÒ Ö Ö Ø ÓÒºÞ Ö Ø Ö Øµ Ö ØÙÖÒ ¼ Ø Ö Øµ Ö ØÙÖÒ ¹½ Ö ØÙÖÒ ½»» Ò Ó ÓÑÔ Ö ÌÓ ººº»» Ò Ó Ê Ø ÓÒ 531

12 A ÜØ Ò B ÑÔ Ñ ÒØ B1, B2,...,Bk ßººº gibt an, dass die Klasse A als Oberklasse B hat und zusätzlich die Interfaces B1, B2,...,Bk unterstützt, d.h. passende Objekt-Methoden zur Verfügung stellt. Java gestattet maximal eine Oberklasse, aber beliebig viele implementierte Interfaces. Die Konstanten des Interface können in implementierenden Klassen direkt benutzt werden. Interfaces können als Typen für formale Parameter, Variablen oder Rückgabewerte benutzt werden. Darin abgelegte Objekte sind dann stets aus einer implementierenden Klasse. Expliziter Cast in eine solche Klasse ist möglich (und leider auch oft nötig :-( 532

13 Interfaces können andere Interfaces erweitern oder gar mehrere andere Interfaces zusammenfassen. Erweiternde Interfaces können Konstanten auch umdefinieren... (kommen Konstanten gleichen Namens in verschiedenen implementierten Interfaces vor, gibt s einen Laufzeit-Fehler...) Beispiel (Forts.): ÔÙ ÒØ Ö ÓÙÒØ ÜØ Ò ÓÑÔ Ö ÓÒ ß ÓÙÒØ Ò ÜØ µ ÓÙÒØ ÔÖ Ú µ ÒØ ÒÙÑ Ö µ 533

14 Das Interface ÓÙÒØ umfasst die (beide vordefinierten :-) Interfaces ÓÑÔ Ö und ÓÒ. Das vordefinierte Interface ÓÒ verlangt eine Objekt-Methode ÔÙ Ç Ø ÓÒ µ die eine Kopie des Objekts anlegt. Eine Klasse, die ÓÙÒØ implementiert, muss über die Objekt-Methoden ÓÑÔ Ö ÌÓ µ ÓÒ µ Ò ÜØ µ ÔÖ Ú µ und ÒÙÑ Ö µ verfügen. 534

15 Übersicht: Interfaces Object Cloneable Comparable AddSubMulDiv Countable Rational Complex Klassen-Hierarchie 535

16 14 Polymorphie Problem: Unsere Datenstrukturen Ä Ø, ËØ und ÉÙ Ù können einzig und allein ÒØ-Werte aufnehmen. Wollen wir ËØÖ Ò -Objekte oder andere Arten von Zahlen ablegen, müssen wir die jeweilige Datenstruktur grade nochmal definieren :-( 536

17 14.1 Unterklassen-Polymorphie Idee: Eine Operation meth A Üµ lässt sich auch mit einem Objekt aus einer Unterklasse von A aufrufen!!! Kennen wir eine gemeinsame Oberklasse Base für alle möglichen aktuellen Parameter unserer Operation, dann definieren wir meth einfach für Base... Eine Funktion, die für mehrere Argument-Typen definiert ist, heißt auch polymorph. 537

18 Statt: f(b1 x) B1 f(b2 x) B2 f(b3 x) B3... besser: f(a x) A B1 B2 B3 538

19 Fakt: Die Klasse Ç Ø ist eine gemeinsame Oberklasse für alle Klassen. Eine Klasse ohne angegebene Oberklasse ist eine direkte Unterklasse von Ç Ø. Einige nützliche Methoden der Klasse Ç Ø : ËØÖ Ò ØÓËØÖ Ò µ liefert (irgendeine) Darstellung als ËØÖ Ò ; ÓÓ Ò ÕÙ Ç Ø Ó µ testet auf Objekt-Identität oder Referenz-Gleichheit: ÔÙ ÓÓ Ò ÕÙ Ç Ø Ó µ ß Ö ØÙÖÒ Ø Ó

20 ÒØ Ó µ liefert eine eindeutige Nummer für das Objekt.... viele weitere geheimnisvolle Methoden, die u.a. mit paralleler Programm-Ausführung zu tun haben :-) Achtung: Ç Ø-Methoden können aber (und sollten evt.:-) in Unterklassen durch geeignetere Methoden überschrieben werden. 540

21 Beispiel: ÔÙ ÈÓÝ ß ÔÙ ËØÖ Ò ØÓËØÖ Ò µ ß Ö ØÙÖÒ À Ó ÔÙ ÈÓÝÌ Ø ß ÔÙ Ø Ø ËØÖ Ò ÏÓÖ Ç Ø Üµ ß Ö ØÙÖÒ ÜºØÓËØÖ Ò µ ÏÓÖ ÔÙ Ø Ø ÚÓ Ñ Ò ËØÖ Ò Ö µ ß Ç Ø Ü Ò Û ÈÓÝ µ ËÝ Ø ÑºÓÙØºÔÖ ÒØ ÏÓÖ Üµ Ò µ 541

22 ... liefert: À Ó ÏÓÖ Die Klassen-Methode ÏÓÖ µ kann auf jedes Objekt angewendet werden. Die Klasse ÈÓÝ ist eine Unterklasse von Ç Ø. Einer Variable der Klasse A kann ein Objekt jeder Unterklasse von A zugewiesen werden. Darum kann Ü das neue ÈÓÝ-Objekt aufnehmen :-) Bemerkung: Die Klasse ÈÓÝ enthält keinen explizit definierten Konstruktor. Eine Klasse A, die keinen anderen Konstruktor besitzt, enthält implizit den trivialen Konstruktor ÔÙ A µ ß. 542

23 Achtung: ÔÙ ÈÓÝ ß ÔÙ ËØÖ Ò Ö Ø Ò µ ß Ö ØÙÖÒ À Ó ÔÙ ÈÓÝÌ Ø ß ÔÙ Ø Ø ÚÓ Ñ Ò ËØÖ Ò Ö µ ß Ç Ø Ü Ò Û ÈÓÝ µ ËÝ Ø ÑºÓÙØºÔÖ ÒØ Üº Ö Ø Ò µ ÏÓÖ Ò µ... liefert

24 ... einen Compiler-Fehler: Å Ø Ó Ö Ø Ò µ ÒÓØ ÓÙÒ Ò Ú º Ò ºÇ Øº ËÝ Ø ÑºÓÙØºÔÖ ÒØ Üº Ö Ø Ò µ ÏÓÖ Ò µ ½ ÖÖÓÖ Die Variable Ü ist als Ç Ø deklariert. Der Compiler weiss nicht, ob der aktuelle Wert von Ü ein Objekt aus einer Unterklasse ist, in welcher die Objekt-Methode Ö Ø Ò µ definiert ist. Darum lehnt er dieses Programm ab. 544

25 Ausweg: Benutze einen expliziten cast in die entsprechende Unterklasse! ÔÙ ÈÓÝ ß ÔÙ ËØÖ Ò Ö Ø Ò µ ß Ö ØÙÖÒ À Ó ÔÙ ÈÓÝÌ Ø ß ÔÙ ÚÓ Ñ Ò ËØÖ Ò Ö µ ß Ç Ø Ü Ò Û ÈÓÝ µ Ü Ò Ø Ò Ó ÈÓÝµ ËÝ Ø ÑºÓÙØºÔÖ ÒØ ÈÓÝµ Üµº Ö Ø Ò µ ÏÓÖ Ò µ ËÝ Ø ÑºÓÙØºÔÖ ÒØ ËÓÖÖÝ ÒÓ Ø ÔÓ Ò µ 545

26 Fazit: Eine Variable Ü einer Klasse A kann Objekte aus sämtlichen Unterklassen B von A aufnehmen. Durch diese Zuweisung vergisst Java die Zugehörigkeit zu B, da Java alle Werte von Ü als Objekte der Klasse behandelt. Mit dem Ausdruck Ü Ò Ø Ò Ó B können wir zur Laufzeit die Klassenzugehörigkeit von Ü testen ;-) Sind wir uns sicher, dass Ü aus der Klasse B ist, können wir in diesen Typ casten. Ist der aktuelle Wert der Variablen Ü bei der Überprüfung tatsächlich ein Objekt (einer Unterklasse) der Klasse B, liefert der Ausdruck genau dieses Objekt zurück. Andernfalls wird eine Exception ausgelöst :-) 546

27 Beispiel: Unsere Listen ÔÙ Ä Ø ß ÔÙ Ç Ø Ò Ó ÔÙ Ä Ø Ò ÜØ ÔÙ Ä Ø Ç Ø Ü Ä Ø µ ß Ò Ó Ü Ò ÜØ ÔÙ ÚÓ Ò ÖØ Ç Ø Üµ ß Ò ÜØ Ò Û Ä Ø Ü Ò ÜØµ ÔÙ ÚÓ Ø µ ß Ò ÜØ ÒÙµ Ò ÜØ Ò ÜØºÒ ÜØ ººº 547

28 ÔÙ ËØÖ Ò ØÓËØÖ Ò µ ß ËØÖ Ò Ö ÙØ Ò Ó ÓÖ Ä Ø Ø Ò ÜØ Ø ÒÙ Ø ØºÒ ÜØµ Ö ÙØ Ö ÙØ Øº Ò Ó Ö ØÙÖÒ Ö ÙØ ººº»» Ò Ó Ä Ø Die Implementierung funktioniert ganz analog zur Implementierung für ÒØ. Die ØÓËØÖ Ò µ-methode ruft implizit die (stets vorhandene) ØÓËØÖ Ò µ-methode für die Listen-Elemente auf. 548

29 ... aber Achtung: ººº ÈÓÝ Ü Ò Û ÈÓÝ µ Ä Ø Ø Ò Û Ä Ø Üµ Ü Øº Ò Ó ËÝ Ø ÑºÓÙØºÔÖ ÒØ Ü Ò µ ººº liefert

30 ... einen Compiler-Fehler, da der Variablen Ü nur Objekte einer Unterklasse von ÈÓÝ zugewiesen werden dürfen. Stattdessen müssen wir schreiben: ººº ÈÓÝ Ü Ò Û ÈÓÝ µ Ä Ø Ø Ò Û Ä Ø Üµ Ü ÈÓÝµ Øº Ò Ó ËÝ Ø ÑºÓÙØºÔÖ ÒØ Ü Ò µ ººº Das ist hässlich!!! Geht das nicht besser??? 550

31 14.2 Generische Klassen Idee: Seit Version 1.5 verfügt Java über generische Klassen... Anstatt das Attribut Ò Ó als Ç Ø zu deklarieren, geben wir der Klasse einen Typ-Parameter Ì für Ò Ó mit!!! Bei Anlegen eines Objekts der Klasse Ä Ø bestimmen wir, welchen Typ Ì und damit Ò Ó haben soll

32 Beispiel: Unsere Listen ÔÙ Ä Ø Ì ß ÔÙ Ì Ò Ó ÔÙ Ä Ø Ì Ò ÜØ ÔÙ Ä Ø Ì Ü Ä Ø Ì µ ß Ò Ó Ü Ò ÜØ ÔÙ ÚÓ Ò ÖØ Ø Üµ ß Ò ÜØ Ò Û Ä Ø Ì Ü Ò ÜØµ ÔÙ ÚÓ Ø µ ß Ò ÜØ ÒÙµ Ò ÜØ Ò ÜØºÒ ÜØ ººº 552

33 ÔÙ Ø Ø ÚÓ Ñ Ò ËØÖ Ò Ö µ ß Ä Ø ÈÓÝ Ø Ò Û Ä Ø ÈÓÝ Ò Û ÈÓÝ µ ÒÙµ ËÝ Ø ÑºÓÙØºÔÖ ÒØ Øº Ò Óº Ö Ø Ò µ Ò µ»» Ò Ó Ä Ø Die Implementierung funktioniert ganz analog zur Implementierung für Ç Ø. Der Compiler weiß aber nun in Ñ Ò, dass Ø vom Typ Ä Ø ist mit Typ-Parameter Ì = ÈÓÝ. Deshalb ist Øº Ò Ó vom Typ ÈÓÝ :-) Folglich ruft Øº Ò Óº Ö Ø Ò µ die entsprechende Methode der Klasse ÈÓÝ auf :-)) 553

34 ÔÙ Ø Ø ÚÓ Ñ Ò ËØÖ Ò Ö µ ß Ä Ø ÈÓÝ Ø Ò Û Ä Ø ÈÓÝ Ò Û ÈÓÝ µ ÒÙµ ËÝ Ø ÑºÓÙØºÔÖ ÒØ Øº Ò Óº Ö Ø Ò µ Ò µ»» Ò Ó Ä Ø Die Implementierung funktioniert ganz analog zur Implementierung für Ç Ø. Der Compiler weiß aber nun in Ñ Ò, dass Ø vom Typ Ä Ø ist mit Typ-Parameter Ì = ÈÓÝ. Deshalb ist Øº Ò Ó vom Typ ÈÓÝ :-) Folglich ruft Øº Ò Óº Ö Ø Ò µ die entsprechende Methode der Klasse ÈÓÝ auf :-)) 554