This is an unofficial snapshot of the ISO/IEC JTC1 SC22 WG21 Core Issues List revision 116a. See http://www.open-std.org/jtc1/sc22/wg21/ for the official list.

2024-12-19

2852. Complete-class contexts and class-scope lambdas

(From submission #449 and gcc bugzilla 111923.)

Subclause 11.5.1 [class.union.general] paragraph 7 is overly broad, presumably including noexcept-specifiers in declarations of non-static data members of function pointer type and default arguments in class-scope lambda expressions.

Suggested resolution:

A complete-class context of a class (template) or class template C is a

• function body (9.5.1 [dcl.fct.def.general]),
• default argument (9.3.4.7 [dcl.fct.default]) of a function declaration,
• default template argument (13.2 [temp.param]),
• noexcept-specifier (14.5 [except.spec]) of a function declaration, or
• default member initializer, or
• complete-class context of a nested class (11.4.12 [class.nest]) defined in C, recursively,

where the function, template, non-static data member, or nested class is declared by a member-declaration of C within the member-specification of the class or class template. [Note 4: A complete-class context of a nested class is also a complete-class context of any enclosing class, if the nested class is defined within the member-specification of the enclosing class. —end note]