Softwareentwicklung in C++ - ASC

25 uint32 num elements allocated ;
26 uint32 read index ;
27 uint32 w r i t e i n d e x ;
28 void ∗∗ elements ;
29 public :
30 Buffer ( )
31 throw( b a d a l l o c ) ;
32
33 Buffer ( const Buffer &s r c )
34 throw( invalid argument , b a d a l l o c ) ;
35
36 virtual ˜ Buffer ( )
37 throw ( ) ;
38
39 virtual void put ( void ∗ const &element )
40 throw( r a n g e e r r o r ) ;
41
42 virtual void ∗ getNext ( )
43 throw( r a n g e e r r o r ) ;
44 } ;
13.5 Explizite Spezialisierungen 433
In Zeile 15 sieht man, dass das Keyword template nur noch von einer öffnenden
und einer schließenden spitzen Klammer gefolgt ist und dass kein generischer
Typ mehr angegeben wird. Das kommt daher, dass man dem Compiler
auf diese Art mitteilt, für welchen bzw. welche der Template Parameter die
Spezialisierung stattfindet. Die Parameter, für die man spezialisiert, kommen
in der Spezialisierung nicht mehr vor. Die anderen Parameter, die weiterhin
vom Compiler behandelt werden sollen, bleiben erhalten.
Würde man also z.B. eine Spezialisierung unserer Variation des Templates
mit den zwei Parametern machen, jedoch nur den Typ, nicht aber die Anzahl
der Elemente spezialisieren wollen, so müsste hier Folgendes stehen:
template
class Buffer
In der Folge sieht man, dass in der gesamten Deklaration alle Vorkommen
des generischen Parameters durch die spezielle Ausprägung void * ersetzt
wurden.
Was haben wir also bisher erreicht?
• Wir haben dem Compiler mitgeteilt, dass es eine handgeschriebene Spezialisierung
des Buffers für den Typ void * gibt und dass er diese besondere
Ausprägung nicht mehr zu generieren braucht.
• Wir haben die Deklaration dieser Spezialisierung auch wirklich von Hand
vorgenommen und entsprechend angepasst. Je nach Spezialisierung wird
die Anpassung verschieden ausfallen. Bei uns hat sich diese darauf beschränkt,
dass wir einfach nur den entsprechenden Typ eingesetzt haben,
wo ansonsten der generische Typ stehen würde.
Wenn wir schon dem Compiler mitteilen, dass er mit dieser Ausprägung unseres
Templates nichts mehr zu tun hat, dann sind wir auch wirklich vollständig
dafür verantwortlich. Das bedeutet, dass wir natürlich auch die entsprechenden
Ausprägungen der Methoden selbst schreiben müssen. Genau das passiert
auch in der Folge. Stellvertretend für die ganzen Methoden, die für