Fun? with NTTPs in C++

on YouTube ↗04m

" summary

Shows how to make non‑structural objects usable as NTTPs by wrapping in a lambda so the value can be extracted via constexpr calls, and demonstrates a small CX_VALUE macro that exposes a concept so functions need not be constexpr. Explores grammar oddities that let qualifiers and attributes slip into template parameters (tested on GCC/Clang), including using volatile template parameter and alignas on NTTP, and points out compiler divergences and surprising acceptances.

AI-written summary · about

" chapters (10)

1. 0:00Intro
2. 0:16Private members
3. 0:29Lambda
4. 0:50Conexp
5. 1:33Grammar
6. 2:08Template Parameters
7. 2:22Volatile Template
8. 2:38Useful Attributes
9. 2:56Virtual
10. 3:22AIGN

" related talks

• 01h 01mRethinking the Way We Do Templates in C++Mateusz Pusz · CppCon 2019
• 54mData in the Type System: Complex Non-Type Template Parameters in C++20Jeff Snyder · CppCon 2019
• 57mIntroduction to C++ Template MetaprogrammingSasha Goldshtein · NDC Oslo 2016
• 01h 00mRemoving Metaprogramming From C++, Part 1 of N: constexpr Function ParamsDavid Stone · CppCon 2019
• 01h 27mC++20 Templates - the Next Level: Concepts and MoreAndreas Fertig · ACCU 2021 Online
• 01h 30mRethinking the Way We Do Templates in C++Mateusz Pusz · ACCU 2021 Online
• 01h 39m“Thoughts on a more powerful and simpler C++ (5 of N)”Herb Sutter · CppCon 2018
• 01h 00mModern Template Metaprogramming: A Compendium, Part IWalter E. Brown · CppCon 2014