This is an unofficial snapshot of the ISO/IEC JTC1 SC22 WG21 Core Issues List revision 117a. See http://www.open-std.org/jtc1/sc22/wg21/ for the official list.
2025-04-13
[Adopted at the February, 2016 meeting.]
According to 9.2.2 [dcl.stc] paragraph 1,
If astorage-class-specifier appears in adecl-specifier-seq,there can be notypedef specifier in thesamedecl-specifier-seq and theinit-declarator-list of thedeclaration shall not be empty...
This obviously should apply tomutable but does notbecausemutable applies tomember-declarator-lists,notinit-declarator-lists. Similarly, in9.2.9.2 [dcl.type.cv] paragraph 1,
If acv-qualifier appears in adecl-specifier-seq,theinit-declarator-list of the declaration shall not be empty.
this should apply to member declarations as well.
Proposed resolution (October, 2015):
Change 9.2.2 [dcl.stc] paragraph 1 as follows:
...If astorage-class-specifier appears inadecl-specifier-seq, there can benotypedef specifier in thesamedecl-specifier-seq andtheinit-declarator-listormember-declarator-listof the declaration shall not be empty (except for ananonymous union declared in a named namespace or in theglobal namespace, which shall be declaredstatic(11.5 [class.union])). Thestorage-class-specifierapplies...
Change 9.2.9.2 [dcl.type.cv] paragraph 1 as follows:
...If acv-qualifier appears inadecl-specifier-seq, theinit-declarator-listormember-declarator-list of thedeclaration shall not be empty. [Note:...
Additional note, November, 2014:
The preceding resolution, which was advanced to "tentativelyready" status during the review session following the November,2014 (Urbana) meeting, introduces an apparently unintentionalconflict with 11.5 [class.union] paragraph 6 regardingthe requirements for anonymous unions in unnamed namespaces and hasbeen returned to "review" status to allow further discussion.
Notes from the October, 2015 meeting:
The proposed resolution was changed to address the precedingconcern.