Grundlagen der Informatik I “Programmierung”

Dieses Problem wird durch das Konzept der Vererbung gelöst, welches wir im Abschnitt 3.8 diskutieren
werden. Man deklariert einfach eine allgemeinere Klasse ZWEI KOORD, welche die gemeinsamen Merkmale von
Punkten und Vektoren charakterisiert und deklariert dann die Liste l als vom Typ LIST[ZWEI KOORD]. Die
Klassen PUNKT und VEKTOR werden als Abkömmling von ZWEI KOORD deklariert und somit dürfen als Elemente
von l sowohl Vektoren als auch Punkte eingesetzt werden.
3.6.3 Felder: Beispiele generischer Klassen
Viele Klassen der Eiffel-Basisbibliothek, die von jedem Compiler bereitgestellt wird, repräsentieren allgemeine
Datenstrukturen und sind deshalb generische Klassen. Beipiele hierfür sind Kellerspeicher (Stacks), Warteschlangen
(Queues), Listen, Bäume (Trees) und Felder (Arrays).
Die Klasse ARRAY der eindimensionalen Felder ist für praktische Anwendungen besonders wichtig. Im Gegensatz
zu anderen Sprachen sind Felder in Eiffel kein vordefiniertes Sprachkonstrukt, sondern nur eine Klasse, für
die ein besonders effizienter Code vorhanden ist. Daher verwenden Felder in Eiffel auch nicht die in anderen
Sprachen gebräuchlichen speziellen Notationen zur Kennzeichnung von Indizes, sondern stellen für Zugriff
und Zuweisung – wie immer – Routinen zur Verfügung. Dadurch kann man zuweilen bei der Realisierung
komplexer indizierter Ausdrücke in Eiffel die Übersicht verlieren. Andererseits ist die Klasse ARRAY erheblich
flexibler als gewöhnliche Felder. Abbildung 3.21 beschreibt die wichtigsten features der Klasse ARRAY (eine
komplette Beschreibung liefert [Meyer, 1992, Kapitel 28.7]).
class ARRAY[X]
creation make
feature
lower, upper, count: INTEGER;
make(min,max:INTEGER) is -- Erzeuge Feld mit Grenzen min und max
do...end;
item, infix "@" (i:INTEGER):X is -- Element mit Index i
do...end;
put(val:X,i:INTEGER) is -- Weise dem Element mit Index i den Wert val zu
do...end;
.
end -- class ARRAY[X]
Abbildung 3.21: Klassendefinition für Felder (mit infix Deklaration)
Die Funktion make ermöglicht eine dynamische Felddimensionierung mit beliebigen Grenzen (allerdings ist
das Feld leer, wenn max