Title
Naming a specialization of a constrained template
Status
concepts
Section
13.3 [temp.names]
Submitter
James Widman

Created on 2009-04-13.00:00:00 last changed 179 months ago

Messages

Date: 2009-04-13.00:00:00

There is currently no way to distinguish between templates that differ only by their requirements when naming a specialization. For example:

    auto concept A<class T> {}
    auto concept B<class T> {}

    template<class T> requires A<T> void f(T); // #1
    template<class T> requires B<T> void f(T); // #2

    template <> void f(int);  // Which one?

(See also issue 868.)

History
Date User Action Args
2009-08-03 00:00:00adminsetstatus: open -> concepts
2009-04-13 00:00:00admincreate