Movatterモバイル変換

[Voted into the WP at the February, 2012 meeting;moved to DR at the October, 2012 meeting.]

Proposed resolution (August, 2011):

Change 13.2 [temp.param] paragraph 11 as follows:

...A template parameter pack of a function template shall not befollowed by another template parameter unless that template parametercan be deducedfrom theparameter-type-list of thefunction template or has a default argument (13.10.3 [temp.deduct]). [Example:

  template<class T1 = int, class T2> class B;   // error  //U cannot be deducedfrom theparameter-type-list or specified  template<class... T, class... U> void f() { }// error  template<class... T, class U> void g() { }// error

—end example]

The following example from 13.2 [temp.param] paragraph 11is incorrect:

  //U cannot be deduced or specified  template<class... T, class... U> void f() { }  template<class... T, class U> void g() { }

In fact,U can be deduced to an empty sequence by13.10.2 [temp.arg.explicit] paragraph 3:

A trailing template parameter pack (13.7.4 [temp.variadic]) nototherwise deduced will be deduced to an empty sequence of templatearguments.