Softwareentwicklung in C++ - ASC

416 13. Templates
In Zeile 48 wird findMax mit einem int32 Array und einem int Längenparameter
aufgerufen, was natürlich den Compiler dazu bewegt, eine konkrete
Ausprägung aus dem Template zu generieren. Anders verhält es sich da
schon mit Zeile 49, in der findMax mit einem double Array und einem uint32
Längenparameter aufgerufen wird. Da unsere konkrete Implementierung von
findMax haarscharf diesen Parametersatz deklariert, sieht der Compiler überhaupt
keine Veranlassung, aus dem Template eine konkrete Ausprägung zu
basteln, denn es gibt ja bereits eine Implementation der Funktion, die alle
Wünsche erfüllt. Der Beweis dieser Aussage findet sich im Output des
Programms:
template implementation o f findMax
concrete implementation of findMax
Das Angenehme an dieser Tatsache ist, dass wir also offensichtlich einen
gewissen Einfluss auf bestimmte Ausprägungen eines Templates nehmen
können. Wenn z.B. eine besondere Ausprägung eines Templates mit einem
ganz bestimmten Datentyp, aus welchem Grund auch immer, eine besondere
Implementation benötigt, dann können wir diese explizit schreiben. Hiermit
kann man z.B. sehr gut die Behandlung von Sonderfällen innerhalb von
Templates in Grenzen halten.
Wo es eine angenehme Seite gibt, ist leider oft die unangenehme Seite
auch nicht weit. Natürlich gibt es bei dieser Vorgehensweise auch nette Stolpersteine:
Vorsicht Falle: Sollte der Parametersatz beim Aufruf nicht vollkommen
exakt auf die konkrete Implementation der Funktion passen, dann kann man
den Compiler in ein Ambiguitätsproblem stürzen, das er nicht mehr automatisch
auflösen kann. Nehmen wir nur einmal an, dass in Zeile 49 der Aufruf
folgendermaßen lauten würde:
findMax(test_array2,5)
dann bedeutet dies für den Compiler einen Aufruf mit einem double Array
und mit einem int Parameter. Das passt nicht vollkommen exakt auf die
konkrete Implementation, ist aber auch noch nicht so weit daneben, dass
nicht mit einer impliziten Typumwandlung noch etwas zu machen wäre.
Je nach Compiler passiert es hierbei, dass er entweder eine Warning von
sich gibt, oder sich sogar vollständig weigern kann, die Entscheidung für eine
der beiden Varianten selbsttätig zu treffen. Es kann dann nur noch mit einem
expliziten Cast Abhilfe geschaffen werden. Wenn man allerdings mit einer
fremden Library arbeitet, kann das schon einiges an Rätselraten zur Folge
haben, bis man endlich durchschaut hat, warum sich der Compiler an einer
bestimmten Stelle schlicht und ergreifend weigert, seine Arbeit zu erledigen.
Bisher sind wir immer davon ausgegangen, dass der Compiler durch Analyse
der Aufrufparameter implizit eine passende konkrete Ausprägung einer
Funktion erzeugt. Manchmal sind wir allerdings interessiert daran, dies selbst
in die Hand zu nehmen. Betrachten wir nur einfach den Fall, dass wir in ei-