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

Created on 2025-10-27.00:00:00 last changed 3 days ago

Messages

msg15467 (view)
Date: 2025-10-27.16:17:53

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.

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-10-27 16:17:53adminsetmessages: + msg15467
2025-10-27 00:00:00admincreate