Aufzählungen (enum) sind eine beliebte Art, sprechende Integer-Konstanten (Aufzähler) zu definieren. Leider besitzen sie in klassischem C++ einige Nachteile.

C++11 bietet benutzerdefinierte Literale für Zeichen, C-Strings, natürliche Zahlen und Fließkommazahlen an. Für natürliche Zahlen und Fließkommazahlen in raw und cooked Form. Mit C++14 gibt es darüber hinaus neue built-in Literale für Binärzahlen, C++-Strings, komplexe Zahlen und Zeitwerte. Es gibt daher noch viel zu erzählen.

Benutzerdefinierte Literale in C++ stellen ein einmaliges Feature unter allen Mainstream-Programmiersprachen dar. Erlauben sie es doch, Werte direkt mit Einheiten zu verknüpfen.

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.

static_assert ist das Mittel der Wahl in modernem C++, um den Code sicherer zu machen.