Movatterモバイル変換

[Moved to DR at the February, 2014 meeting.]

Proposed resolution (September, 2013):

Change 13.10.3.6 [temp.deduct.type] paragraph 17 as follows:

If, in the declaration of a function template with anon-typetemplate-parameter, the non-typetemplate-parameteris used in an expression in the function parameter-list and, if thecorrespondingtemplate-argument is deduced,thetemplate-argument type shall match the type ofthetemplate-parameter exactly, except thatatemplate-argument deduced from an array bound may be of anyintegral typeP has a form thatcontains<i>, and if the type of the corresponding valueofA differs from the type ofi, deductionfails. IfP has a form that contains[i], and if the typeofi is not an integral type, deduction fails.¹⁴⁷[Example:...

According to 13.10.3.6 [temp.deduct.type] paragraph 17,

If, in the declaration of a function template with anon-typetemplate-parameter, the non-typetemplate-parameteris used in an expression in the function parameter-list and, if thecorrespondingtemplate-argument is deduced,thetemplate-argument type shall match the type ofthetemplate-parameter exactly, except thatatemplate-argument deduced from an array bound may be of anyintegral type.

This does not cover return types, leaving the outcome of an examplelike the following unclear:

  template <int N> struct A;  template <short N>  A<N> *foo();  void bar() {    A<1> *(*fp)(void) = &foo;  }