You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
The member-declarator-list can be omitted only after a class-specifier or an enum-specifier or in a friend declaration.
[class.nest]/3:
If class X is defined in a namespace scope, a nested class Y may be declared in class X and later defined in the definition of class X or be later defined in a namespace scope enclosing the definition of class X.
Consider
class E {
class I1; // forward declaration of nested class
};
AFAIK, class I1; is a member-declaration with an elaborated-type-specifier and no member-declarator-list. According to [class.mem.general]/12, this is not permitted because there's no class-specifier or enum-specifier or friend. But [class.nest]/3 seems to suggest that it's valid. (How else can one declare but not define a class name in a class scope?)
I believe it's obvious that the example in question is valid, and [class.mem.general]/12 needs to account for elaborated-type-specifier. (Maybe it should use similar wording as in [dcl.pre]/5.)
The text was updated successfully, but these errors were encountered:
[class.mem.general]/12:
[class.nest]/3:
Consider
AFAIK,
class I1;
is a member-declaration with an elaborated-type-specifier and no member-declarator-list. According to [class.mem.general]/12, this is not permitted because there's no class-specifier or enum-specifier orfriend
. But [class.nest]/3 seems to suggest that it's valid. (How else can one declare but not define a class name in a class scope?)I believe it's obvious that the example in question is valid, and [class.mem.general]/12 needs to account for elaborated-type-specifier. (Maybe it should use similar wording as in [dcl.pre]/5.)
The text was updated successfully, but these errors were encountered: