Softwareentwicklung in C++ - ASC

s p e c i a l i z e d d e s t r u c t o r
s p e c i a l i z e d d e s t r u c t o r
g e n e r i c d e s t r u c t o r
g e n e r i c d e s t r u c t o r
13.5 Explizite Spezialisierungen 441
Es ist hier auch sehr schön am Output zu erkennen, dass durch das Inkludieren
des Headers mit unserer ersten Spezialisierung des Buffers auf void *
auch wirklich diese Spezialisierung bei der Ableitung herangezogen wird.
Um zu zeigen, dass man unsere jetzige Spezialisierung nicht unbedingt
zweistufig vornehmen muss, sondern diese auch direkt aus dem generischen
Code erzeugen kann, ändern wir unser Testprogramm ein wenig ab, sodass es
die void * Spezialisierung nicht mehr inkludiert. Das bedeutet, dass unsere
allgemeine Pointer-Spezialisierung nun direkt von einer vom Compiler generierten
Ausprägung des Buffers abgeleitet ist. Abgesehen von einem kleinen
Stolperstein funktioniert dies natürlich auch...
Vorsicht Falle: Leitet man eine Spezialisierung von einer bestimmten Ausprägung
eines Templates ab, die vom Compiler generiert werden muss, so
kann es je nach Compiler zu einem auf den ersten Blick unerklärlichen Effekt
kommen: Der Compiler weigert sich die Spezialisierung zu übersetzen mit
dem Hinweis darauf, dass z.B. in unserem Fall Buffer keine Basisklasse
der Spezialisierung sei.
Bei näherem Nachdenken wird dieser Effekt erklärbar: Wenn man von
einer Klasse ableitet, dann geht der Compiler davon aus, dass die Basisklasse
auch existiert. Viele Compiler ziehen gar nicht in Betracht, dass sie vielleicht
selbst dafür verantwortlich sein könnten, diese Basisklasse zuerst einmal aus
einem Template selbst zu generieren, bevor sie weitermachen. Soll heißen,
rekursives Generieren von Template-Ausprägungen wird nicht wirklich immer
unterstützt.
Zum Glück können wir im Notfall selbst dafür sorgen, dass der Compiler
eine existierende Instanz vorfindet: Wir brauchen ihn nur früh genug dazu
zu zwingen, eine solche zu erzeugen und schon ist er zufrieden. Wie erzeugt
man eine solche? Ganz einfach: Man legt eine entsprechende Variable an.
Im Fall unseres Programms würde dies z.B. folgendermaßen aussehen:
6 #include ” b u f f e r c l a s s t e m p l a t e v 4 . h”
7 static Buffer dummy void ptr buffer ;
8 #include ” b u f f e r c l a s s p t r s p e c i a l i z a t i o n . h”
In Zeile 7 wird eine sinnlose Variable angelegt, der Compiler erzeugt dadurch
den notwendigen Code und schon funktioniert die Ableitung klaglos.
Vorsicht Falle: Ich gebe ja zu, dass es ziemlich dumm aussieht, wenn die
Lösung zu einer Falle gleich selbst wieder eine andere Falle beinhaltet, aber
leider ist es in diesem Fall so:
Manche Leser mögen sich denken, dass es wirklich Verschwendung ist,
gleich eine globale Variable mit einem Buffer anzulegen, der ja doch nie gebraucht
wird. Viel weniger Speicher braucht da schon ein Pointer auf einen