Templates

Ich schrieb schon ein paar Artikel über Concepts. Concepts sind Anforderungen, die Namen besitzen. In diesem Artikel definiere ich ein paar Concepts.

Die Vereinheitlichung von Templates, Concepts und Platzhaltern geht weiter. Dieses Mal werde ich einen genaueren Blick auf eingeschränkte (Concepts) und uneingeschränkte (auto) Platzhalter in Zusammenhang mit Templates werfen.

C++11 kennt mit auto unconstrained placeholders. Concepts in C++20 können als constrained placeholders verwendet werden. Was sich auf den ersten Blick nicht besonders spannend anhört, ist für mich der entscheidende Quantensprung, Templates als einfaches C++ Sprachmittel zu etablieren.

Expression Templates sind "structures representing a computation at compile time, which structures are evaluated only as needed to produce efficient code for the entire computation" (https://en.wikipedia.org/wiki/Expression_templates). As needed, damit sind wir mitten in der Bedarfsauswertung und in diesem Artikel.

In meinem Artikel Rekursion, Verarbeitung von Listen und Bedarfsauswertung zu den Charakteristiken der funktionalen Programmierung habe ich geschrieben: Die Geschichte der Bedarfsauswertung in C++ ist kurz. Leider habe ich meine Rechnung ohne Templates gemacht. Die zwei fortgeschrittene Template Techniken CRTP und Expression Templates basieren auf der Bedarfsauswertung.