Title
Identifying a function template being specialized
Status
nad
Section
13.9.4 [temp.expl.spec]
Submitter
Erwin Unruh

Created on 2001-05-01.00:00:00 last changed 273 months ago

Messages

Date: 2001-10-15.00:00:00

Notes from 10/01 meeting:

It was decided that while this is true, it's not a problem. You can't call such functions anyway; the call would be ambiguous.

Date: 2001-05-01.00:00:00

The Standard does not describe how to handle an example like the following:

    template <class T> int f(T, int);
    template <class T> int f(int, T);

    template<> int f<int>(int, int) { /*...*/ }

It is impossible to determine which of the function templates is being specialized. This problem is related to the discussion of issue 229, in which one of the objections raised against partial specialization of function templates is that it is not possible to determine which template is being specialized.

History
Date User Action Args
2001-11-09 00:00:00adminsetmessages: + msg580
2001-11-09 00:00:00adminsetstatus: open -> nad
2001-05-01 00:00:00admincreate