The series continue.

Check Types with Concepts

by Rainer Grimm

From the article:

Concepts are a powerful and elegant tool to check at compile time if a type fulfills. Thanks to static_assert, you can use concepts as a standalone feature: static_assert(Concept<T>)...