This is an unofficial snapshot of the ISO/IEC JTC1 SC22 WG21 Core Issues List revision 115f. See http://www.open-std.org/jtc1/sc22/wg21/ for the official list.
2024-12-06
[Voted into WP at July, 2009 meeting.]
The recent changes in the handling of initialization have not touched the requirement that the in-class initializer for a const static data member must be of the form = assignment-expression and not a braced-init-list. It would be more consistent and general to allow the braced form as well.
Proposed resolution (March, 2009):
Change 7.7 [expr.const] paragraph 3 as follows:
...as enumerator initializers (9.7.1 [dcl.enum]),as static member initializers (11.4.9.3 [class.static.data]),and as integral or enumeration non-type template arguments (13.6 [temp.type]).
Change 11.4.9.3 [class.static.data] paragraph 3 as follows:
If a static data member is of const effective literal type, its declaration in the class definition can specify a brace-or-equal-initializerwith anin which every initializer-clause that is an assignment-expression is aintegralconstant expression. A static data member of effective literal type can be declared in the class definition with the constexpr specifier; if so, its declaration shall specify a brace-or-equal-initializerwith anin which every initializer-clause that is an assignment-expression is aintegralconstant expression. [Note: In both these cases, the member may appear inintegralconstant expressions. —end note] The member shall still be defined in a namespace scope if it is used in the program and the namespace scope definition shall not contain an initializer.
[Drafting note: this change also corrects an editorial error resulting from overlapping changes that inadvertently retained the original restriction that only members of integral type could be initialized inside the class definition.]