Created on2014-06-21.00:00:00 last changed109 months ago
Additional note, May, 2015:
See alsoissue 92 and EWG issue169.
[Adopted at the October, 2015 meeting as P0012R1.]
The resolution ofissue 1351 resultsin the following:
void (*p)() throw(int); void (&r)() throw(int) = *p; // ill-formedThe reason is that the set of potential exceptions for anindirection is “any” instead of maintaining the knownpotential exceptions of the operand. It would seem to be reasonableto propagate the set in such cases.
A similar issue arises with function template argumentdeduction:
template<typename T> T& f(T* p); void (*p)() throw(int); void (&r)() throw(int) = f(p); // ill-formed| History | |||
|---|---|---|---|
| Date | User | Action | Args |
| 2017-02-06 00:00:00 | admin | set | status: accepted -> cd4 |
| 2015-11-10 00:00:00 | admin | set | status: open -> accepted |
| 2015-05-25 00:00:00 | admin | set | messages: +msg5564 |
| 2014-06-21 00:00:00 | admin | create | |