Softwareentwicklung in C++ - ASC

432 13. Templates
hält und schließlich noch eine für double *. Vom Standpunkt des Laufzeitverhaltens,
der Typkompatibilität und der Typsicherheit ist ja alles in
Ordnung. Bei genauerem Nachdenken erkennt man allerdings schnell, dass
die ganze Angelegenheit doch einen gröberen Haken hat: In allen drei Fällen
speichert man einfach nur Pointer. Worauf diese zeigen, ist unserem Buffer
intern völlig egal, denn dieser interessiert sich nur für die interne Organisation
des Speichers zum Ablegen derselben. Mit den Werten, auf die sie zeigen,
hat ein Buffer nichts am Hut. Pointer sind einfach immer gleich groß, egal,
worauf sie zeigen, denn Computer haben eben einmal eine fixe Adresslänge.
Für den Compiler gibt es aber nicht einfach nur Adressen, sondern Pointer
sind auch typisiert. Deshalb wird er für jede der obigen Ausprägungen
eines Buffers eine vollständige konkrete Ausprägung des Templates erzeugen.
Dass das dazu führen kann, dass Unmengen an quasi gleichem Code erzeugt
werden, ist leicht einzusehen.
Es wäre also schön, wenn wir eine einfache Möglichkeit hätten, alle Ausprägungen
von Buffers, die irgendwelche Pointer halten, unter einer bestimmten
Ausprägung des Templates zusammenzufassen. Alle anderen Ausprägungen
sollen wie gewohnt einzeln und getrennt erzeugt werden.
Damit sind wir endlich bei der Erklärung der Kapitelüberschrift: Für
diese Art des Zusammenfassens mehrerer Template-Ausprägungen wird oft
der Begriff der Spezialisierung verwendet. Bevor wir zur Lösung des gerade
eben angerissenen Problems mit den Pointern kommen, möchte ich einmal
kurz das Prinzip zeigen, durch das man Spezialisierungen erzeugt. Um genau
zu sehen, was nun aus dem originalen Template kommt und was aus der
Spezialisierung, wurde das ursprüngliche Template leicht verändert und um
entsprechende Outputs ergänzt. Jede Methode (inklusive Konstruktoren,
etc.) meldet sich nun mit dem String generic ... wenn sie aufgerufen
wird. Ansonsten ist diese Version vollkommen identisch zur Urversion und
dementsprechend ist es sinnlos, sie hier abzudrucken.
Die Deklaration der besonderen Spezialisierung auf void * sieht folgendermaßen
aus (buffer_class_void_ptr_specialization.h):
7
8
9 //−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−
10 /∗
11 ∗ s p e c i a l i z a t i o n of the Buffer template f o r void p o i n t e r s
12 ∗
13 ∗/
14
15 template class Buffer
16 {
17 public :
18 static const uint32 MAX NUM ELEMENTS = 8;
19 private :
20 // f o r b i d assignment by making operator p r i v a t e
21 const Buffer& operator = ( const Buffer&)
22 { return (∗ this ) ; }
23 protected :
24 uint32 num elements ;