tinpro015b-les6 Templates

Functietemplates void verwissel(int &x , int &y); { int w=x;x=y;y=w;} Dezelfde functie voor meerdere types heet een functietemplate Er is een gegeneraliseerd type Voorbeeld: template <class T> void verwissel(T &x , T &y); { T w=x;x=y;y=w;}

Functietemplates int main() { int i= 1,j=2; float u=3.4 , v=5.6; verwissel(i,j); // verwissel 2 int objecten verwissel(u,v); // verwissel 2 float objecten cout << i << “ “<< j << endl ; cout << u << “ “<< v << endl ; return (0); }

Functietemplates In het programma worden 2 functies gegenereerd void verwissel(int &x , int &y); { int w=x;x=y;y=w;} void verwissel(float &x , int &y); { float w=x;x=y;y=w;} template <class T> Het woord class is opmerkelijk , omdat we met types werken

Meer dan 1 template-argument We willen uitrekenen: x = an Als a = double , n = integer  x = double (floating point) Als a = integer , n = integer  x = long ( integer) Een functietemplate MACHT voor deze 2 situaties 2 types: grondtaltype G (a) resultaattype R (x)

Meer dan 1 template-argument template <class G , class R> R macht(G a , int n , R &x) // x =an { x=1; for (int i=1; i <=n ; i++ ) x=x*a; return x; } int main() { double x1 ; macht(10.0 , 15, x1); cout << x1; // x1=10.015 long x2 ; macht(2 , 17, x2); cout << x2; // x2=217 long x3 ; cout << macht(2 , 20, x3 ); // x3=220 return 0; }

Meer dan 1 template-argument <class G , class R> Hier worden 2 template-argumenten gebruikt R macht(G a , int n , R &x) een template-argument kan ook gebruikt worden voor return-waarde

Klassetemplates Zelfde verhaal als bij functietemplates 2 classes verschillen alleen qua types class 1 float class 2 int Daarom 1 klassetemplate Voorbeeld met vectoren

Klassetemplates template <class T> class vec { public: vec(T xx =0, T yy =0 ) { x=xx ; y=yy; } void printvec() ; vec <T> operator+( vec <T> &a, vec <T> &b) { return vec <T> ( a.x+ b.x, a.y +b.y);} private: T x, y; };

Klassetemplates template <class T> void vec <T>:: printvec() ; { cout << x <<“ “ << y << endl;} main() { vec <int> iu(1,2), iv(3,4) ; isom; vec <float> fu(1.1,2.2), fv(3.3,4.4) ; fsom; isom=iu + iv; fsom=fu + fv; isom.printvec(); fsom.printvec(); return 0; }

Klassetemplates Resultaat 4 6 4.4 6.6

Klassetemplates Klasse-template: template < template-argument-list> Concreet: template <class T> vec is een geparametriseerd type met T als parameter Er zijn in dit voorbeeld 2 Template-class-names vec <int> ; vec <float> Er worden a.h.w. 2 klassen gebruikt bijv: vec_int en vec_float

Klassetemplates Argument list kan ook een identifier bevatten zoals bij een functiedeclaratie template <int n> class floatrij{ public : float r[n] …..}; rij a 100 float , rij b 200 float declaratie: floatrij<100>a; floatrij<200>b; aanroep: a.r[i]; // i max 99 ; b.r[j]; // j max 199 voordeel t.o.v. array: a en b behoren tot een klasse : lidfuncties mogelijk

Klassetemplates combineren met type- argumenten template <class T, int n, class S> class rij { ….;} voorbeeld template-class-name: rij <int,100,long>

Default-argumenten klassetemplates template <class T ,int n, class S=T> nu kun je het 3e argument weglaten rij<float,3,float> a_float(0.3F , 0.1F); vervangen door: rij<float ,3> a_float(0.3F,0.1F);

Huiswerk les 6 Maak de opgaven 9.1, 9.2 uit C++ boek Bestudeer Hfdst 11 uit C++boek