Regular Types and Why Do I Care ?
summary
Argues that Regular types are the practical foundation behind STL and upcoming Concepts Lite/C++20, demonstrates failures when predicates are weaker than a strict total order (compare appears in over 50 STL facilities) and shows that string_view and span are non‑owning borrow types that require contextual lifetime reasoning, that equality is harder than operator== (transitivity/representation issues), and that the upcoming spaceship operator spawned many papers. Recommends designing types to be Semiregular/Regular or at least semi‑regular and to restrict borrow types to parameter use.
AI-written summary · about
chapters (10)
- 0:00Introduction to regular types
- 3:01Vocabulary and definitions
- 5:51The role of mathematics
- 11:13Fundamentals of generic design
- 16:10STL principles and concepts
- 21:16Ordering and predicates
- 30:18Equality and requirements
- 38:17Modern C++ and type design
- 45:55Reference types and pitfalls
- 54:46Conclusion and Q&A
