From Templates to Concepts - Metaprogramming in C++

This talk traces changes in C++ metaprogramming and demonstrates how C++20 concepts can express a template metaprogramming example more clearly than techniques from C++11–17. It is aimed at C++ developers seeking to improve their metaprogramming skills.

Syllabus

Introduction
Templates
CPP
Code
What we will do
Trades
Complex Traits
Print Function
Print Helper
aliasing
type dispatching
Auto parameter to function
Nested iterator
Substitution
Container
Enable
Print
Fold
Concepts
Containers
Dark Territories
Void
Problems
People are afraid
The interesting part
Concept Library
Concept in C
The problem
The solution
Template is ignored
Constrating variables
Name concept
Conjunctions
Atomic constraint
Primary Expressions
Required Expressions
Example
Type Check
Using Concepts