Created on 2009-07-27.00:00:00 last changed 77 months ago
Rationale (February, 2014):
EWG determined that no action should be taken on this issue.
It would be useful to be able to deduce the type of a function template argument from a corresponding default function argument expression, for example:
template <class T> int f(T = 0); int x = f();
A more realistic use case would be
template <class T, class U> int f(T x, U y = pair<T, T>());
Ideally one would also like
template <class T, class U> int f(T x, U y = g(x));
These capabilities are part of the Boost parameter library, so there should not be issues of implementability.
|2014-03-03 00:00:00||admin||set||messages: + msg4984|
|2014-03-03 00:00:00||admin||set||status: extension -> nad|
|2009-11-08 00:00:00||admin||set||status: open -> extension|