In C++20 wird eine Spracherweiterung rein kommen, die schon gut 10 Jahre in entwicklung ist und sich um die reduzierung von Template Fehlern reduzieren soll, sowie Code Compliance zur Compile Time ermöglichst. Die rede ist von concepts und requires keyword, welche hier erklärt werden und hier findet man vorgefertigte constraints in der STL.

Mit dem Sprachfeature kann man z.B. sicher gehen, dass der Datencontainer für SIMD aligned und in der passenden größe ist, der Datentyp für ein Container moveable ist oder der Container für ein Algorithmus random access unterstützt oder thread safe makiert ist.
Das konnte man auch vorher aber nun ist es ganz klar kommuniziert, da statt ein Fehler irgendwo tief im Template basierten Code ein unverständlichen Fehler wirft, wird ein Fehler am Template geworfen, dass der übergebene Template Parameter nicht dem concept entspricht.

_________________
"Wer die Freiheit aufgibt um Sicherheit zu gewinnen, der wird am Ende beides verlieren"
Benjamin Franklin

Projekte: https://github.com/tak2004