Issue 4434 - WG21 LWG Issues
Title
`meta::is_accessible` does not need to consider incomplete D
Status
wp
Section
[meta.reflection.access.queries]
Submitter
Jakub Jelinek

Created on 2025-10-27.00:00:00 last changed 1 month ago

Messages

msg15689 (view)
Date: 2025-11-11.10:48:55

Proposed resolution:

This wording is relative to N5014.

  1. Modify [meta.reflection.access.queries] as indicated:

    -4- Throws: `meta::exception` if:

    • (4.1) — `r` represents a class member for which PARENT-CLS(r) is an incomplete class or.
    • (4.2) — `r` represents a direct base class relationship (D,B) for which D is incomplete.

msg15598 (view)
Date: 2025-11-11.10:48:55

[ Kona 2025-11-08; Status changed: Immediate → WP. ]
msg15467 (view)
Date: 2025-11-07.19:43:18

[ Kona 2025-11-07; approved by LWG. Status changed: New → Immediate. ]
msg15466 (view)
Date: 2025-10-27.00:00:00

[meta.reflection.access.queries] says that `is_accessible(r, ctx)` throws if:

`r` represents a direct base class relationship (D,B) for which D is incomplete.
However, the only way to get access to a direct base relationship is through `bases_of`/`subobjects_of` and those throw if the class is incomplete, so I don't see how an `is_base` reflection could have ever incomplete D.

History
Date User Action Args
2025-11-11 10:48:55adminsetmessages: + msg15689
2025-11-11 10:48:55adminsetstatus: immediate -> wp
2025-11-07 19:43:18adminsetmessages: + msg15598
2025-11-07 19:43:18adminsetstatus: new -> immediate
2025-10-27 16:17:53adminsetmessages: + msg15467
2025-10-27 00:00:00admincreate