> For most people "reflection" is a synonym to "runtime reflection". I mean, that's just because many languages don't even have a compile-time so of course ref

> For most people "reflection" is a synonym to "runtime reflection". I mean, that's just because many languages don't even have a compile-time so of course reflection can only be runtime. Every compiled language has at least some amount of extremely basic concept of compile-time reflection, e.g. sizeof in C for instance which yields a constant expression ; likewise, `if constexpr(std::is_same_v<T, some_other_type>) { ... }` which we can do since C++17 is very much in the domain of compile-time reflection. Here's the most recent paper: https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2022/p1240r2.pdf https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2022/p12... If you want this is a very good read: https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2018/p0707r3.pdf https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2018/p07... Finally, there is an implementation of the reflection TS: https://clementpirelli.wordpress.com/2021/12/08/cpp-reflection-ts-first-look/ https://clementpirelli.wordpress.com/2021/12/08/cpp-reflecti...