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

2024-12-19

1233. Pack expansions and dependent calls

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

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.