Title
Type adjustments of non-type template parameters
Status
drafting
Section
13.2 [temp.param]
Submitter
Johannes Schaub

Created on 2012-01-15.00:00:00 last changed 37 months ago

Messages

Date: 2021-02-17.00:00:00

Additional note, February, 2021:

See the discussion regarding top-level cv-qualifiers on template parameters when determining the type in this compiler bug report.

Date: 2014-03-03.00:00:00

The type adjustment of template non-type parameters described in 13.2 [temp.param] paragraph 8 appears to be underspecified. For example, implementations vary in their treatment of

  template<typename T, T[T::size]> struct A {};
  int dummy;
  A<int, &dummy> a;

and

  template<typename T, T[1]> struct A;
  template<typename T, T*> struct A {};
  int dummy;
  A<int, &dummy> a;

See also issues 1322 and 1668.

History
Date User Action Args
2021-02-17 00:00:00adminsetmessages: + msg6491
2012-11-03 00:00:00adminsetstatus: open -> drafting
2012-01-15 00:00:00admincreate