Daniel M. Katz
Daniel M. Katz
Also: - value_of -> extract - reflect_value -> reflect - new value_of, is_evaluation metafunctions - tried to update all uses of "constant value" or "value" to "evaluation" (where appropriate) -...
P2996R3 introduces an overload of `reflect_invoke` that allows specification of leading template arguments.
P2996R3 introduces the `concept reflection_range`, and adds overloads supporting it to `substitute`, `reflect_invoke`, `test_type`, and `define_class`.
P2996R3 removes support for the syntax `^`, so expressions like `^4` are no longer supported (i.e., one must now use `std::meta::reflect_value(4)` to obtain a reflection of the value `4`). This...
Given: ```cpp int val = 3; constexpr auto r = std::meta::reflect_result(val); ``` The reflection `r` should be "promoted" to reflect the entity `val`. That is, the following should hold: ```cpp...
P2996R3 drops "reflections of expressions", and makes it clear that what's reflected is a "result of evaluating an expression" - which can either be a value (if evaluated from a...
P2996R3 gives precise semantics for the null reflection (i.e., default constructed).
The `is_structured_binding` metafunction was added in P2996R3.
This project first began shortly before the introduction of `TemplateArgument::StructuralValue`, but Corentin Jabot kindly pointed out that we can probably replace `TemplateArgument::Reflection` with `TemplateArgument::StructuralValue`.