Grundkonzepte objektorientierter Programmierung -

Transkript

1 Grundkonzepte objektorientierter Programmierung - Beispiele in Java, Oberon-2, Python und Delphi Projektarbeit im Studiengang Lehramt Informatik Sommersemester 2006 Friedrich-Schiller-Universität Jena erstellt von Nicole Himmerlich betreut von Prof. Dr. Michael Fothe & Lutz Kohl August 2006

2

3 Inhaltsverzeichnis 1 Konzepte und Begrie der Objektorientierung 1 2 Beispiel: Konto Aggregierung und enge Kopplung Datenkapselung Konstruktor Klassen- und instanzspezische Komponenten Manipulierbarkeit Vererbung Reimplementierung Polymorphismus Überladen Beispiel: Mediendatenbank 35 4 Beispiel: Geometrische Figuren 48 A Python-Quellcode 61 A.1 Beispiel: Konto A.2 Beispiel: Mediendatenbank A.3 Beispiel: Geometrische Figuren B Delphi-Quellcode 72 B.1 Beispiel: Konto B.2 Beispiel: Mediendatenbank B.3 Beispiel: Geometrische Figuren

4

5 1 Konzepte und Begrie der Objektorientierung Die Prädicate der Erscheinung können dem Objecte selbst beigelegt werden, in Verhältniÿ auf unseren Sinn, z.b. der Rose die rothe Farbe, oder der Geruch; [...] 1 Kant Wie wir uns räumliche Gegenstände überhaupt nicht auÿerhalb der Zeit denken können, so können wir uns keinen Gegenstand auÿerhalb der Möglichkeiten seiner Verbindung mit anderen denken. 2 Wittgenstein Die obigen Zitate zeigen, dass objektorientiertes Denken keine Erndung der Informatik ist, vielmehr gehen wir alle täglich mit Objekten um. [Somit ist Objektorientierung] für uns Menschen eine natürliche Betrachtungsweise. Wir wissen, dass Objekte Eigenschaften und ein Verhalten besitzen und aus anderen Objekten zusammengesetzt sein können. Wir betrachten von einem Objekt nur gerade so viel, wie uns im Moment interessiert und fassen gleichartige Objekte in Gruppen zusammen. 3 Die Informatik hat diese Betrachtungsweise aufgegrien und zu einem Programmierparadigma entwickelt. Der Begri Objekt umfasst Gegenstände, Personen, Sachverhalte oder Ereignisse. Jedes einzelne Objekt lässt sich durch drei Aspekte charakterisieren: es besitzt einen eindeutigen Zustand, ein wohldeniertes Verhalten und eine Identität. Der Zustand eines Objektes repräsentiert alle seine relevanten Eigenschaften und ist durch eine Menge von Attributen und deren Werte bestimmt. Durch sie wird die Struktur der Objekte vereinbart. Die Attributmenge eines Objektes ändert sich normalerweise nicht, die konkreten Werte sind jedoch veränderlich. Das Verhalten wird in der objektorientierten Programmierung durch eine Menge von Methoden beschrieben. Sie bestimmen die Art und Weise, in der ein Objekt, in Abhängigkeit von seinem Zustand auf Einwirkungen reagiert, und können Attributwerte manipulieren. Die Identität eines Objektes ist diejenige Eigenschaft, die es von allen anderen Objekten unterscheidet. Sie stellt sicher, dass alle Objekte unterscheidbar sind, auch wenn sie zufällig identische Attributwerte besitzen. Dabei muss gerade in der Softwareentwicklung zwischen dem Namen eines Objektes und seiner Identität dierenziert werden, da der Name der Adressierung dient und ein einzelnes Objekt über verschiedene Namen angesprochen werden kann. Objekte können nach bestimmten Kriterien gruppiert werden. Statt jedes Objekt einzeln zu beschreiben, werden gemeinsame Merkmale in Klassen zusammengefasst. Eine 1[Kan89, S.115, Ÿ8 Allgemeine Anmerkungen zur transzendentalen Ästhetik, Abschnitt iii] 2[Wit66, S.12, Satz ] 3[LS96, S.4] 1

6 Klasse ist somit eine abstrakte Beschreibung der Struktur und des Verhaltens von gleichartigen Objekten. Ein konkretes Objekt wird dann auch als Instanz einer Klasse bezeichnet. Zu den Grundprinzipien der objektorientierten Programmierung gehören noch weitere Konzepte: ˆ Aggregierung ˆ Kopplung ˆ Kapselung und Information Hiding ˆ Konstruktoren und Destruktoren ˆ Instanz- und klassenspezische Komponenten ˆ Vererbung ˆ Mehrfachvererbung ˆ Reimplementierung ˆ Polymorphismus ˆ Dynamisches Binden ˆ Abstrakte Klassen ˆ Generische Klassen ˆ Assoziation ˆ Aggregation ˆ Komposition Einige dieser Konzepte werden im Folgenden anhand einfacher Beispiele näher erläutert. Auf eine ausführliche Darstellung der anderen Prinzipien wird verzichtet. Sie sind hier nur erwähnt, um die Vielfalt objektorientierter Programmierung zu verdeutlichen. Nicht alle vorgestellten Konzepte sind rein objektorientiert, objektorientierte Programmierung wird viel mehr durch die Gesamtheit aller Konzepte geprägt. Dies bedeutet andererseits aber nicht, dass jede als objektorientiert bezeichnete Programmiersprache auch alle Konzepte beinhaltet bzw. unterstützt. Der der Informatik-Lehrplan für Thüringen 4 sieht vor, dass die Grundprinzipien des objektorientierten Programmierens im Leistungskurs Informatik behandelt werden. Für die Umsetzung der Beispiele wurden deshalb Programmiersprachen 5 gewählt, die an Thüringer Schulen im Einsatz sind. 4Thüringer Kultusministerium (Hrsg.): Lehrplan für das Gymnasium - Informatik, Java: Java 2 SDK 5.0; Oberon-2: POW!; Python: Python 2.4.3; ObjectPascal: Delphi 7. 2

7 2 Beispiel: Konto Zur näheren Erläuterung zentraler Eigenschaften objektorientierter Programmierung soll zunächst ein Bankkonto schrittweise modelliert werden. Jedes Bankkonto besitzt üblicherweise eine eindeutige Kontonummer und einen aktuellen Kontostand. Natürlich sind noch weitere Kennzeichen - z.b. Kontoinhaber - denkbar. Sie werden jedoch zunächst vernachlässigt, damit die Quelltexte überschaubar bleiben. Typische Aktionen, die auf einem Konto ausgeführt werden, sind das Einbzw. Auszahlen von Geldbeträgen und das Drucken eines Kontoauszugs. 2.1 Aggregierung und enge Kopplung In der prozeduralen Programmierung werden zunächst die für die Beschreibung der Daten notwendigen Datenstrukturen geschaen und danach werden die Funktionen entwickelt, mit deren Hilfe die Inhalte der vorhandenen Datenstrukturen ausgegeben bzw. manipuliert werden können. Obwohl sich die Funktionen auf die Datenstrukturen beziehen, können Daten und Funktionen nicht als eine Einheit betrachtet werden. Insbesondere wenn mehrere Datenstrukturen deklariert werden müssen, ist die Zuordnung der Funktionen nicht sofort ersichtlich. In der objektorientierten Programmierung werden zusammengehörige Attribute (Daten) und Methoden (Funktionen) zu einer manipulierbaren Gröÿe - einer Klasse - zusammengefasst. Sie bilden sozusagen ein Aggregat 6, dessen Komponenten aufeinander Bezug nehmen können. In unserem Beispiel werden alle notwendigen Attribute und Methoden für ein Bankkonto in der Klasse Konto zusammengefasst, so dass sich das in Abb. 1 gezeigte Modell ergibt. Die Methoden einzahlen(betrag) und auszahlen(betrag) verändern den Konto- Abbildung 1: Klasse Konto stand eines Bankkontos, d.h. sie müssen auf das Attribut saldo zugreifen und dessen 6In der Literatur wird häug der Begri Kapselung verwendet. Um Verwechselungen mit dem Begri Datenkapselung - im Sinne des Information Hiding - zu vermeiden, wird hier der Begri Aggregierung (ein Aggregat bilden) benutzt. 3

8 Wert verändern. Die Methode auszug() bezieht sich sogar auf die beiden Attribute der Klasse, da sie kontonummer und saldo ausgibt. Daran zeigt sich die enge Kopplung zwischen Attributen und Methoden. Java In Java wird ein Klasse über das Schlüsselwort class deniert. Alle Variablen, Funktionen bzw. Prozeduren, die innerhalb der geschweiften Klammern deniert werden, gehören damit zur Klasse und bilden deren Attribute und Methoden. Innerhalb einer Klasse können Attribute und Methoden direkt über ihren Namen angesprochen werden. Eine Quelldatei sollte nur eine Klassendenition enthalten und den gleichen Namen wie die Klasse tragen. //Datei: Konto1/Konto.java //Beispiel: Aggregierung und Kopplung // > Aggregierung class Konto{ // Attribute int kontonummer; double saldo; // Methoden void einzahlen(double betrag){ saldo = saldo + betrag; // > Kopplung void auszahlen(double betrag){ saldo = saldo betrag; // >Kopplung void auszug(){ System.out.println("Kontonummer: "+kontonummer+" Saldo: "+saldo+" Euro"); Java ist eine rein objektorientierte Sprache, so dass jedes Programm eine Klasse deniert. Deshalb wird das Testprogramm für die Klasse Konto in eine Klasse KontoTest eingebettet, die nur die Methode main enthält. Um von der Klasse Konto ein Objekt bzw. eine Instanz zu erzeugen, wird eine Variable vom Typ Konto deklariert. Der Operator new legt, mit Hilfe der vom Compiler erzeugten Methode Konto(), ein neues Konto-Objekt an, das anschlieÿend der Variablen meinkonto zugewiesen wird. Dabei gilt: Variablen, deren Typ eine Klasse ist, enthalten nicht das eigentliche Objekt, sondern nur einen Adressverweis auf dessen Speicherplatz. Insbesondere bedeutet dies, dass in meinkonto nur die Speicheradresse des Objektes abgelegt ist (siehe Abb. 2). Für den Zugri auf Attribute oder Methoden eines Objektes wird eine Punktnotation verwendet. Attribute können mittels Referenz.Attribut gelesen und deren Werte verändert werden. Methoden werden durch Referenz.Methode() aufgerufen. 4

9 Abbildung 2: Objektreferenz // Datei: Konto1/KontoTest.java // Beispiel : Aggregierung und Kopplung public class KontoTest{ public static void main(string[] args){ Konto meinkonto; // Variable vom Typ Konto meinkonto = new Konto(); // new erzeugt Instanz der Klasse Konto meinkonto.kontonummer = ; // Zugri auf Attribute meinkonto.saldo = ; System.out.println("Kontonummer: "+meinkonto.kontonummer +" Saldo: "+ meinkonto.saldo); meinkonto.einzahlen(300.00); // Methodenaufruf meinkonto.auszug(); System.out.println(); Konto deinkonto = new Konto(); // deinkonto zeigt auf neue Instanz der Klasse Konto deinkonto.kontonummer = ; deinkonto.saldo = ; deinkonto.auszug(); deinkonto.auszahlen(100.00); deinkonto.auszug(); Oberon-2 Oberon-2 verwendet sogenannte typgebundene Prozeduren, um die Zugehörigkeit der Methoden zur Klasse deutlich zu machen. Die Attribute einer Klasse werden als Felder eines Recordtyps dargestellt. Da Oberon nicht automatisch mit Referenzvariablen arbeitet, wird auÿerdem ein Referenztyp zum Recordtyp der Klasse deniert. Die Implementierung der Methoden muss zusätzlich einen speziellen Parameter vor dem Prozedurnamen besitzen. Dieser Parameter wird Empfänger genannt und repräsentiert das Objekt, für das die Methode aufgerufen wird. Der Typ des Empfängers gibt an, zu welcher Klasse die Methode gehört. Im Prozedurrumpf wird der Empfänger genutzt, um auf die Attribute der Klasse zuzugreifen. Dabei wird wieder die Punktnotation (Empfänger.Attribut) angewendet. In Oberon-2 müssen zunächst alle Datentypen deklariert werden, bevor Prozeduren implementiert werden können. Deshalb sollte jede Klasse in einem separaten Modul beschrieben werden. Sind mehrere Klassendenitionen in einem Modul enthalten, geht schnell die Übersichtlichkeit verloren und es ist nicht mehr klar erkennbar, welche Methoden zu welchem Datentyp gehören. 5

10 (* Datei: Konto1/Konto.mod *) (* Beispiel : Aggregierung und Kopplung *) MODULE Konto; IMPORT Out; TYPE (* Attribute *) Konto* = RECORD kontonummer* : LONGINT; saldo * : REAL END; (* zugehoeriger Referenztyp *) KontoRef* = POINTER TO Konto; (* Methoden *) (* > Aggregierung durch typgebundene Prozeduren*) PROCEDURE (k : KontoRef) einzahlen*(betrag : REAL); k.saldo := k.saldo + betrag; (* > Kopplung *) END einzahlen; PROCEDURE (k : KontoRef) auszahlen*(betrag : REAL); k.saldo := k.saldo betrag; (* > Kopplung *) END auszahlen; PROCEDURE (k : KontoRef) auszug*(); Out.String("Kontonummer: "); Out.Int(k.kontonummer, 10); Out.String(" Saldo: "); Out.Real(k.saldo, 10); Out.String(" Euro"); Out.Ln; END auszug; END Konto. Um eine Instanz der Klasse Konto zu erzeugen, wird eine Variable vom Typ KontoRef deklariert. Der Aufruf NEW(meinKonto) legt ein Objekt vom Typ Konto an, d.h. er stellt entsprechenden Speicherplatz zur Verfügung. Zudem bewirkt er, dass meinkonto auf dieses Objekt verweist. Über die Variable meinkonto können die Attribute der Instanz angesprochen werden (meinkonto.attribut). Für den Aufruf von Methoden wird ebenfalls die Punktnotation (meinkonto.methode()) verwendet. (* Datei: Konto1/KontoTest.mod *) (* Beispiel : Aggregierung und Kopplung *) MODULE KontoTest; IMPORT Konto, Out; PROCEDURE ProgMain*(); VAR meinkonto, deinkonto : Konto.KontoRef; (* Variablen vom Referenztyp Konto *) NEW(meinKonto); (* NEW erzeugt Instanz der Klasse Konto *) 6

11 meinkonto.kontonummer := ; (* Zugri auf Attribute *) meinkonto.saldo := ; Out.String("Kontonummer: "); Out.Int(meinKonto.kontonummer, 10); Out.String(" Saldo: "); Out.Real(meinKonto.saldo, 10); Out.Ln; meinkonto.einzahlen(300.00); (* Methodenaufruf *) meinkonto.auszug(); Out.Ln; NEW(deinKonto); (* deinkonto zeigt auf neue Instanz der Klasse Konto *) deinkonto.kontonummer := ; deinkonto.saldo := ; deinkonto.auszug(); deinkonto.auszahlen(100.00); deinkonto.auszug(); END ProgMain; END KontoTest. 2.2 Datenkapselung Das Prinzip der Datenkapselung wurde bereits 1972 von David Parnas propagiert 7. Er prägte damals den Begri Information Hiding. Im Deutschen wird oft die Bezeichnung Geheimnisprinzip verwendet. Für den Benutzer einer Klasse ist relevant, wie er eine Komponente verwenden kann, nicht wie sie realisiert ist. Deshalb wird die Struktur eines Objektes und die Implementierung der Methoden nicht oen gelegt, sondern in der Klasse verborgen. Der Zugri auf die gekapselten Attribute und deren Manipulation ist dann ausschlieÿlich über die Methoden der Klasse durchführbar. So wird sichergestellt, dass Attributwerte nicht willkürlich geändert und nur zulässige Werte gespeichert werden. Das Verstecken der Implementierungsdetails vermindert die Fehleranfälligkeit, da ein unerwarteter Zugri unmöglich ist. Änderungen der Implementierung haben keine Auswirkung auf den Nutzer, da dieser die Zugrismethoden weiterhin verwenden kann. Im Fall der Klasse Konto sollen die Attribute kontonummer und saldo vor unkontrolliertem Zugri geschützt werden. Da das Lesen und Verändern der Attribute aber zunächst noch möglich sein soll, werden neue Methoden benötigt. Die Methoden get- Kontonummer() und setkontonummer(nummer) ermöglichen Lese- und Schreibzugri auf das Attribut kontonummer. Für die Manipulation von saldo wurden die Operationen getsaldo() und setsaldo(betrag) deniert. 7Das Konzept der Datenkapselung ist ein wichtiges Prinzip der Informatik, das nicht nur in der objektorientierten Programmierung eingesetzt wird. 7

12 Java Die Zugrisrechte werden in Java über sogenannte Modizierer festgelegt. Wird ein Attribut ohne Zusatz deklariert, so ist es in allen Klassen des deklarierenden Paketes 8 sichtbar, nicht jedoch in anderen Paketen. Das Schlüsselwort public erlaubt lesenden und schreibenden Zugri, d.h. die Attribute sind in allen Paketen sichtbar. Sollen Attribute nur innerhalb der Klasse sichtbar sein, so müssen sie mit dem Modi- zierer private gekennzeichnet werden. Da die Attribute kontonummer und saldo versteckt werden sollen, sind sie ab sofort mit dem Vorsatz private versehen. Modizierer regeln auch die Sichtbarkeit von Methoden. Da die Methoden der Klasse Konto in jedem Paket zugänglich sein sollen, müssen sie als public deklariert werden. Das Schlüsselwort public kann auch auf Klassen angewendet werden. Klassen, die mit public gekennzeichnet sind, können überall benutzt werden. In einer Quelldatei darf jedoch höchstens eine Klasse als public deklariert werden. //Datei: Konto2/Konto.java //Beispiel: Datenkapselung public class Konto{ private int kontonummer; // > Datenkapselung private double saldo; // neue Methoden fuer sicheren Zugri auf Attribut kontonummer public int getkontonummer(){ return kontonummer; public void setkontonummer(int nummer){ kontonummer = nummer; // neue Methoden fuer sicheren Zugri auf Attribut saldo public double getsaldo(){ return saldo; public void setsaldo(double betrag){ saldo = betrag; // urspruengliche Methoden public void einzahlen(double betrag){ saldo = saldo + betrag; public void auszahlen(double betrag){ saldo = saldo betrag; public void auszug(){ System.out.println("Kontonummer: "+kontonummer+" Saldo: "+saldo+" Euro"); 8Pakete bestehen aus mehreren Klasse, die zu einer gröÿeren Einheit zusammengefasst werden. Um eine Klasse einem bestimmten Paket zuzuordnen muss die Anweisung package Paketname; als erste Anweisung im Quellcode stehen. 8

13 Auÿerhalb der Klasse Konto ist ein direkter Zugri auf die Attribute kontonummer und saldo nicht mehr möglich. Der Befehl meinkonto.kontonummer = führt zu einem Fehler bei der Übersetzung. Sogar der Versuch lesend auf die Variable zuzugreifen, erzeugt eine Fehlermeldung. Die Attribute können nur über entsprechende Methoden angesprochen werden. //Datei: Konto2/KontoTest.java //Beispiel: Datenkapselung public class KontoTest{ public static void main(string[] args){ Konto meinkonto = new Konto(); /* meinkonto.kontonummer = ;!! Fehler System.out.println(meinKonto.kontonummer);!! Fehler */ meinkonto.setkontonummer( ); // schreibender Zugri auf Attribute ueber entsprechende Methoden meinkonto.setsaldo(200.00); System.out.print("Kontonummer: "+meinkonto.getkontonummer()); // lesender Zugri System.out.println(" Saldo: "+meinkonto.getsaldo()+" Euro"); Oberon-2 In Oberon-2 werden Attribute und Methoden nur dann exportiert, wenn sie in ihrer Deklaration mit einem Stern (*) markiert sind. Wird die Markierung weggelassen, so sind die Namen nur innerhalb des Moduls sichtbar, in der die Klasse implementiert wird. Andere Module, die das Modul importieren, können nur auf die exportierten Attribute und Methoden zugreifen. In der Klasse Konto wird der Stern an den Attributen kontonummer und saldo entfernt. Der Name des Record, der zugehörige Referenztyp und die Methoden sollen weiterhin sichtbar sein und behalten deshalb ihre Markierung. (* Datei: Konto2/Konto.mod *) (* Beispiel : Datenkapselung *) MODULE Konto; IMPORT Out; TYPE Konto* = RECORD kontonummer : LONGINT; (* > Datenkapselung *) saldo : REAL END; KontoRef* = POINTER TO Konto; (* neue Methoden fuer sicheren Zugri auf Atrribut kontonummer *) PROCEDURE (k : KontoRef) getkontonummer*() : LONGINT; RETURN k.kontonummer; END getkontonummer; PROCEDURE (k : KontoRef) setkontonummer*(nummer : LONGINT); k.kontonummer := nummer; END setkontonummer; 9

14 (* neue Methoden fuer sicheren Zugri auf Atrribut saldo *) PROCEDURE (k : KontoRef) getsaldo*() : REAL; RETURN k.saldo; END getsaldo; PROCEDURE (k : KontoRef) setsaldo*(betrag : REAL); k.saldo := k.saldo + betrag; END setsaldo; (* urspruengliche Methoden *) PROCEDURE (k : KontoRef) einzahlen*(betrag : REAL); k.saldo := k.saldo + betrag; END einzahlen; PROCEDURE (k : KontoRef) auszahlen*(betrag : REAL); k.saldo := k.saldo betrag; END auszahlen; PROCEDURE (k : KontoRef) auszug*(); Out.String("Kontonummer: "); Out.Int(k.kontonummer, 10); Out.String(" Saldo: "); Out.Real(k.saldo, 10); Out.String(" Euro"); Out.Ln; END auszug; END Konto. Die Namen kontonummer und saldo werden vom Modul Konto nicht mehr exportiert. Die Verwendung dieser Namen im Modul KontoTest führt deshalb zu der Fehlermeldung Error 83: undened record eld. Um die Attribute trotzdem zu bearbeiten, benutzt man die set- und get-methoden. (* Datei: Konto2/KontoTest.mod *) (* Beispiel : Datenkapselung *) MODULE KontoTest; IMPORT Konto, Out; PROCEDURE ProgMain*(); VAR meinkonto : Konto.KontoRef; NEW(meinKonto); (* meinkonto.kontonummer = ;!! Fehler Out.Int(meinKonto.kontonummer);!! Fehler *) meinkonto.setkontonummer( ); (* schreibender Zugri auf Attribute ueber entsprechende Methoden *) meinkonto.setsaldo(200.00); Out.String("Kontonummer: "); Out.Int(meinKonto.getKontonummer(),10); (* lesender Zugri *) Out.String(" Saldo: "); Out.Real(meinKonto.getSaldo(),10); Out.String(" Euro"); END ProgMain; 10

15 Out.Open END KontoTest. 2.3 Konstruktor Konstruktoren sind spezielle Methoden einer Klasse, die immer dann zum Einsatz kommen, wenn ein neues Objekt erzeugt werden soll. Sie sind eine elegante Möglichkeit, Objekte zu initialisieren, können aber auch individuelles Verhalten implementieren. Die Klasse Konto erhält einen Konstruktor, der als Parameter eine Nummer übergeben bekommt. Diese Nummer dient dem Konstruktor als Initialwert für das Attribut kontonummer. Die Methode setkontonummer(nummer) wird gelöscht, da eine Kontonummer einmalig bei der Erönung des Kontos vergeben wird. Der Wert von saldo wird durch den Konstruktor auf 0.00 gesetzt. Änderungen des Kontostandes sollen anschlieÿend nur über die Methoden einzahlen(betrag) und auszahlen(betrag) möglich sein, weshalb setsaldo(betrag) entfernt wird. Java In Java ist der Konstruktor eine Methode, die den gleichen Namen, wie die zugehörige Klasse trägt. Er unterscheidet sich bei der Denition von anderen Methoden dadurch, dass kein Objekttyp für die Rückgabe speziziert werden darf. Der Konstruktor wird bei der Erzeugung eines Objektes nach dem Operator new aufgerufen. Ein expliziter Aufruf der Form: Referenz.Konstuktor() ist nicht möglich. Ist für eine Klasse kein Konstruktor explizit deklariert, dann baut der Compiler einen Standardkonstruktor ohne Parameter ein. Dieser Konstruktor initialisiert alle Attribute mit NULL. //Datei: Konto3/Konto.java //Beispiel: Konstruktor public class Konto{ private int kontonummer; private double saldo; // > Konstruktor public Konto(int nummer){ kontonummer = nummer; saldo = 0.0; public int getkontonummer(){ return kontonummer; // setkontonummer(nummer) entfernt 11

16 public double getsaldo(){ return saldo; // setsaldo(betrag) entfernt public void einzahlen(double betrag){ saldo = saldo + betrag; public void auszahlen(double betrag){ saldo = saldo betrag; public void auszug(){ System.out.println("Kontonummer: "+kontonummer+" Saldo: "+saldo+" Euro"); Bisher wurden die Instanzen der Klasse Konto mit dem Standardkonstruktor Konto() erstellt. Dieser wird jetzt durch den neuen Konstruktor Konto(nummer) ersetzt. Er übernimmt die Initialisierung der Attribute, so dass dies nicht mehr explizit gesetzt werden müssen. //Datei: Konto3/Konto.java //Beispiel: Konstruktor public class KontoTest{ public static void main(string[] args){ Konto meinkonto; /* bisher: meinkonto = new Konto(); // Objekt erzeugen meinkonto.setkontonummer( ); // Kontonummer initialisieren meinkonto.setsaldo(0.00); // Kontostand initialisieren */ /* jetzt : */ meinkonto = new Konto( ); // Konstruktor erzeugt Objekt und initialisiert Attribute meinkonto.auszug(); Oberon-2 Im Sprachkonzept von Oberon-2 sind Konstruktoren nicht enthalten. Sie können aber durch entsprechend implementierte Methoden nachgebaut werden. Im Beispiel der Klasse Konto wurde eine Methode Konto(nummer) deniert, die als Konstruktor verwendet wird. Diese Methode ist verantwortlich für die Initialisierung der Attribute kontonummer und saldo. (* Datei: Konto3/Konto.mod *) (* Beispiel : Konstruktor *) MODULE Konto; IMPORT Out; 12

17 TYPE Konto* = RECORD kontonummer : LONGINT; saldo : REAL END; KontoRef* = POINTER TO Konto; (* > Konstruktor *) PROCEDURE (k : KontoRef) Konto*(nummer : LONGINT); k.kontonummer := nummer; k.saldo := 0.0; END Konto; PROCEDURE (k : KontoRef) getkontonummer*() : LONGINT; RETURN k.kontonummer; END getkontonummer; (* setkontonummer(nummer) entfernt *) PROCEDURE (k : KontoRef) getsaldo*() : REAL; RETURN k.saldo; END getsaldo; (* setsaldo(betrag) entfernt *) PROCEDURE (k : KontoRef) einzahlen*(betrag : REAL); k.saldo := k.saldo + betrag; END einzahlen; PROCEDURE (k : KontoRef) auszahlen*(betrag : REAL); k.saldo := k.saldo betrag; END auszahlen; PROCEDURE (k : KontoRef) auszug*(); Out.String("Kontonummer: "); Out.Int(k.kontonummer, 10); Out.String(" Saldo: "); Out.Real(k.saldo, 10); Out.String(" Euro"); Out.Ln; END auszug; END Konto. Instanzen einer Klasse werden weiterhin durch den Operator NEW erzeugt. Die Methode Konto(nummer) initialisiert lediglich die Attribute. Da Konto(nummer) eine normale Methode ist, kann sie - im Gegensatz zu Konstruktoren in Java - uneingeschränkt genutzt und mittels Referenz.Konto(nummer) aufgerufen werden. Der Programmierer muss selbst darauf achten, dass sie nur nach der Generierung eines neuen Objektes verwendet wird, da sie sonst eventuell die Daten eines bereits bestehenden Objektes überschreibt. 9 9Eine weitere Variante der Konstruktormethode für Oberon-2-Programme, die den NEW-Operator beinhaltet, wird in den Beispielen Mediendatenbank und geometrische Figuren vorgestellt. 13

18 (* Datei: Konto3/KontoTest.mod *) (* Beispiel : Konstruktor*) MODULE KontoTest; IMPORT Konto, Out; PROCEDURE ProgMain*(); VAR meinkonto : Konto.KontoRef; NEW(meinKonto); (* Objekt erzeugen *) (* bisher: meinkonto.setkontonummer( ); // Kontonummer initialisieren meinkonto.setsaldo(0.00); // Kontostand initialisieren *) (* jetzt : *) meinkonto.konto( ); (* Konstruktor initialisiert Attribute *) meinkonto.auszug; END ProgMain; Out.Open END KontoTest. 2.4 Klassen- und instanzspezische Komponenten Für Klassen können statische Variablen und Methoden deniert werden. Das Besondere an diesen Komponenten ist, dass sie nicht auf die Existenz von Instanzen der Klasse angewiesen sind. Von Klassenvariablen existiert, unabhängig von der Anzahl der Instanzen, nur ein Exemplar, das von allen Objekten der Klasse gemeinsam genutzt wird. Sie werden beim Laden der Klasse erzeugt und erst freigegeben, wenn das Programm endet. Während der Zugri auf Instanzvariablen durch den Befehl Instanz.Variablenname erfolgt, werden klassenspezische Variablen in der Form: Klassenname.Variablenname angesprochen. Wenn ein Attribut für alle Instanzen einer Klasse den gleichen Wert haben soll, ist die Verwendung von Klassenvariablen angebracht. Anstatt den Wert in jedem einzelnen Objekt anzulegen, wird er in der Klasse gespeichert. Klassenmethoden werden eingesetzt um Verhalten zu implementieren, dass für alle Instanzen einer Klasse gleich ist. Man muss jedoch darauf achten, dass sie nicht auf Instanzvariablen zugreifen oder Instanzmethoden aufrufen, da sie auch aufgerufen werden dürfen, wenn keine Instanz existiert. Zudem wäre in solch einer Situation nicht eindeutig festgelegt, welche Instanz verwendet werden muss. Klassenmethoden werden - genau wie Klassenvariablen - über den Name der Klasse aufgerufen. Die Klasse Konto könnte zum Beispiel einen Instanzenzähler enthalten, der festhält, wie viele Objekte vom Typ Konto erzeugt wurden. Der Wert der Variablen muss also immer dann um 1 erhöht werden, wenn ein neues Objekt angelegt wird. Deshalb sollte 14

19 die entsprechende Anweisung im Konstruktor implementiert werden. Zu Beginn der Programm-Abarbeitung steht der Zähler auf 0, da noch keine Instanz existiert. Java Klassenvariablen und -methoden werden in Java durch das Schlüsselwort static gekennzeichnet. Im Beispiel der Klasse Konto wird das Attribut zaehler durch den Vorsatz static zu einer Klassenvariablen. Unabhängig von der Anzahl der Konto-Objekte existiert nur ein Exemplar dieser Variablen. Die Attribute kontonummer und saldo sind Instanzvariablen. Sie werden für jede Instanz der Klasse Konto neu angelegt (siehe Abb.3). Abbildung 3: Instanz- und Klassenvariablen //Datei: Konto4/Konto.java //Beispiel: Klassen und Instanzvariablen public class Konto{ static int zaehler = 0; // > Klassenvariable private int kontonummer; // > Instanzvariablen private double saldo; public Konto(int nummer){ zaehler = zaehler + 1; kontonummer = nummer; saldo = 0.00; public int getkontonummer(){ return kontonummer; 15

20 public double getsaldo(){ return saldo; public void einzahlen(double betrag){ saldo = saldo + betrag; public void auszahlen(double betrag){ saldo = saldo betrag; public void auszug(){ System.out.println("Kontonummer: "+kontonummer+" Saldo: "+saldo+" Euro"); Für die Variable zaehler wird beim Laden der Klasse Konto Speicherplatz belegt, der mit 0 vorinitialisiert ist. Nachdem durch den Konstruktor eine Instanz erzeugt wurde, ist der Wert von zaehler 1. Das Anlegen einer weiteren Instanz bewirkt eine erneute Erhöhung. // Datei: Konto4/KontoTest.java // Beispiel : Klassenvariablen public class KontoTest{ public static void main(string[] args){ // Zugri auf Klassenvariablen ueber Klassennamen System.out.println("Anzahl Konten: "+Konto.zaehler); Konto meinkonto = new Konto( ); System.out.println("Anzahl Konten: "+Konto.zaehler); Konto deinkonto = new Konto( ); System.out.println("Anzahl Konten: "+Konto.zaehler); Oberon-2 In Oberon-2 gibt es keine statischen Komponenten im eigentlichen Sinne. Die Datenfelder des Recordtyps sind Instanzvariablen und werden für jedes Objekt neu angelegt. Klassenvariablen können somit nicht im Record deklariert werden. Stattdessen werden sie im Variablendeklarationsteil des Moduls deniert. Man muss jedoch beachten, dass diese Variablen nicht an eine Klasse gebunden sind. Viel mehr sind es Modulvariablen, die von auÿen mittels Modulname.Variablenname angesprochen werden. Dies ist insbesondere dann wichtig, wenn der Klassenname von Namen des Moduls abweicht oder mehrere Klassen in einem Modul implementiert sind. Ähnliches gilt für Methoden. Instanzmethoden werden durch einen Empfängerparameter dem Recordtyp zugeordnet. Wird dieser Parameter weggelassen, so sind die Prozeduren statisch. Sie können in Modulen, über den Modulnamen aufgerufen werden. 16

21 In unserem Beispiel wird im Modul Konto eine Integer-Variable zaehler deklariert. Der Konstruktor der Klasse Konto verwendet diese Variable, um die Anzahl der Instanzen zu zählen. Um auf den Wert der Variable zuzugreifen, genügt innerhalb des deklarierenden Moduls der Variablenname. (* Datei: Konto4/Konto.mod *) (* Beispiel : Klassen und Instanzvariablen *) MODULE Konto; IMPORT Out; TYPE Konto* = RECORD kontonummer : LONGINT; (* > Instanzvariablen *) saldo : REAL END; KontoRef* = POINTER TO Konto; (* > Modulvariable, ersetzt Klassenvariable *) VAR zaehler* : INTEGER; PROCEDURE (k : KontoRef) Konto*(nummer : LONGINT); zaehler := zaehler + 1; k.kontonummer := nummer; k.saldo := 0.0; END Konto; PROCEDURE (k : KontoRef) getkontonummer*() : LONGINT; RETURN k.kontonummer; END getkontonummer; PROCEDURE (k : KontoRef) getsaldo*() : REAL; RETURN k.saldo; END getsaldo; PROCEDURE (k : KontoRef) einzahlen*(betrag : REAL); k.saldo := k.saldo + betrag; END einzahlen; PROCEDURE (k : KontoRef) auszahlen*(betrag : REAL); k.saldo := k.saldo betrag; END auszahlen; PROCEDURE (k : KontoRef) auszug*(); Out.String("Kontonummer: "); Out.Int(k.kontonummer, 10); Out.String(" Saldo: "); Out.Real(k.saldo, 10); Out.String(" Euro"); Out.Ln; END auszug; zaehler := 0; END Konto. 17