Created on 2015-03-27.00:00:00 last changed 90 months ago
Proposed resolution:
This wording is relative to N4296.
Change [function.objects] p2 "Header <functional> synopsis" as depicted:
[…] // 20.9.11, member function adaptors: template<class R, class T> unspecified mem_fn(R T::*) noexcept; […]
Change [func.memfn] as depicted:
template<class R, class T> unspecified mem_fn(R T::* pm) noexcept;[…]
-4- Throws: Nothing.
[ 2015-05, Lenexa ]
Move to Immediate.
mem_fn() is wide contract and doesn't do anything that could throw exceptions, so it should be marked noexcept.
Note that mem_fn() is perfectly happy to wrap a null PMF/PMD, it just can't be invoked later. This is exactly like std::function, which can be constructed from null PMFs/PMDs. Therefore, mem_fn() will remain wide contract forever.| History | |||
|---|---|---|---|
| Date | User | Action | Args |
| 2017-07-30 20:15:43 | admin | set | status: wp -> c++17 |
| 2015-10-27 16:52:45 | admin | set | status: ready -> wp |
| 2015-05-20 14:24:57 | admin | set | status: immediate -> ready |
| 2015-05-07 19:30:46 | admin | set | messages: + msg7371 |
| 2015-05-07 19:30:46 | admin | set | status: new -> immediate |
| 2015-04-03 16:54:18 | admin | set | messages: + msg7323 |
| 2015-03-27 00:00:00 | admin | create | |