Constraints not Satisfied
summary
Shows library techniques that work around C++20 limitations: passing concepts by wrapping them in lambda-wrapped concepts so static_assert and requires can be evaluated at call time, adding an always-true anything concept, and implementing concept negation via a macro that invokes the lambda. Demonstrates constrained function-parameter matching using an implicit conversion operator plus macros, and sketches a type-erased "virtual concept" proposal; all pieces are implemented as library tricks and reported to compile and behave as intended.
AI-written summary · about
related talks
04mConcepts in 5
01h 11mConcepts in 60: Everything you need to know and nothing you don't
01h 27mC++20 Templates - the Next Level: Concepts and More
58mConcept Based Testing
01h 28mC++ Concepts "Lite" in Practice
01h 35mC++20 – My Favourite Code Examples
01h 02mC++20 - My Favourite Code Examples
01h 00mConcepts in C++20: Revolution or Evolution