Mit static_assert lässt sich zur Compiletime testen, ob ein Datentyp T das Concept erfüllt: static_assert(Concept<T>).

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

Requires Expressions in C++20 lassen sich auch als eigenständiges Feature verwenden, wenn ein Prädikat zur Compilezeit erforderlich ist.

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

Neben anderen Methoden lassen sich Requires Expressions zum Definieren von Concepts verwenden.

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

Es gibt zwei Möglichkeiten, ein Concept zu definieren: Bestehende Concepts und Compile-Zeit-Prädikate lassen sich kombinieren oder Requires Expression anwenden.

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

Type Erasure auf der Basis von Templates ist eine ziemlich ausgeklügelte Technik. Sie ermöglicht es, dynamische mit statischer Polymorphie zu verbinden.

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

Nach der std::advance-Implementierung auf Basis von Tag-Dispatching zeigt der Beitrag diesmal Umsetzungen von std::advance vor, die auf constexpr if und Concepts basieren.

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

Tag Dispatching ermöglicht es, eine Funktion auf der Grundlage der Typeingenschaften auszuwählen. Diese Entscheidung findet zur Compiletime statt und basiert auf Traits.

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

Dank Templates gibt es neue Wege für den Softwareentwurf. Policies und Traits sind zwei dieser neuen Wege, die gerne in C++ verwendet werden.

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

Expression Templates werden typischerweise in der linearen Algebra verwendet und vermeiden temporäre Objekte.

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