Lightning Talk: Higher-Order Template Metaprogramming with C++23
summary
Shows that C++23 lets concepts be passed and composed rather than only named, demonstrating quoted concepts (the square‑bracket angle‑bracket syntax), building concepts from type traits and type transformations, and wrapping them with a small satisfies concept helper. Several live examples compile on at least one compiler, include hazardous but working higher‑order patterns, and reveal concrete limits (when void or span element constraints fail) rather than vague promises.
AI-written summary · about
related talks
06mLightning Talk: C++20 - A New Way of Meta-Programming?
01h 11mC++20 Templates: The next level: Concepts and more
01h 03mTemplates Made Easy with C++20
01h 03mTemplate-less Metaprogramming in C++
01h 03mTemplate Metaprogramming: Practical Application
05mLightning Talks: -std=c++20 -- Will This C++ Code Compile?
01h 05mGeneric Programming with Concepts Lite, Part II
01h 01mBack to Basics: Concepts in C++