Template Metaprogramming Techniques for Concept-Based Specialization

Abstract : In generic programming, software components are parameterized on types. When available, a static specialization mechanism allows selecting, for a given set of parameters, a more suitable version of a generic component than its primary version. The normal C++ template specialization mechanism is based on the type pattern of the parameters, which is not always the best way to guide the specialization process: type patterns are missing some information on types that could be relevant to define specializations. The notion of a "concept", which represents a set of requirements (including syntactic and semantic aspects) for a type, is known to be an interesting approach to control template specialization. For many reasons, concepts were dropped from C++11 standard, this article therefore describes template metaprogramming techniques for declaring concepts, "modeling" relationships (meaning that a type fulfills the requirements of a concept), and "refinement" relationships (meaning that a concept refines the requirements of another concept). From a taxonomy of concepts and template specializations based on concepts, an automatic mechanism selects the most appropriate version of a generic component for a given instantiation. Our purely library-based solution is also open for retroactive extension: new concepts, relationships, and template specializations can be defined at any time; such additions will then be picked up by the specialization mechanism.
Complete list of metadatas

Cited literature [16 references]  Display  Hide  Download

Contributor : Bruno Bachelet <>
Submitted on : Friday, December 21, 2012 - 11:47:16 AM
Last modification on : Monday, January 20, 2020 - 12:14:05 PM
Long-term archiving on: Sunday, December 18, 2016 - 7:50:16 AM


Files produced by the author(s)




Bruno Bachelet, Antoine Mahul, Loïc Yon. Template Metaprogramming Techniques for Concept-Based Specialization. Scientific Programming, IOS Press, 2013, 21, pp.43-61. ⟨10.3233/SPR-130362⟩. ⟨hal-00641006v5⟩



Record views


Files downloads