This page is a snapshot from the LWG issues list, see the Library Active Issues List for more information and the meaning of WP status.

4434. meta::is_accessible does not need to consider incomplete D

Section: 21.4.9 [meta.reflection.access.queries] Status: WP Submitter: Jakub Jelinek Opened: 2025-10-27 Last modified: 2025-11-11

Priority: Not Prioritized

View all other issues in [meta.reflection.access.queries].

View all issues with WP status.

Discussion:

21.4.9 [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.

[Kona 2025-11-07; approved by LWG. Status changed: New → Immediate.]

[Kona 2025-11-08; Status changed: Immediate → WP.]

Proposed resolution:

This wording is relative to N5014.

  1. Modify 21.4.9 [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.