Working with Concepts

This time, it is going to be an online talk, and different hour than usual. We will use Google Meet. You can use the following link to join:

meet.google.com/trg-ukfg-gfb

In this talk we will have a look at a number of techniques for working with C++20 concepts:

• Using concept archetypes, in order to test if our templates are using concepts correctly.

• Encoding semantic constraints, because concepts should talk not only about what expressions are valid.

• Declaring hierarchy between concepts, in order to provide optimized implementations of function overloads and class specializations for more refined concepts.

There will only be an express introduction to concepts in general. Otherwise, we will assume that you have already heard about the concepts and have seen simple examples that use new keywords 'concept' and 'requires'.