~/talk

Reflection

on YouTube 01h 01m

Talkat CppCon 2017 · 2017-09-24..09-29· [compilers-and-language-design, c-and-cpp]

speaker

name:Andrew Sutton

links:none on file

resources

video:https://youtu.be/N2G-Frv1z5Q

slides:none on file

summary

Static compile-time reflection for C++ aims to turn declarations into usable values for metaprogramming and to project those values back into syntax; two concrete implementations appear: reflexpr as types (P0194/P0385) which creates a compiler-generated class per reflection and forces template metaprogramming, and a Clang prototype using a dollar operator returning values that encodes AST pointers and uses intrinsics like __reflect_name and projection operators (typename, idexpr) to generate code. It builds tuple-like member views, a compile-time unrolling for-loop, works but exposes issues: memory blowup from per-reflection types and surprising behavior around incomplete-type instantiation.

AI-written summary · about

chapters (37)

related talks