This is an unofficial snapshot of the ISO/IEC JTC1 SC22 WG21 Core Issues List revision 117b. See http://www.open-std.org/jtc1/sc22/wg21/ for the official list.
2025-08-11
1639. exception-specifications and pointer/pointer-to-member expressionsSection: 14.5 [except.spec] Status: CD4 Submitter: Steve Adamczyk Date: 2013-02-12[Moved to DR at the November, 2014 meeting.]
The current specification is not clear whether the exception-specification for a function is propagated to the result of taking its address. For example:
template<class T> struct A {
void f() noexcept(false) {}
void g() noexcept(true) {}
};
int main() {
if (noexcept((A<short>().*(&A<short>::f))()))
return 1;
if (!noexcept((A<long>().*(&A<long>::g))()))
return 1;
return 0;
}
There is implementation variance on whether main returns 0 or 1 for this example. (It also appears that taking the address of a member function of a class template requires instantiating its exception-specification, but it is not clear whether the Standard currently specifies this or not.)
(See also issues 92 and 1351.)
Proposed resolution (June, 2013):
This issue is resolved by the proposed resolution of issue 1351.
RetroSearch is an open source project built by @garambo | Open a GitHub Issue
Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo
HTML:
3.2
| Encoding:
UTF-8
| Version:
0.7.4