Title
Pack expansions and dependent calls
Status
c++11
Section
13.8.3 [temp.dep]
Submitter
John Spicer

Created on 2011-01-11.00:00:00 last changed 86 months ago

Messages

Date: 2011-03-15.00:00:00

[Voted into the WP at the March, 2011 meeting as part of paper N3262.]

Date: 2011-01-11.00:00:00

In an example like

  void f(int, int, int);
  template<int ...N> void g() {
    f((N+N)...);
  }
  void h() {
    g<1, 2, 3>();
  }

the call to f needs to be dependent; however, the arguments are not type-dependent, so the criteria of 13.8.3 [temp.dep] paragraph 1 are not met. Presumably the specification needs to be updated so that an argument list containing a type-level pack expansion is dependent.

History
Date User Action Args
2014-03-03 00:00:00adminsetstatus: fdis -> c++11
2011-04-10 00:00:00adminsetmessages: + msg3392
2011-04-10 00:00:00adminsetstatus: open -> fdis
2011-01-11 00:00:00admincreate