~/talk

Reflecting Types in C++17/20

Talkat C++Now 2024 · 2024-04-29..05-03· [compilers-and-language-design]
links:none on file
slides:none on file

Shows a working technique to reflect C++ types under C++17 by using a front-injection hack that emits meta-info objects as friend functions, then retrieves original types via splice; C++20 structural non-type template parameters and ranges let the code treat a typelist as a range and run std::views::drop/transform and views::reverse to produce new typelists. Example filters by sizeof < 4 to yield two types (n16 and n8). Compiles on recent compilers; GCC lacks non-template friend support and Godbolt emits a warning.

AI-written summary · about

~/search
type to search 6,249 conferences, 138,987 speakers and 185,172 talks
~/help
cmdctrl k
search every conference, speaker and series
/
focus the filter search
h
home
c
conferences
s
speakers
e
series
t
light / dark — the status bar button does the same
?
this help
esc
close this, then clear every filter — or just the search, while you are typing in it

Ignored while you are typing. Pages without a filter rail have no search to focus.