Improve type generic programming

Autor: Gustedt, Jens
Přispěvatelé: Compilation pour les Architectures MUlti-coeurS (CAMUS), Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire des sciences de l'ingénieur, de l'informatique et de l'imagerie (ICube), Institut National des Sciences Appliquées - Strasbourg (INSA Strasbourg), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Strasbourg (UNISTRA)-Centre National de la Recherche Scientifique (CNRS)-École Nationale du Génie de l'Eau et de l'Environnement de Strasbourg (ENGEES)-Réseau nanophotonique et optique, Centre National de la Recherche Scientifique (CNRS)-Université de Strasbourg (UNISTRA)-Université de Haute-Alsace (UHA) Mulhouse - Colmar (Université de Haute-Alsace (UHA))-Centre National de la Recherche Scientifique (CNRS)-Université de Strasbourg (UNISTRA)-Université de Haute-Alsace (UHA) Mulhouse - Colmar (Université de Haute-Alsace (UHA))-Matériaux et nanosciences d'Alsace, Centre National de la Recherche Scientifique (CNRS)-Institut National de la Santé et de la Recherche Médicale (INSERM)-Université de Haute-Alsace (UHA) Mulhouse - Colmar (Université de Haute-Alsace (UHA))-Université de Strasbourg (UNISTRA)-Institut National de la Santé et de la Recherche Médicale (INSERM)-Université de Strasbourg (UNISTRA)-Institut National des Sciences Appliquées - Strasbourg (INSA Strasbourg), Centre National de la Recherche Scientifique (CNRS)-Institut National de la Santé et de la Recherche Médicale (INSERM)-Université de Haute-Alsace (UHA) Mulhouse - Colmar (Université de Haute-Alsace (UHA))-Université de Strasbourg (UNISTRA)-Institut National de la Santé et de la Recherche Médicale (INSERM)-Université de Strasbourg (UNISTRA), ISO JCT1/SC22/WG14
Jazyk: angličtina
Rok vydání: 2021
Předmět:
Zdroj: [Technical Report] N2638, ISO JCT1/SC22/WG14. 2021, pp.54
Popis: C already has a variaty of interfaces for type-generic programming, but lacks a systematic approach thatprovides type safety, strong ecapsulation and general usability. This paper is a summary paper for a seriesthat provides improvements throughN2632. type inference for variable definitions (auto feature) and function returnN2633. function literals and value closuresN2634. type-generic lambdas (with auto parameters)N2635. lvalue closures (pseudo-references for captures)The aim is to have a complete set of features that allows to easily specify and reuse type-generic codethat can equally be used by applications or by library implementors. All this by remaining faithful to C’sefficient approach of static types and automatic (stack) allocation of local variables, by avoiding superfluousindirections and object aliasing, and by forcing no changes to existing ABI.
Databáze: OpenAIRE