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

4424. meta::define_aggregate should require a class type

Section: 21.4.16 [meta.reflection.define.aggregate] Status: New Submitter: Jakub Jelinek Opened: 2025-10-20 Last modified: 2025-10-20

Priority: Not Prioritized

View other active issues in [meta.reflection.define.aggregate].

View all other issues in [meta.reflection.define.aggregate].

View all issues with New status.

Discussion:

The meta::define_aggregate function doesn't say what happens if C does not represent a class type.

It's also unclear whether it should work with aliases to class types, e.g.

struct S; using A = S; ... meta::define_aggregate(^^A, {});

And what happens if you try to define a cv-qualified type:

struct S; meta::define_aggregate(^^const S, {});

Proposed resolution:

This wording is relative to N5014.

1. Modify 21.4.16 [meta.reflection.define.aggregate] as indicated:

   -7- Let C be the class represented by dealias(class_type) and r_K be the K^th reflection value in mdescrs. For every r_K in mdescrs, let (T_K, N_K, A_K, W_K, NUA_K) be the corresponding data member description represented by r_K.

   -8- Constant when:

   • (8.?) — dealias(class_type) represents a class type;
   • (8.1) — C is incomplete from every point in the evaluation context;