Softwareentwicklung in C++ - ASC

408 13. Templates
Bedeutung der Deklaration einmal folgendermaßen zu lesen: Es wird hier
eine Funktion findMax deklariert, die als return-Value einen uint32 liefert
und die als Parameter ein Array beliebiger Elemente sowie die Anzahl der
in diesem Array enthaltenen Elemente nimmt. Dazu sei noch anzumerken,
dass hier der generische Parameter class ElementType nicht zwangsweise
für “echte” Klassen steht, es sind auch primitive Datentypen, wie z.B. int,
zulässig.
In der Implementation der Funktion in den Zeilen 11–20 sieht man, dass
der Parameter elements ganz genau so verwendet wird, als würde es sich
hier um einen konkreten Datentyp handeln. In Zeile 16 erkennt man, dass
vom konkreten Datentyp nur eines verlangt wird: Instanzen dieses Datentyps
müssen mittels des > Operators miteinander vergleichbar sein.
Jetzt stellt sich nur noch die Frage, wie man mit einem solchen Template
arbeitet. Irgendwann muss ja wohl aus unserer generischen Deklaration
und Definition auch einmal eine konkret aufrufbare Funktion werden. Wie
man in der Folge erkennen kann, müssen wir uns nicht im Besonderen darum
kümmern, sondern können das einfach dem Compiler überlassen. Wir
tun einfach so, als wäre diese Funktion für einen bestimmten Datentyp existent.
Werfen wir also kurz einen Blick auf unser Testprogramm, das dieses
Verhalten demonstriert (find_max_test.cpp):
1 // find max test . cpp − demo , how the template works
2
3 #include ” find max template function . h”
4 #include
5
6 using std : : cout ;
7 using std : : endl ;
8
9 int main ( int argc , char ∗ argv [ ] )
10 {
11 int32 t e s t a r r a y 1 [ ] = { 4 , 1 , 2 , 5 , 3 } ;
12 double t e s t a r r a y 2 [ ] = { 1 7 . 0 , 1 2 . 0 , 1 3 . 4 , − 7 . 5 , 1 1 . 3 } ;
13
14 cout