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

2024-04-18

1707. template in elaborated-type-specifier without nested-name-specifier

[Moved to DR at the February, 2014 meeting.]

The grammar for elaborated-type-specifier in 9.2.9.5 [dcl.type.elab] reads, in part,

elaborated-type-specifier:
class-key nested-name-specifier_opt template_opt simple-template-id

This allows use of the template keyword without a nested-name-specifier, e.g., struct template S<int>. This is inconsistent with other uses of the template keyword. It might be better to split the production in two and only allow the keyword following a nested-name-specifier, i.e.,

elaborated-type-specifier:
class-key simple-template-id
class-key nested-name-specifier template_opt simple-template-id

Proposed resolution (January, 2014):

Change the grammar in 9.2.9.5 [dcl.type.elab] as follows:

elaborated-type-specifier:
class-key attribute-specifier-seq_opt nested-name-specifier_opt identifier
class-key simple-template-id
class-key nested-name-specifier_opt template_opt simple-template-id
enum nested-name-specifier_opt identifier