How C++ Templates Are Used for Generic Programming

ChenLin,WuDi,MaWanwangying,ZhouYuming,XuBaowen,LeungHareton

IF: 3.685

2020-01-01

ACM Transactions on Software Engineering and Methodology

Abstract:Generic programming is a key paradigm for developing reusable software components. The inherent support for generic constructs is therefore important in programming languages. As for C++, the gener...

What problem does this paper attempt to address?

How C++ Templates Are Used for Generic Programming

Lin Chen,Di Wu,Wanwangying Ma,Yuming Zhou,Baowen Xu,Hareton Leung

DOI: https://doi.org/10.1145/3356579

IF: 3.685

2020-01-01

ACM Transactions on Software Engineering and Methodology

Abstract:Generic programming is a key paradigm for developing reusable software components. The inherent support for generic constructs is therefore important in programming languages. As for C++, the generic construct, templates, has been supported since the language was first released. However, little is currently known about how C++ templates are actually used in developing real software. In this study, we conduct an experiment to investigate the use of templates in practice. We analyze 1,267 historical revisions of 50 open source systems, consisting of 566 million lines of C++ code, to collect the data of the practical use of templates. We perform statistical analyses on the collected data and produce many interesting results. We uncover the following important findings: (1) templates are practically used to prevent code duplication, but this benefit is largely confined to a few highly used templates; (2) function templates do not effectively replace C-style generics, and developers with a C background do not show significant preference between the two language constructs; (3) developers seldom convert dynamic polymorphism to static polymorphism by using CRTP (Curiously Recursive Template Pattern); (4) the use of templates follows a power-law distribution in most cases, and C++ developers who prefer using templates are those without other language background; (5) C developer background seems to override C++ project guidelines. These findings are helpful not only for researchers to understand the tendency of template use but also for tool builders to implement better tools to support generic programming.
Code reuse in gene expression programming

Qu Li,Min Yao,Weihong Wang,Yanye Du

DOI: https://doi.org/10.4028/www.scientific.net/AMM.50-51.13

2011-01-01

Applied Mechanics and Materials

Abstract:Gene expression programming (GEP) is a kind of phenotype/genotype based evolutionary computation. Code reuse is an important issue in GEP. Various methods are used in current literature to achieve this task. In this paper, we compared six GEP based algorithms by experiments. We proved that although it's possible invent different kinds of code reuse strategies, current available strategies are powerful and efficient.
A Language for Generic Programming in the Large

Jeremy G. Siek,Andrew Lumsdaine

DOI: https://doi.org/10.48550/arXiv.0708.2255

2007-08-17

Abstract:Generic programming is an effective methodology for developing reusable software libraries. Many programming languages provide generics and have features for describing interfaces, but none completely support the idioms used in generic programming. To address this need we developed the language G. The central feature of G is the concept, a mechanism for organizing constraints on generics that is inspired by the needs of modern C++ libraries. G provides modular type checking and separate compilation (even of generics). These characteristics support modular software development, especially the smooth integration of independently developed components. In this article we present the rationale for the design of G and demonstrate the expressiveness of G with two case studies: porting the Standard Template Library and the Boost Graph Library from C++ to G. The design of G shares much in common with the concept extension proposed for the next C++ Standard (the authors participated in its design) but there are important differences described in this article.

Programming Languages,Software Engineering
Generic Component: A Generic Programming Approach

Chen Yewang,Jiang Zhixiong,Zhao Wenyun,Peng Xin

DOI: https://doi.org/10.1109/cit.2007.10

2007-01-01

Abstract:Generic Programming (GP) is the evolvement of OO, and more general than OO. In a certain degree, it is requirement-oriented programming. This paper, firstly, addresses some insufficiencies of OO; secondly illustrates an overview of GP briefly, then compare it with OO; finally proposes Generic Component approach which helps in implementing safe, efficient, highly customizable, and reusable design elements in GP. We do not declare that this approach can solve all problems of OO, but it gifts developers the ability of assembling what they want in the way of Design-Oriented, as well as many other advantages.
Advanced Programming Techniques for Construction of Robust, Generic and Evolutionary Programs

Zhenjiang HU,Shin-Cheng MU,Stephanie WEIRICH

DOI: https://doi.org/10.2201/niipi.2013.10.1

2013-01-01

Progress in Informatics

Abstract:In computer science, the way that we investigate computation is with programming.Programming is more than just writing programs to instruct the computer to do something, it seeks formal and reliable means of ensuring that programs possess crucial properties.Therefore, developers must be concerned with many issues such as robustness, reliability, adaptability, and maintainability, while meeting program specifications.Advanced programming techniques, such as dependently typed programming, generic programming and bidirectional programming, have been developed to deal with these issues.Programming languages with static type systems have had great success in ensuring that data and control structures are used in appropriate ways.Dependently typed programming is a powerful programming mechanism based on the dependent type system.By allowing types to refer to data, programmers can define more fine-grained program behaviors which is often dynamic in practice, being able to communicate the design of software to computers and negotiate their place in the spectrum of precision from basic memory safety to total correctness.Generic programming techniques have been a specific focus of research in the functional and objectoriented programming communities.They make programs more adaptable by embodying non-traditional kinds of polymorphism; ordinary programs are obtained from them by suitably instantiating their parameters.In contrast with normal programs, the parameters of a generic program are often quite rich in structure, which could be other programs, types or type constructors, class hierarchies, or even programming paradigms.Generic programming has been gradually spreading to more and more mainstream languages, and
Object Orientation,Generic Programming and Type Constraint Checking

Bing Swen

DOI: https://doi.org/10.3321/j.issn:0254-4164.2004.11.008

2004-01-01

Jisuanji Xuebao/Chinese Journal of Computers

Abstract:A thorough and in-depth analysis of the underlying ideas and methodology of object-orientation and generic programming is presented, elaborating the aims, technological characteristics, advantages and disadvantages of both, with the emphasis on the significant innovation introduced by generic programming to compensate object-orientation for its insufficiency. The paper also details the author's work on further enhancing generic programming by providing direct language support and compiler checking for static type requirements, which leads to a new programming mechanism called named type constraint. As the first example of generic programming languages in the literatures, a generic programming extension of C++ is also discussed.
The Code-Reuse Technique Applicable for Object-Oriented Mode

Bao Li

2000-01-01

Abstract:The emphasis is put on the C++ language that supports a structured programming ,abstract date type and object oriented programming .The application of the object oriented mode is type object needed for selected, derived and newly designed programmings. The discussion involves the four kinds of code reuse techniques ,by which it is indicated that there exist multi level code reuse in the language C++ and reusable template technique in supporting structure .The technique will qreatly ruduce the difficulty of re using as well as the capacity of reuse.
Some Basic Data Structures and Algorithms for Chemical Generic Programming

W Zhang,TJ Hou,XB Qiao,XJ Xu

DOI: https://doi.org/10.1021/ci049938s

2004-01-01

Journal of Chemical Information and Computer Sciences

Abstract:Here, we report a template library used for molecular operation, the Molecular Handling Template Library (MHTL). The library includes some generic data structures and generic algorithms, and the two parts are associated with each other by two concepts: Properties and Molecule. The concept Properties describes the interface to access objects' properties, and the concept Molecule describes the minimum requirement for a molecular class. Data structures include seven models of Properties, each using a different method to access properties, and two models of molecular classes. Algorithms include molecular file manipulation subroutines, SMARTS language interpreter and matcher functions, and molecular OpenGL rendering functions.
Overview of Type Constrained Programming in C

孙斌

DOI: https://doi.org/10.3969/j.issn.1671-1815.2005.02.009

2005-01-01

Abstract:A thorough and in-depth analysis of the underlying ideas and methodology of object-orientation and generic programming, elaborating the aims, technological characteristics, advantages and disadvantages of both are presented. On further enhancing generic programming by providing direct language support and compiler checking for static type requirements, which leads to a new programming mechanism called named type constraint. As the first example of type-constrained programming (TCP) languages in the literatures, a TCP extension of C+ + , C , are discussed, illustrating how to efficiently and economically implement the mechanism.
Using Static Analysis to Extract C++0x Concepts

Lin CHEN,Bao-Wen XU

DOI: https://doi.org/10.3724/SP.J.1016.2009.01792

2009-01-01

Jisuanji Xuebao/Chinese Journal of Computers

Abstract:Using Concepts to abstract domain knowledge is the basis for generic programming. Concept will be a new language feature in C++0x, which provides solid base for developing reusable and extendable generic software. To make better use of new generic programming features of C++0x, it is necessary to identify Concepts in legacy C++ programs, and refactor them to C++0x programs. This paper presents an automatic method to identify Concepts with static analysis, analyzes the usages of type parameters in legacy programs to extract valid expression constraints and associate type constraints. Concepts can be inferred by these constraints. The approach is applied to the C++ Standard Template Library to identify most of the potential Concepts in STL. The study convinces that this method is helpful to identify Concepts in legacy C++ programs.
Designing Universal Template for Database Application System Based on Abstract Factory

Jia Li,He Xiao,Dong Yi

DOI: https://doi.org/10.1109/csip.2012.6309066

2012-01-01

Abstract:The universal template for database application system that code can be automatically generated is designed based on layer interface specifications and abstract factory. In this paper we discuss the template architecture,database information processing, data caching, rights management and other key technologies. Finally, by the application of practical engineering projects, we demonstrate that the template can effectively improve software development efficiency, and has good versatility and scalability.
The New Java Generic Mechanism and Its Application

F. Tian,H. H. Shi,M. T. Yan

DOI: https://doi.org/10.2991/aiie-15.2015.78

2015-01-01

Abstract:In the paper, the core ideas of Java language generic mechanism are described and analyzed in detail, including the generic class, generic method, generic interface, generic wildcard as well as erasure and restrictions on generics, and the Java generic functions are also summarized. An ingenious KLEEN algorithm program is presented and implemented by applying new Java generic mechanism. The paper aims to reveal the generics-based Java component design idea and program refactoring technology for complex algorithmic problems.
How Do Developers Use C++ Libraries? an Empirical Study.

Di Wu,Lin Chen,Yuming Zhou,Baowen Xu

DOI: https://doi.org/10.18293/seke2015-9

2015-01-01

Abstract:C++ libraries provide an abundance of reusable components for writing high-quality programs and are thus widely adopted by software developers.However, to date there is little work investigating how these libraries are actually used in real software.In this paper, we perform an empirical study to investigate the adoption of C++ standard libraries in open-source applications, with the goal to provide actionable information for developers to help them employ libraries more efficiently.To this end, we analyze 379 historical revisions of 30 applications, containing 149 million lines of C++ code, to conduct the experiment.The experimental results show that: (1) three standard libraries (i.e.Containers Library, Utilities Library, and Strings Library) are significantly more often used than other libraries; (2) the new libraries of C++11 (i.e.Regular Expressions Library, Atomic Operations Library, and Thread Support Library) are significantly less often used than the formerlyestablished libraries; (3) the deprecated library constructs (i.e. auto pointers, function objects, and array I/O operations) are not used at a declining frequency; and (4) applications with a larger size do not adopt libraries more frequently.Based on these results, we propose four suggestions, which could help developers learn and use C++ libraries in an efficient way.
Tutorial: Advanced C++ programming styles: using C++ as a higher-level language

J. Coplien

DOI: https://doi.org/10.1109/TOOLS.1997.713575

1997-09-01

Abstract:Is C++ a high-level or low-level language? It depends how you use it! This seminar will introduce programming techniques that raise the level of C++ programming, both by freeing the programmer from common administrative details, and by modeling some of the powerful semantics of high-end object-oriented programming languages. The seminar goes beyond the limits of most C++ texts and introductory courses to present programming styles that increase the leverage of the accomplished C++ programmer who is looking to expand their horizons. Drawing from the book Advanced C++ Programming Styles and Idioms, and taught by the book‘s author, the seminar tackles difficult but common problems faced by developers of C++ systems, both large and small. The seminar starts by showing the pitfalls of a simple class design and how overloaded assignment and copy constructors alleviate some common problems. Building on that base, the course explores assorted programming styles useful for resolving other common, though more subtle, programming problems: * Counted pointers: how to allocate objects from the heap without having to explicitly free them when their pointer goes out of scope * Exemplars: objects that take over some of the roles of C++ classes to provide the equivalent of the “virtual constructors” 0 Generic exemplars: a way of using exemplars that isolates the impact of adding new classes to a system in a way that class inheritance alone doesn’t address * Multi-methods: when you want a member function to be selected according to the types of multiple arguments (unlike virtual functions, which select a function only according to the type of the object for which they are called) This course is for the C++ programmer with at least a year of experience in C++ or another object-oriented programming language.

Computer Science
Generic Programming with Combinators and Objects

Dmitrii Kosarev,Dmitry Boulytchev

DOI: https://doi.org/10.48550/arXiv.2106.01250

2021-06-03

Abstract:We present a generic programming framework for OCAML which makes it possible to implement extensible transformations for a large scale of type definitions. Our framework makes use of objectoriented features of OCAML, utilising late binding to override the default behaviour of generated transformations. The support for polymorphic variant types complements the ability to describe composable data types with the ability to implement composable transformations.

Programming Languages
Rethinking Answer Set Programming Templates

Mario Alviano,Giovambattista Ianni,Francesco Pacenza,Jessica Zangari

DOI: https://doi.org/10.48550/arXiv.2307.06382

2023-07-13

Abstract:In imperative programming, the Domain-Driven Design methodology helps in coping with the complexity of software development by materializing in code the invariants of a domain of interest. Code is cleaner and more secure because any implicit assumption is removed in favor of invariants, thus enabling a fail fast mindset and the immediate reporting of unexpected conditions. This article introduces a notion of template for Answer Set Programming that, in addition to the don't repeat yourself principle, enforces locality of some predicates by means of a simple naming convention. Local predicates are mapped to the usual global namespace adopted by mainstream engines, using universally unique identifiers to avoid name clashes. This way, local predicates can be used to enforce invariants on the expected outcome of a template in a possibly empty context of application, independently by other rules that can be added to such a context. Template applications transpiled this way can be processed by mainstream engines and safely shared with other knowledge designers, even when they have zero knowledge of templates.

Artificial Intelligence,Logic in Computer Science,Programming Languages,Software Engineering
The construction and management of template library for coarse-grained reconfigurable system

Xiao Cui,Weiguang Sheng,Qin Wang

DOI: https://doi.org/10.1109/ICCASM.2010.5620052

2010-01-01

Abstract:Template-based task partitioning and scheduling can dramatically improve the scheduling efficiency and resource utilization in the coarse-grained reconfigurable system. However, when the number of templates is large, the effective organization and management of the templates is a hard problem. Here a template library based method is employed to address the above problem. Various templates are organized and managed within the database; an improved canonical labeling algorithm for DFG (data flow graph) is provided to speed up the template insertion and query by avoiding numerous graph isomorphism operations; an automatic tool is also designed and implemented for the template execution on the RCA (reconfigurable cell array), including the effective methods for context words generation, storage and matching. Experiments are carried out and the results show that the provided method can effectively organize and manage the templates. Moreover, the experiments also indicate that the methods can speed up the template insertion and query operations dramatically.
Runtime Template Instantiation for C++

Akim Demaille

DOI: https://doi.org/10.48550/arXiv.1611.00947

2016-11-03

Software Engineering

Abstract:Performance, genericity and flexibility are three valuable qualities for scientific environments that tend to be antagonistic. C++ provides excellent support for both performances and genericity thanks to its support for (class and function) templates. However, a C++ templated library can hardly be qualified as flexible: data of unexpected types cannot enter the system, which hinders user interactions. This paper describes the approach that was taken in the Vcsn platform to add flexibility on top of C++ templates, including runtime template instantiation.
Slicing Java Generic Programs Using Generic System Dependence Graph

Lin Chen,Baowen Xu

DOI: https://doi.org/10.1007/s11859-009-0405-4

2009-01-01

Abstract:The existing slicing algorithms do not consider parameterized types in generic programs, so they are not suitable for generic programs. To solve this problem, this paper presents a generic system dependence graph for Java generic programs based on the traditional system dependence graph to express dependences for parameterized type information. A novel slicing criterion and slicing algorithm for generic programs is proposed. The slices computed by the algorithm can help to understand relations between concepts and types for generic programs and can express the features of generic programs better.
The Study of Programming Design Methods in Serial Communication Based on C++ Builder 6

余昌盛,许力

DOI: https://doi.org/10.3969/j.issn.1001-4551.2004.07.005

2004-01-01

Abstract:COM is the one of the most important peripheral interfaces in computer; therefore it is significant to do the study of programming design methods in serial communication. In this paper we discuss the four programming design methods of serial communication on C~(++) Builder 6 platform: direct embedded assembler, Windows API functions, MSComm component based on the technique of ActiveX and Third-Party component SPComm. We also give the compared results of the four programming design methods in serial communication, and provide programming examples.

How C++ Templates Are Used for Generic Programming

How C++ Templates Are Used for Generic Programming

Code reuse in gene expression programming

A Language for Generic Programming in the Large

Generic Component: A Generic Programming Approach

Advanced Programming Techniques for Construction of Robust, Generic and Evolutionary Programs

Object Orientation,Generic Programming and Type Constraint Checking

The Code-Reuse Technique Applicable for Object-Oriented Mode

Some Basic Data Structures and Algorithms for Chemical Generic Programming

Overview of Type Constrained Programming in C

Using Static Analysis to Extract C++0x Concepts

Designing Universal Template for Database Application System Based on Abstract Factory

The New Java Generic Mechanism and Its Application

How Do Developers Use C++ Libraries? an Empirical Study.

Tutorial: Advanced C++ programming styles: using C++ as a higher-level language

Generic Programming with Combinators and Objects

Rethinking Answer Set Programming Templates

The construction and management of template library for coarse-grained reconfigurable system

Runtime Template Instantiation for C++

Slicing Java Generic Programs Using Generic System Dependence Graph

The Study of Programming Design Methods in Serial Communication Based on C++ Builder 6