P3096 R12 Function Parameter Reflection in Reflection for C++26

[wg21bot]

P3096R0 Function Parameter Reflection in Reflection for C++26 (Adam Lach, Walter Genovese)

[hanickadot]

SG7 Tokyo 2024 Meeting

P3096R0 was seen by SG7 during 2024 Tokyo meeting (full minutes).

POLL: P3096R0 Function Parameter Reflection in Reflection for C++26: We want this problem to solved and we would like to see an updated paper (with wording) in EWG and LEWG.

SF	F	N	A	SA
5	5	0	0	0

Consensus.

[inbal2l]

2024-04-23 Library Evolution Telecon

P3096R0: Function Parameter Reflection in Reflection for C++26

2024-04-23 Library Evolution Telecon Minutes

Champion: Adam Lach
Chair: Inbal Levi
Minute Taker: Ben Craig

Summary

The room was supportive of the paper. The proposed solutions were discussed, but more discussion is required before a specific one is supported.

We asked for more exploration of the topics:

1. Add rules to resolve ambiguity between different ways to "declare same thing" in the proposal (typedef, int arr[] and int* etc.)
2. Highlight and address ODR violation consequences in the proposal (can be solved later by a different proposal)

No polls were taken.

Next Steps

This paper can progress separately from P2996.
The authors will implement the feedback described above, and publish a new revision, we will see the next revision in LEWG’s room again.

[wg21bot]

P3096R1 Function Parameter Reflection in Reflection for C++26 (Adam Lach, Walter Genovese)