Concepts Linguistic Support for Generic Programming in C++

Download pdf----Here----Concepts Linguistic Support for Generic Programming in C++
Concepts Linguistic Support for Generic Programming in C++


Introduction
Generic Programming
Lifting and Abstraction
Algorithm Specialization
Concepts
Language Support for Concepts
Constraining Templates with Concepts
Same-type Constraints
Negative Constraints
Constraint Propagation
Concept Definitions
Refinement
Associated Types
Nested Requirements
Function Signatures
Overloading and Specialization
Concept Maps
Implicit and Explicit Concepts
Refinements and Concept Maps
ConceptGCC
Compilation Model
Compilation of Constrained Templates
Concepts and Concept Maps
Type-checking Templates
Same-type Constraints
Use of Class Templates and Specializations
Evaluation
Defining STL Concepts
STL Algorithm Requirements
Backward Compatibility