“Concepts: The Future of Generic Programming (the future is here)”

on YouTube ↗01h 39m

" summary

Concepts are now usable, implemented in GCC and Clang and slated for C++20, and they let templates be constrained by readable predicates rather than fragile SFINAE hacks. Expect clearer overload resolution for algorithms and ranges, faster compilation, and zero-overhead compile-time checks that simplify enable_if-heavy code. Design guidance: name and refine high-level concepts (avoid ad hoc “requires requires”), start with incomplete concepts and evolve them, use static_asserts and archetypes to test interfaces.

AI-written summary · about

" chapters (13)

1. 0:00Introduction
2. 0:16Speaker Introduction
3. 0:45The History of Concepts
4. 1:13Generic programming goals
5. 5:21C++20 Status
6. 22:11Benefits of Concepts
7. 22:40Designing with Concepts
8. 26:03Real-world examples
9. 38:35History of Concepts
10. 39:59What is a concept
11. 40:28Building useful concepts
12. 48:59Design Principles
13. 49:10Q&A and Conclusions

" related talks

• 52mConcepts: The Future of Generic ProgrammingBjarne Stroustrup · Craft Conference 2019
• 54mC++ Concepts for DevelopersHubert Matthews · NDC TechTown 2019
• 59mMetaprogramming: From Templates to ConceptsAlex Dathskovsky · CppNorth 2023
• 01h 28mC++ Concepts "Lite" in PracticeRoger Orr · ACCU 2016
• 01h 27mC++20 Templates - the Next Level: Concepts and MoreAndreas Fertig · ACCU 2021 Online
• 01h 00mConcepts in C++20: Revolution or EvolutionRainer Grimm · CppCon 2019
• 55mHow to Implement Your First Compiler Feature:The Story of Concepts in ClangSaar Raz · CppCon 2019
• 01h 14mReintroduction to Generic Programming for C++ EngineersNick DeMarco · C++Now 2024