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.

Ich habe die Facebookgruppe Modernes C++ gegründet. In der Gruppe sehe ich zwei große Vorteile.

In C++11 wurde die Initialisierung von Variablen vereinheitlicht. In jedem Kontext ist die {}-Initialisierung anwendbar. Daher wird auch gerne von der vereinheitlichten Initialisierung mit {} gesprochen.

Das wohl am häufigsten verwendete Feature aus C++11 ist das Schlüsselwort auto. Dank auto bestimmt der Compiler den Typ einer Variable direkt aus seinem Initialisierer. Was hat das ganze mit sicherheitskritischer Software zu tun?

Auf die Mythen folgen die Fakten. Damit verlassen wir das Land der Halb- und Unwahrheiten rund um C++.

Als ich in der embedded Programmierung anfing, war ich verwundet, dass es so viele Vorbehalte gegen den Einsatz von C++ in der embedded Programmierung gibt. Die meisten basieren auf einem falschen Verständnis der Programmiersprache C++.