void
main()
- cout << max (3, 17); erzeugt erste Instanz (TPar =
int):
int max (int a, int b)
- cout << max (17, 25); erzeugt keine weitere Instanz
(TPar = int), da Template für int bereits existiert!
- cout << max (3.14, 0.81);
erzeugt zweite Instanz (TPar = double):
double max (double a, double b)
- Typen muessen exakt
uebereinstimmen, keine automatische Konvertierungen!
max (10, 3.14) fuehrt zu Fehler (Could not find a match for
'max(int, double)')
- jeder Template-Parameter muss auch
als Funktions-Parameter vorkommen
- Template-Parameter eines Funktions-Templates
muessen Typ-Parameter (class) sein
- Funktion kann neben
Template-Parametern auch 'normale' Parameter haben
template
<class T>
T mittel (T *a, int n)
.
int feld[] = ;
cout << mittel (feld, 6);
float feld2[] = ;
cout << mittel (f2, 3);
3 Klassen-Templates
- = parametrisierte Klassen,
Klassen-Schablonen, generische Klassen
- wichtige Anwendung:
Container-Klassen (z.B. BIDS von Borland)
- Beispiel:
Deklaration
template <class ElTyp>
class STACK
;
Implementierung
der Element-Funktionen als Funktions-Templates
template <class ElTyp>
STACK <class ElTyp>::STACK
(int gr)
template <class ElTyp>
STACK <class ElTyp>::~STACK
()
template <class ElTyp>
STACK <class ElTyp>::void
push (ElTyp e)
template <class ElTyp>
STACK <class ElTyp>::ElTyp
pop ()
template <class ElTyp>
STACK <class ElTyp>::int
empty ()
template <class ElTyp>
STACK <class ElTyp>::int
full ()
main()
STACK<int> iStack(10);
STACK<float> fStack;
typedef STACK<char*> szSTACK;
szSTACK sSTACK;
iStack.push(17);
sStack.push('Karli');
- bei Klassen-Templates können auch
'normale' Parameter (nicht class) als
Template-Parameter angegeben werden. Beispiel: Default-Stackgroesse
template <class ElTyp, int defge>
class STACK
;
main()
STACK<int, 100>
- Hinweis: Klasse zuerst mit konkretem
Typ entwickeln und testen, erst danach parametrisieren!
