Objektorientierte Programmierung - Fachgebiet ...

© 2012 bei Prof. Dr. Uwe Kastens
Generik in Eiffel
Eiffel hat ein einheitliches Typkonzept: Alle Typen sind durch Klassen definiert.
Generik: Klassendeklarationen können Typen als generische Parameter haben.
Instanziierung einer generischen Klasse liefert einen Typ.
OOP-1.56
Generischer Parameter ohne Restriktionen, Generische Parameter mit Restriktionen:
z. B. für Behälterklassen:
class Stack [ELEM] feature
...
push (e: ELEM) is ...
...
end -- class Stack
Instanziierung als Typangabe:
si: Stack[INTEGER];
d: Dictionary[Book, STRING];
class Dictionary [G, KEY->Hashable]
feature ...
end;
Der generische Parameter KEY ist auf
Unterklassen von Hashable eingeschränkt.
In der Klasse Dictionary können Hashable-
Methoden für KEY-Objekte benutzt werden.
Vorlesung Objektorientierte Programmierung WS 2012/2013 / Folie 156
Ziele:
Generik in Eiffel kennenlernen
in der Vorlesung:
Erläuterungen
• zum einheitlichen Typkonzept; keine Sonderrolle für Grundtypen,
• zu Restriktionen generischer Parameter