Created on 2025-11-18.00:00:00 last changed yesterday
Proposed resolution:
This wording is relative to N5032.
Modify [meta.reflection.names] as indicated:
consteval bool has_identifier(info r);-1- Returns:
- — [...]
- — Otherwise, if `r` represents a data member description (T,N,A,W,NUA) ([class.mem.general]); `true` if N is not ⊥. Otherwise, `false`.
- — Otherwise, `false`.
[ Croydon 2026-03-28; Status changed: Immediate → WP. ]
[ Croydon 2026-03-25; move to Immediate. ]
[ Croydon 2026-03-25; LWG adds wording ]
[ 2025-11-26; Reflector poll. ]
Set priority to 1 after reflector poll.
'value' and 'object' are missing too.
The `std::meta::has_identifier` metafunction doesn't say what it returns for an annotation. An annotation is not an entity, so it's not an unnamed entity, and it's also not a type, type alias, function, or any of the other things in the list.
We should add an item to the list for annotations, or just add a catch-all "Otherwise false" to the end of the list.
| History | |||
|---|---|---|---|
| Date | User | Action | Args |
| 2026-03-31 16:35:58 | admin | set | messages: + msg16204 |
| 2026-03-31 16:35:58 | admin | set | status: immediate -> wp |
| 2026-03-25 17:20:05 | admin | set | messages: + msg16086 |
| 2026-03-25 17:20:05 | admin | set | status: new -> immediate |
| 2026-03-25 17:05:36 | admin | set | messages: + msg16085 |
| 2026-03-25 17:05:36 | admin | set | messages: + msg16084 |
| 2025-11-26 19:05:41 | admin | set | messages: + msg15762 |
| 2025-11-18 00:00:00 | admin | create | |