the Concepts of concepts

on YouTube ↗01h 01m

" summary

Shows exactly how C++20 concepts replace ad hoc overloads and static_asserts by writing concrete constraints: builds a number concept that forbids bool/char, implements constrained functions via abbreviated function templates and requires-clauses, and models class constraints with a car/convertible example and a clonable nested-requires case that catches a copy‑paste bug. Demonstrates compiler behavior (improved error messages, subsumption rules, negation pitfalls), uses standard concepts from the library, and shows which examples compile and which are ambiguous.

AI-written summary · about

" chapters (15)

1. 0:00Start
2. 0:06Agenda
3. 0:51Why Do We Need Something like Concepts
4. 15:16Trailing Requires Close
5. 21:22Abbreviated Function Templates
6. 31:10Combining Concept
7. 36:58How To Find the Most Constrained Constraint
8. 42:10Wishful Writing
9. 43:13Compound Requirements
10. 46:00Nested Template Specializations
11. 51:34Examples
12. 54:01Utility Functions
13. 54:11Template Parameters
14. 57:49Conclusion
15. 58:44Call to Action

" related talks

• 56mConcepts - Evolution or RevolutionRainer Grimm · Meeting C++ 2019
• 59mConcepts driven designKris Jusiak · Meeting C++ 2017
• 12mGood ConceptsBjarne Stroustrup · Meeting C++ 2016
• 53mFrom C++ Templates to C++ Concepts - Metaprogramming: an Amazing JourneyAlex Dathskovsky · CppCon 2022
• 01h 00mC++ Concepts and RangesMateusz Pusz · Meeting C++ 2018
• 01h 05mBack To Basics: Overload ResolutionAnsel Sermersheim, Barbara Geller · CppCon 2021
• 01h 01mDocumentation in the Era of Concepts and RangesChristopher Di Bella, Sy Brand · CppCon 2021
• 01h 01mUsing Modern C++ to Eliminate Virtual FunctionsJonathan Gopel · CppCon 2022