Designing Expression Templates with Concepts - Archive ouverte HAL Access content directly
Journal Articles Software: Practice and Experience Year : 2017

Designing Expression Templates with Concepts

(1) , (1)
1

Abstract

Concepts are likely to be introduced in a future C++ standard. They can be used for constraining template parameters, which enables checking requirements on template parameters sooner in the compilation process, and thus providing more intelligible error messages to the user. They can also be used in the specialization of templates, thus leading to a better control over the selection of the most appropriate version of a template for a given instantiation. This latter aspect offers new possibilities in the design of template libraries, as it enhances the specialization mechanism of templates, and set it up as a solid alternative to inheritance when static binding can replace dynamic binding. This report addresses the design of expression templates (i.e. templates that represent expressions and are usually built through operator overloading) that are useful to develop an embedded domain specific language (EDSL), and can speed up the evaluation of an expression by delaying the evaluation of intermediate operations to avoid unnecessary temporary objects. We propose to use concept-based template specialization to parse expression templates in order to ease the design of an EDSL. This approach is a static variant of the well-known visitor design pattern that replaces the overridden methods in the double dispatch of the original design pattern by template specializations based on concepts. An example of EDSL for linear programming developed with our solution demonstrates that a concept-based design helps producing concise and reliable code.
Fichier principal
Vignette du fichier
RR-15-02.pdf (933.33 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01351060 , version 1 (02-08-2016)

Identifiers

Cite

Bruno Bachelet, Loïc Yon. Designing Expression Templates with Concepts. Software: Practice and Experience, 2017, 47 (11), pp.1521-1537. ⟨10.1002/spe.2483⟩. ⟨hal-01351060⟩
297 View
955 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More