SG7 polls at Kona 2023 meeting:

1. We want to block the adoption of P2996R1 for C++26 on waiting for a design that has multiple types of handlers based on reflected entities in addition to having just opaque std::meta::info?

SF/F/N/A/SA
0/0/1/5/27
Consensus against.

2. We want to make sure that in the future operator^ can change resulting types (in future C++ past 26)?

SF/F/N/A/SA
6/15/9/2/3
Consensus. (Not very strong)

3. Forward P2996R1 to EWG and LEWG?

SF/F/N/A/SA
24/6/3/0/0
Unanimous consensus.

Forwarding to EWG.

P2996R1 Reflection for C++26 (Wyatt Childers, Peter Dimov, Barry Revzin, Andrew Sutton, Faisal Vali, Daveed Vandevoorde)

P2996R2 Reflection for C++26 (Wyatt Childers, Peter Dimov, Dan Katz, Barry Revzin, Andrew Sutton, Faisal Vali, Daveed Vandevoorde)

From today's joint EWG / LEWG discussion in Tokyo, SG16 needs to provide feedback on the papers because strings can be used to represent source code names and Unicode is tricky. @tahonermann I've tagged SG16 for this.

Thank you @jfbastien, I'll get a discussion scheduled. Related paper: P1953 (Unicode Identifiers And Reflection) tracked by #690.

(not in order)

2024-11-19 Library Evolution Wroclaw Meeting

P2996R8: Reflection for C++26

2024-11-19 Library Evolution Wroclaw Meeting Minutes

Champion: Barry Revzin
Chair: Inbal Levi / Robert Leahy
Minute Taker: Khalil Estell

Summary

The remaining trait functions were reviewed and forwarded.

POLL: Approve wording and design of “consteval bool is_reflection_type(info type);” under [meta.type.synop] [meta.unary.cat].

Attendance: 25 (IP) + 7 (R)
Outcome: No objection for unanimous consent

POLL: Approve the design and wording of [meta.reflection.tuple.variant] in P2996R8.

Attendance: 25 (IP) + 7 (R)
Outcome: No objection for unanimous consent

POLL: Approve the design and wording of [meta.reflection.rel] in P2996R8.

Attendance: 27 (IP) + 6 (R)
Outcome: No objection for unanimous consent

Next Steps

We approved the remain traits under [meta.type.synop] [meta.unary.cat] (is_reflection_type) as well as [meta.reflection.rel], [meta.reflection.tuple.variant]. This have finalized the review of P2996R8, forwarded to LWG for C++26.

P2996R8 Reflection for C++26 (Barry Revzin, Wyatt Childers, Peter Dimov, Andrew Sutton, Faisal Vali, Daveed Vandevoorde, Dan Katz)

LWG reviewed P2996R9 on 2025-01-03. Many edits were made live during the telecom, but we will be taking a final pass over the paper in Hagenberg.

Meeting minutes

P2996R9 Reflection for C++26 (Barry Revzin, Wyatt Childers, Peter Dimov, Andrew Sutton, Faisal Vali, Daveed Vandevoorde, Dan Katz)

See also #2213

CWG in Hagenberg 2025-02-10: Reviewed.

LWG looked at this Tuesday late morning and early afternoon in Hagenberg.

Minutes:

• https://wiki.edg.com/bin/view/Wg21hagenberg2025/LWGTuesdayEarlyMorning#d2996
• https://wiki.edg.com/bin/view/Wg21hagenberg2025/LWGTuesdayLateMorning#d2996
• https://wiki.edg.com/bin/view/Wg21hagenberg2025/LWGTuesdayEarlyAfternoon

Looked again Wednesday:

Minutes:

• https://wiki.edg.com/bin/view/Wg21hagenberg2025/LWGWednesdayEarlyMorning
• https://wiki.edg.com/bin/view/Wg21hagenberg2025/LWGWednesdayLateMorning#d2996

CWG 2025-02-11 in Hagenberg: Reviewed D2996R10; needs updates.

EWG discussed P3569R0 which proposed splitting stuff out of this paper.

P3569R0: Split substitute out of P2996.

Consensus against.

P3569R0: Split define_aggregate out of P2996.

Not consensus.

EWG discussed and approved changes to P2996 since R4 as represented in D2996R10.

D2996R10: Reflection for C++26: EWG Approves of changes made to P2996R4, and forward back to CWG for inclusion in C++26.

Consensus

P2996R10 Reflection for C++26 (Barry Revzin, Wyatt Childers, Peter Dimov, Andrew Sutton, Faisal Vali, Daveed Vandevoorde, Dan Katz)

D2996R11 is being reviewed in CWG telecons.

P2996R11 Reflection for C++26 (Barry Revzin, Wyatt Childers, Peter Dimov, Andrew Sutton, Faisal Vali, Daveed Vandevoorde, Dan Katz)

2025-04-01 Library Evolution Telecon

P2996R11: Reflection for C++26

2025-04-01 Library Evolution Hagenberg Minutes

Champion: Dan Katz
Chair: Inbal Levi
Minute Taker: Bronek Kozicki

Summary

POLL: Approve the addition of is_consteval_only type trait as described in P2996R11.

Attendance: 20

Outcome: No objection to unanimous consent

POLL: Approve the addition of:

1. consteval bool has_c_language_linkage(info r);
2. consteval bool has_parent(info r)

And modifying the “parent_of” to be specified in terms of “has_parent” as specified in P2996R11.

Attendance: 20
Author's Position: 2xSF
Outcome: Strong consensus in favour

POLL: Approve the renaming of has_complete_definition (approved in P2996R10) and minimization of scope for the function, turned into:

• consteval bool is_enumerable_type(info r);

Attendance: 20
Author's Position: 2xSF
Outcome: Strong consensus in favour

POLL: Approve the changes as described above in P2996R11 (since P2996R10) and send back to LWG for C++26.

Attendance: 20
Author's Position: 2xSF
Outcome: Strong consensus in favour

Next Steps

The modifications in P2996R11 were approved, and the paper was sent back to LWG for C++26.