Title
template keyword and alias templates
Status
c++17
Section
13.3 [temp.names]
Submitter
Jonathan Caves

Created on 2013-10-04.00:00:00 last changed 36 months ago

Messages

Date: 2017-03-15.00:00:00

Proposed resolution (March, 2017):

This issue is resolved by the resolution of issue 1710.

Date: 2017-02-15.00:00:00

[Adopted at the February/March, 2017 meeting.]

The current wording of 13.3 [temp.names] paragraph 5 is:

A name prefixed by the keyword template shall be a template-id or the name shall refer to a class template.

Presumably this should also allow template before alias templates. For example,

  template<template<typename> class Template>
  struct Internal {
          template<typename Arg>
          using Bind = Template<Arg>;
  };

  template<template<typename> class Template, typename Arg>
  using Instantiate = Template<Arg>;

  template<template<typename> class Template, typename Argument>
  using Bind = Instantiate<Internal<Template>::template Bind, Argument>;
History
Date User Action Args
2018-02-27 00:00:00adminsetstatus: drafting -> c++17
2017-02-06 00:00:00adminsetstatus: review -> drafting
2014-11-24 00:00:00adminsetstatus: ready -> review
2014-03-03 00:00:00adminsetmessages: + msg4845
2014-03-03 00:00:00adminsetstatus: open -> ready
2013-10-04 00:00:00admincreate