Declaring an explicit specialization of a scoped enumeration
9.7.1 [dcl.enum]
Richard Smith

Created on 2013-03-12.00:00:00 last changed 49 months ago


Date: 2015-10-15.00:00:00

Proposed resolution (October, 2015):

  1. Change the grammar in 9.7.1 [dcl.enum] paragraph 1 as follows:

    • opaque-enum-declaration:
        enum-key attribute-specifier-seqopt nested-name-specifieropt identifier enum-baseopt ;
  2. Add the following at the end of 9.7.1 [dcl.enum] paragraph 1:

  3. If an opaque-enum-declaration contains a nested-name-specifier, the declaration shall be an explicit specialization (13.9.4 [temp.expl.spec]).
Date: 2016-02-15.00:00:00

[Adopted at the February, 2016 meeting.]

There is no syntax currently for declaring an explicit specialization of a member scoped enumeration. A declaration (not a definition) of such an explicit specialization most resembles an opaque-enum-declaration, but the grammar for that requires that the name be a simple identifier, which will not be the case for an explicit specialization of a member enumeration. This could be remedied by adding a nested-name-specifier to the grammar with a restriction that a nested-name-specifier only appear in an explicit specialization.

Date User Action Args
2017-02-06 00:00:00adminsetstatus: tentatively ready -> cd4
2015-11-10 00:00:00adminsetmessages: + msg5598
2015-11-10 00:00:00adminsetstatus: drafting -> tentatively ready
2013-05-03 00:00:00adminsetstatus: open -> drafting
2013-03-12 00:00:00admincreate