Type-Traits

Ich erkläre oft die Grundlagen zu Templates. Diese sind speziell, daher begegnen mir oft Missverständnisse, die zwangsläufig zu Überraschungen führen.

Hier geht's direkt zum Artikel auf Heise Developer: https://heise.de/-4316778.

Die Type-Traits-Bibliothek unterstützt Typprüfungen, Typvergleiche und Typmodifikationen zur Compilezeit. Genau: Heute geht es um Typmodifikationen zur Compilezeit.

Hier geht's direkt zum Artikel auf Heise Developer: https://heise.de/-4288534.

Die Reise durch die Programmierung zur Compilezeit geht weiter, und zwar mit einem Sprung von C++98 nach C++11 hin zur Type-Traits-Bibliothek, die Template-Metaprogrammierung in einer standardisierten Form verkörpert.

Hier geht es direkt zum Artikel auf Heise Developer: https://heise.de/-4282421.

Type Traits offenbaren bei genauen Hinblick ein großes Optimierungspotential. Da die Type-Traits Bibliothek es erlaubt, im ersten Schritt den Code zu Compilezeit zu analysieren, kann dieser im zweiten Schritt optimiert werden. Wie ist das möglich? Abhängig vom Typ einer Variable wird eine besondere, schnelle Variante eines Algorithmus gewählt.

Mit der Type-Traits Bibliothek lassen sich Typen vergleichen und modifizieren. Die Bibliothek agiert zur Compilezeit und besitzt damit keinen Einfluss auf die Laufzeit des Programms.

Template Metaprogrammierung ist die Programmierung zur Compilezeit. Was hat das ganze mit der Type-Traits Bibliothek zu tun? Ganz viel. Die Type-Traits Bibliothek ist Template Metaprogrammierung, die in einer Bibliothek gezähmt wurde. Mit diesem Artikel kommt mehr Ordnung in meine Vorstellung der Type-Traits Bibliothek. 

In dem Artikel Statisch geprüft habe ich die Funktionalität der Type-Traits Bibliothek als ideale Erweiterung für static_assert vorgestellt. Benötigt doch der Operator static_assert eine Funktion, die zur Compilezeit ihre Entscheidung fällt. Den Beweis bin ich bisher schuldig geblieben. Der Beweis folgt aber jetzt.