Section: 23.14.12 [func.memfn] Status: C++17 Submitter: Stephan T. Lavavej Opened: 2015-03-27 Last modified: 2017-07-30
View all other issues in [func.memfn].
View all issues with C++17 status.
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.
Move to Immediate.
This wording is relative to N4296.
Change 23.14 [function.objects] p2 "Header <functional> synopsis" as depicted:
[…] // 20.9.11, member function adaptors: template<class R, class T> unspecified mem_fn(R T::*) ; […]
Change 23.14.12 [func.memfn] as depicted:
template<class R, class T> unspecified mem_fn(R T::* pm) ;
-4- Throws: Nothing.