Softwareentwicklung in C++ - ASC

412 13. Templates
ben wir es hier also mit dem bereits bekannten ElementType sowie auch mit
einem IntType zu tun. Wenn wir schon für die Anzahl der Elemente einen
generischen Typ verwenden, dann ist es natürlich auch nur recht und billig,
für den return-Value der Funktion denselben generischen Typ zu verwenden.
Also haben wir hier auch die Deklaration des return-Values über unseren
generischen Typ vorgenommen. Das bringt uns genau zur Eigenschaft von
generischen Typen in Templates, die wir bisher implizit vorausgesetzt haben:
Innerhalb einer Template Deklaration und Definition wird ein generischer
Typ ganz genau gleich verwendet, wie wir sonst einen konkreten Typ verwenden
würden. Das Ersetzen durch einen konkreten Typ nimmt dann der
Compiler für uns vor. Der Gültigkeitsbereich der generischen Typbezeichner
ist selbstverständlich auf die Deklaration und Definition des Templates selbst
limitiert, ansonsten würde es ja zu sehr bösen Überraschungen kommen.
Außer im return-Value und im zweiten Parameter findet sich der generische
Typ IntType natürlich auch in der Definition der Funktion wieder,
denn current_max muss natürlich auch diesen Typ haben, ebenso unsere
Laufvariable index.
Ändern wir nun wiederum unser Testprogramm so ab, dass es unsere modifizierte
Version des Templates inkludiert, so zeigt sich, dass diese Version
genau dasselbe Resultat liefert, wie die beiden Versionen zuvor. Der Compiler
betrachtet hier einfach nur IntType als zusätzlichen generischen Parameter,
zu dem er eine konkrete Entsprechung finden muss. Im Fall unseres Testprogramms
wird als Entsprechung int gefunden, denn eine Ganzzahlkonstante
wird vom Compiler natürlich implizit als int betrachtet.
Das geänderte Testprogramm findet sich auf der beiliegenden CD-ROM
unter dem Namen find_max_test_v3.cpp und der Output, den dieses Programm
liefert, ist erwartungsgemäß wieder derselbe, den auch die Vorgängervarianten
produziert haben.
Auf den ersten Blick scheint diese Version des Templates also die Erfüllung
aller Träume zu sein: Wir implementieren einmal den Algorithmus und er
funktioniert unabhängig vom Typ der Elemente und auch unabhängig vom
Typ der Längenangabe wunderbar. Hätten wir keine Function Templates zur
Verfügung, so müssten wir für jeden bestimmten Elementtyp eine eigene overloaded
Function schreiben. Außerdem müssten wir auch den num_elements
Parameter immer an den Typ anpassen oder gleich den größtmöglichen Ganzzahldatentyp
verwenden, um auf der sicheren Seite zu bleiben. Da wir im
Vorhinein nicht einmal wissen, mit welchen Parametertypen und Kombinationen
derselben wir es zu tun bekommen, schreiben wir gleich eine unendlich
lange Latte von verschiedenen Overloadings und hoffen, dass eines davon
schon auf die spätere Verwendung passen wird.
Die hier angesprochene Erfüllung aller Träume birgt allerdings auch ein
paar Albträume, die man erst nach der anfänglichen Euphorie bemerkt. Um
auch über diese Bescheid zu wissen, betrachten wir einmal ein paar Möglich-