Date: Mon, 9 Nov 2026 15:36:34 +0000
Hey all π
Tomasz and I have a paper that attempts to address FI-067 through a narrow carveout:
https://isocpp.org/files/papers/P4466R0.html
The intention is to make certain namespace-scope using-declarators "transparent" to the Reflection operator (specifically, to allow '^^NS::foo' if 'NS::foo' would name 'foo' even if a using-declarator that names it were omitted - i.e., cases of re-exporting from the same namespace, inline namespaces, unnamed namespaces, etc).
Feedback is appreciated!
Thanks in advance,
---Dan
From: Ext <ext-bounces_at_lists.isocpp.org> on behalf of Hana DusΓkovΓ‘ via Ext <ext_at_[hidden]>
Date: Saturday, November 7, 2026 at 5:44β―PM
To: sg7_at_[hidden] <sg7_at_[hidden]>; Evolution Working Group mailing list <ext_at_[hidden]>
Cc: Hana DusΓkovΓ‘ <hanicka_at_[hidden]>
Subject: [isocpp-ext] π₯π₯π₯π₯π¨ SG7 telecon about DIS comments from Finland
EXTERNAL: Use caution when clicking on links or opening attachments.
Dear SG7 kidnapees, school-yard bullies, nerds, innocent bystanders, mountaineers,
we are going to have an 4FA SG7 telecon this Wednesday, on zoom:
https://iso.zoom.us/j/95914491492 the password is not part of the link, and you must do some self-reflection and type it o your own: [:^^_:][_]
Good luck!
The meeting starts and ends depending on your spatial and temporal location:
18:00 - 20:00 CET πͺπΊ
17:00 - 19:00 UTC ππΏββοΈ
19:00 - 21:00 EET π‘οΈ
20-00 - 22:00 MSKπͺ
09:00am - 11:00am PST π
10:00am - noon MST ποΈ
noon - 2pm EST π½
02:00am - 04:00am JST π
10:30pm - 00:30am IST πͺ·
07:00am - 09:00am HST voπ
(it's also in the calendar)
sidenote: I need a scribe! β οΈ
We are going to discuss following DIS comments:
* https://github.com/cplusplus/nbballot/issues/1013 "make results of define_*_static functions structural, so it can be used directly as CNTTP"
* https://github.com/cplusplus/nbballot/issues/1006 "reflection of standard library entities" (mostly module related, it's reflection of using-declarations, which is currently ill-formed)
* https://github.com/cplusplus/nbballot/issues/1005 "disallow obj.[: private_reflection :] splicing of private members" (maybe it will go directly to EWG, depending on the response from author)
And these are all related papers, or papers proposing the fixes:
* P4414R0<https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2026/p4414r0.html> (Ville's paper from mailing which proposed special context specific keyword)
* P4340R0<https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2026/p4340r.html> (Barry's paper from September mailing for c++26 providing generic and customizable solution) (there is a newer version here: D4341R1<https://brevzin.github.io/cpp_proposals/4340_extend_cnttp_3/p4340r1.html> (contains wording!)
* D4442R0<https://isocpp.org/files/papers/D4442R0.html> (Ville's paper summarizing SG7 Mattermost discussion, proposing future compatible way with P4340 without customization, only as opt-in/opt-out for structurality of types)
* P3687R1<https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2025/p3687r1.html> (Dan's paper from Sofia which proposed way how to handle using-declaration, but we decided to make them ill-formed, in order to find a good solution later)
* There is no paper for the splicing (the third comment) AFAIK, this will be discussed in EWG week later in BΓΊzios
I probably forgot some, so if anyone working on these please send them to this thread.
Also meeting notes will be edited here during the meeting: https://docs.google.com/document/d/1SQMMIlbtahNDE70SnKMfos6Mlf2sGPo0ryg0ANWjhFU/edit?usp=sharing
And I think that's all.
Hana
Tomasz and I have a paper that attempts to address FI-067 through a narrow carveout:
https://isocpp.org/files/papers/P4466R0.html
The intention is to make certain namespace-scope using-declarators "transparent" to the Reflection operator (specifically, to allow '^^NS::foo' if 'NS::foo' would name 'foo' even if a using-declarator that names it were omitted - i.e., cases of re-exporting from the same namespace, inline namespaces, unnamed namespaces, etc).
Feedback is appreciated!
Thanks in advance,
---Dan
From: Ext <ext-bounces_at_lists.isocpp.org> on behalf of Hana DusΓkovΓ‘ via Ext <ext_at_[hidden]>
Date: Saturday, November 7, 2026 at 5:44β―PM
To: sg7_at_[hidden] <sg7_at_[hidden]>; Evolution Working Group mailing list <ext_at_[hidden]>
Cc: Hana DusΓkovΓ‘ <hanicka_at_[hidden]>
Subject: [isocpp-ext] π₯π₯π₯π₯π¨ SG7 telecon about DIS comments from Finland
EXTERNAL: Use caution when clicking on links or opening attachments.
Dear SG7 kidnapees, school-yard bullies, nerds, innocent bystanders, mountaineers,
we are going to have an 4FA SG7 telecon this Wednesday, on zoom:
https://iso.zoom.us/j/95914491492 the password is not part of the link, and you must do some self-reflection and type it o your own: [:^^_:][_]
Good luck!
The meeting starts and ends depending on your spatial and temporal location:
18:00 - 20:00 CET πͺπΊ
17:00 - 19:00 UTC ππΏββοΈ
19:00 - 21:00 EET π‘οΈ
20-00 - 22:00 MSKπͺ
09:00am - 11:00am PST π
10:00am - noon MST ποΈ
noon - 2pm EST π½
02:00am - 04:00am JST π
10:30pm - 00:30am IST πͺ·
07:00am - 09:00am HST voπ
(it's also in the calendar)
sidenote: I need a scribe! β οΈ
We are going to discuss following DIS comments:
* https://github.com/cplusplus/nbballot/issues/1013 "make results of define_*_static functions structural, so it can be used directly as CNTTP"
* https://github.com/cplusplus/nbballot/issues/1006 "reflection of standard library entities" (mostly module related, it's reflection of using-declarations, which is currently ill-formed)
* https://github.com/cplusplus/nbballot/issues/1005 "disallow obj.[: private_reflection :] splicing of private members" (maybe it will go directly to EWG, depending on the response from author)
And these are all related papers, or papers proposing the fixes:
* P4414R0<https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2026/p4414r0.html> (Ville's paper from mailing which proposed special context specific keyword)
* P4340R0<https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2026/p4340r.html> (Barry's paper from September mailing for c++26 providing generic and customizable solution) (there is a newer version here: D4341R1<https://brevzin.github.io/cpp_proposals/4340_extend_cnttp_3/p4340r1.html> (contains wording!)
* D4442R0<https://isocpp.org/files/papers/D4442R0.html> (Ville's paper summarizing SG7 Mattermost discussion, proposing future compatible way with P4340 without customization, only as opt-in/opt-out for structurality of types)
* P3687R1<https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2025/p3687r1.html> (Dan's paper from Sofia which proposed way how to handle using-declaration, but we decided to make them ill-formed, in order to find a good solution later)
* There is no paper for the splicing (the third comment) AFAIK, this will be discussed in EWG week later in BΓΊzios
I probably forgot some, so if anyone working on these please send them to this thread.
Also meeting notes will be edited here during the meeting: https://docs.google.com/document/d/1SQMMIlbtahNDE70SnKMfos6Mlf2sGPo0ryg0ANWjhFU/edit?usp=sharing
And I think that's all.
Hana
Received on 2026-11-09 15:36:43